Dr. Jing Sun's Home Page

Teaching

Research Interests

Qualification

Work Experience

Professional Activities

Publications

Related Links

Dr. Jing Sun

Senior Lecturer

Department of Computer Science
University of Auckland
Private Bag 92019
38 Princes Street
Auckland, New Zealand
Email: jing.sun-AT-auckland.ac.nz
Phone: +64 9 3737599 ext. 82286
Fax: +64 9 3737453
Office: Science Centre (Building 303), Room 481

Teaching

Research Interests

  • Software Engineering, Formal Methods, Semantic Web
  • Formal Specification, Validation and Verification, Analysis
  • Model Checking, Theorem Proving, Ontological Reasoning

Qualification

Work Experience

Professional Activities

Program Committee Members of

Program Committee Chairs of

Publications

Editorial

  • Lindsay Groves and Jing Sun (Editors), Formal Methods and Software Engineering, Proceedings of the 15th International Conference on Formal Engineering Methods, LNCS (Vol. 8144), Springer-Verlag, October 2013.
  • Jin Song Dong and Jing Sun (Editors). Science of Computer Programming, Special Issue on the Grand Challenge, Volume 74, Issue 4, Elsevier, February 2009. (BibTex, PDF)

Book Chapters

  • Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. Towards a Consistent Feature Model using OWL. Chapter IV in Book: Semantic Web Enabled Software Engineering, page 67-91, Volume 17, Series - Studies on the Semantic Web, IOS Press, July 2014. (DOI: 10.3233/978-1-61499-370-4-67)
  • Hai Wang, Jin Song Dong, Jing Sun, Terry Payne, Nick Gibbins, Yuan Fang Li and Jeff Pan. An Integrated Formal Approach to Semantic Work Environments Design. Chapter XV in Book: Emerging Technologies for Semantic Work Environments: Techniques, Methods, and Applications, pages 262-280, Information Science Reference, Hershey, New York, USA, June 2008. (BibTex, PDF)

Referred Journal Articles

  • Yi Li, Jin Song Dong, Jing Sun, Yang Liu and Jun Sun. Model Checking Approach to Automated Planning. Formal Methods in System Design, Volume 44, Issue 2, pages 176-202, Springer, April 2014. (PDF)
  • Tianming Hu, Chuanren Liu, Yong Tang, Jing Sun, Hui Xiong and Sam Yuan Sung. High-dimensional Clustering: a Clique-based Hypergraph Partitioning Framework. Knowledge and Information Systems - An International Journal, Volume 39, Issue 1, pages 61-88, Springer, April 2014.
  • Hai H. Wang, Danica Damljanovic and Jing Sun. An Automated Tool for Semantic Accessing to Formal Software Models. Science of Computer Programming, Special Issue on Systems Development by means of Semantic Technologies, Elsevier, March 2014.
  • Tianming Hu, Sam Yuan Sung, Jing Sun, Xiao-Wei Ai and Peter A. Ng. A Linear Transform Scheme for Building Weighted Scoring Rules. Intelligent Data Analysis - An International Journal, Volume 16, Number 3, pages 383-407, IOS Press, May 2012.
  • Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. Theorem Prover Approach to Semistructured Data Design. Formal Methods in System Design, Volume 37, Issue 1, pages 1-60, Springer, November 2010. (BibTex, PDF)
  • Hui Liang, Jin Song Dong, Jing Sun and W. Eric Wong. Software Monitoring through Formal Specification Animation. Innovations in Systems and Software Engineering: A NASA Journal, Volume 5, Issue 4, pages 231-241, Springer, December 2009. (BibTex, PDF)
  • Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. Formal Verification of Semistructured Data Models in PVS. Journal of Universal Computer Science, Special Issue on Logic, Abstract State Machines and Databases, Volume 15, Issue 1, pages 241-272, January 2009. (BibTex, PDF)
  • Hai Wang and Jing Sun. A Semantic Web Environment for Components. The Knowledge Engineering Review, Special Issue on Ontology, Conceptualization and Epistemology for Software and System Engineering, Volume 24, Issue 1, pages 59-75, Cambridge University Press, United Kingdom, January 2009. (BibTex , PDF)
  • Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Compositional Encoding for Bounded Model Checking. Frontiers of Computer Science in China, Higher Education Press and Springer-Verlag, December 2008. (BibTex, PDF)
  • Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. Verifying Feature Models using OWL. Journal of Web Semantics: Science, Services and Agents on the World Wide Web. Volume 5, Issue 2, Pages 117-129, Elsevier, June 2007. (BibTex, PDF)
  • Hai Wang, Jin Song Dong, Jing Sun and Jun Sun. Reasoning Support for Semantic Web Ontology Family Languages using Alloy. International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies, Volume 2, Number 4, pages 455-471, IOS press, December 2006. (BibTex, PDF)
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web. Journal on Data Semantics VII, Lecture Notes in Computer Science, Volume 4244, pages 219-241, Springer, November 2006. (BibTex, PDF)
  • Ling Yuan, Jin Song Dong, Jing Sun and Hamid Abdul Basit. Generic Fault Tolerant Software Architecture Reasoning and Customization. IEEE Transactions on Reliability, Volume 55, Number 3, pages 421-435, September 2006. (BibTex, PDF)
  • Jing Sun, Jin Song Dong, Stanislaw Jarzabek and Hai Wang. Computer-Aided Dispatch System Family Architecture and Verification: An Integrated Formal Approach. IEE Proceedings Software, Volume 153, Number 3, pages 102-112, June 2006. (BibTex, PDF)
  • Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie and Yuan Fang Li. A Z Approach in Validating ORA-SS Data Models. Electronic Notes in Theoretical Computer Science, Volume 157, Issue 1, Pages 95-109, Elsevier, Amsterdam, The Netherlands, May 2006. (BibTex, PDF)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, Volume 13, Issue 1-4, pages 329-356, Springer Netherlands, June 2002. (BibTex, PDF)

Referred Conference Proceedings

  • M. Shaban Jokhio, Gillian Dobbie, Tianming Hu and Jing Sun. Automated Mutation-based Test Case Evaluation for Semantic Web Services. 23rd Australasian Software Engineering Conference (ASWEC 2013), pages 210-219, Sydney, Australia, 7-10 April 2014.
  • M. Shaban Jokhio, Gillian Dobbie, Jing Sun and Tianming Hu. Web Services Testing via Goal and Mutation, 18th International Conference on Engineering of Complex Computer Systems (ICECCS 2013), pages 159-162, National University of Singapore, Singapore, 17-19 July 2013.
  • Jiexin Zhang, Yang Liu, Jing Sun, Jin Song Dong and Jun Sun. Model Checking Software Architecture Design, 14th IEEE International Symposium on High Assurance Systems Engineering (HASE 2012), pages 193-200, University of Nebraska Omaha, USA, 25-27 October 2012.
  • Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Planning as Model Checking Tasks, 35th Annual IEEE Software Engineering Workshop, pages 177-186, Heraclion, Crete, Greece, 12-13 October 2012.
  • Yi Li, Jing Sun, Jin Song Dong, Yang Liu and Jun Sun. Translating PDDL into CSP# - the PAT Approach. 17th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2012), pages 240-249, Ecole Normale Superieure, Paris, France, 18-20 July 2012.
  • Jing Sun, Hai H. Wang and Tianming Hu. Design Software Architecture Models using Ontology. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pages 191-196, Eden Roc Renaissance Miami Beach, USA, July 7-9, 2011. (BibTex, PDF)
  • Jing Sun, Hai H. Wang and Hui Gu. Semantic Enabled Sensor Network Design. 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE 2011), pages 179-184, Eden Roc Renaissance Miami Beach, USA, July 7-9, 2011. (BibTex, PDF)
  • Tianming Hu, Chuanren Liu, Jing Sun, Sam Yuan Sung and Peter A. Ng. Pairwise Constrained Clustering with Group Similarity-Based Patterns. 9th International Conference on Machine Learning and Applications (ICMLA 2010), pages 260-265, Washington DC, USA, December 12-14, 2010. (BibTex, PDF)
  • Hai H. Wang, Danica Damljanovic and Jing Sun. Enhanced Semantic Access to Formal Software Models. 12th International Conference on Formal Engineering Methods (ICFEM 2010), pages 237-252, Shanghai, China, November 16-19, 2010. (BibTex, PDF)
  • M. Shaban Jokhio, Gillian Dobbie and Jing Sun. A Framework for Testing Semantic Web Services using Model Checking. 4th South-East European Workshop on Formal Methods (SEEFM 2009), pages 17-24, Thessaloniki, Greece, December 4-5 2009. (BibTex, PDF)
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Scott Uk-Jin Lee and Hai Wang. Verifying Semistructured Data Normalization using SWRL. 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2009), pages 193-200, Tianjin, China, July 29-31, 2009. (BibTex, PDF)
  • M. Shaban Jokhio, Gillian Dobbie and Jing Sun. Towards Specification Based Testing for Semantic Web Services. 20th Australasian Software Engineering Conference (ASWEC 2009), pages 54-63, Gold Coast, Queensland, Australia, April 14-17, 2009. (BibTex, PDF)
  • Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Xian Zhang. Specifying and Verifying Sensor Networks: an Experiment of Formal Methods. 10th International Conference on Formal Engineering Methods (ICFEM 2008), pages 318-337, Kitakyushu, Japan, October 27-31, 2008. (BibTex, PDF)
  • Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Bounded Model Checking of Compositional Processes. 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), pages 23-30, Nanjing, China, June 17-19, 2008. (BibTex, PDF)
  • Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie and Lindsay Groves. Verifying Semistructured Data Normalization using PVS. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 15-24, Belfast, Northern Ireland, March 31 - April 4, 2008. (BibTex, PDF)
  • Stephen Wong, Jing Sun, Ian Warren and Jun Sun. A Scalable Approach to Multi-Style Architectural Modeling and Verification. 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), pages 25-34, Belfast, Northern Ireland, March 31 - April 4, 2008. (BibTex, PDF)
  • Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves and Yuan Fang Li. Correctness Criteria for Normalization of Semistructured Data. 19th Australasian Software Engineering Conference (ASWEC 2008), pages 248-257, Perth, Australia, March 26-28, 2008. (BibTex, PDF)
  • Hui Liang, Jin Song Dong and Jing Sun. Evolution and Runtime Monitoring of Software Systems. 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), pages 343-348, Boston, USA, July 9-11, 2007. (BibTex, PDF)
  • Hui Liang and Jing Sun. Modular Specification of Aspect-oriented System and Aspect Conflicts Detection. 19th International Conference on Software Engineering and Knowledge Engineering (SEKE'07), pages 77-80, Boston, USA, July 9-11, 2007. (BibTex, PDF)
  • Gillian Dobbie, Jing Sun, Yuan Fang Li and Scott Uk-Jin Lee. Extended abstract: towards verifying semistructured data. 4th Asia-Pacific Conference on Conceptual Modelling (APCCM 2007), pages 11-14, Ballarat, Australia, January 2007. (BibTex, PDF)
  • Gillian Dobbie, Jing Sun, Yuan Fang Li and Scott Uk-Jin Lee. Research into Verifying Semistructured Data. 3rd International Conference on Distributed Computing and Internet Technology (ICDCIT 2006), pages 361-374, Bhubaneswar, India, December 20-23, 2006. (BibTex, PDF)
  • Ling Yuan, Jin Song Dong and Jing Sun. Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL. 13th Asia Pacific Software Engineering Conference (APSEC06), pages 209-216, Bangalore, India, December 6-8, 2006. (BibTex, PDF)
  • Jin Song Dong, Yuzhang Feng, Jing Sun and Jun Sun. Context Awareness Systems Design and Reasoning. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), pages 335-340, Paphos, Cyprus, November 2006. (BibTex, PDF)
  • Ian Warren, Jing Sun, Sanjev Krishnamohan and Thiranjith Weerasinghe. An Automated Formal Approach to Managing Dynamic Reconfiguration. 21st IEEE International Conference on Automated Software Engineering (ASE 2006), pages 37-46, Tokyo, Japan, September 2006. (BibTex, PDF)
  • Jin Song Dong, Yuzhang Feng, Jing Sun and Jun Sun. Sensor Based Design Techniques for Smart System Space. The First International Conference on Mobile Computing, Communications and Applications (ICMOCCA'06), Seoul, Korea, August 16-18, 2006. (BibTex)
  • Hui Liang, Jin Song Dong, Jing Sun, Roger Duke and Rudolph E. Seviora. Formal Specification-based Online Monitoring. 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2006), IEEE Press, pages 152-160, Stanford University, CA, USA, August 2006. (BibTex, PDF)
  • Scott Uk-Jin Lee, Gillian Dobbie, Jing Sun and Lindsay Groves. A PVS Approach to Verifying ORA-SS Data Models. 18th International Conference on Software Engineering and Knowledge Engineering (SEKE 2006), pages 126-131, San Francisco Bay, USA, July 2006. (BibTex)
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Jun Sun and Hai Wang. Validating Semistructured Data using OWL. 7th International Conference on Web-Age Information Management (WAIM'06), Springer, pages 520-531, Hong Kong, China, June 2006. (BibTex, PDF)
  • Lin Wang, Gillian Dobbie, Jing Sun and Lindsay Groves. Validating ORA-SS Data Models using Alloy. 17th Australian Software Engineering Conference (ASWEC 2006), pages 231-240, Sydney, Australia, April 2006. (BibTex, PDF)
  • Hai Wang, Yuan Fang Li, Jing Sun, Hongyu Zhang and Jeff Pan. A Semantic Web Approach to Feature Modeling and Verification. Workshop on Semantic Web Enabled Software Engineering (SWESE'05), Galway, Ireland, November 2005. (BibTex)
  • Jing Sun, Hai Wang, Sasanka Athauda and Tazkiya Sheik. SVG Web Environment for Z Specification Language. 7th International Conference on Formal Engineering Methods (ICFEM'05), LNCS, Springer-Verlag, pages 480-494, Manchester, United Kingdom, November 2005. (BibTex, PDF)
  • Jun Sun, Yuan Fang Li, Hai Wang and Jing Sun. Visualizing and Simulating Semantic Web Services Ontologies. 7th International Conference on Formal Engineering Methods (ICFEM'05), LNCS, Springer-Verlag, pages 435-449, Manchester, United Kingdom, November 2005. (BibTex, PDF)
  • Santokh Singh, John Grundy, John Hosking and Jing Sun. An Architecture for Developing Aspect-Oriented Web Services. 3rd European Conference on Web Services (ECOWS'05), pages 72-82, Vaxjo, Sweden, November 2005. (BibTex, PDF)
  • Hai Wang, Jin Song Dong and Jing Sun. Reasoning Support for SWRL-FOL using Alloy. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 626-631, Taipei, Taiwan, July 2005. (BibTex)
  • Hai Wang, Jin Song Dong, Jing Sun and Yuan Fang Li. TCOZ Approach to OWL-S Process Model Design. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), pages 354-359, Taipei, Taiwan, July 2005. (BibTex)
  • Jing Sun, Hongyu Zhang, Yuan Fang Li and Hai Wang. Formal Semantics and Verification for Feature Modeling. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), pages 303-312, IEEE Press, Shanghai, China, June 2005. (BibTex, PDF)
  • Hai Wang, Yuan Fang Li, Jing Sun and Hongyu Zhang. Verify Feature Models using Protege-OWL. 14th International World Wide Web Conference (WWW'05), poster track, ACM Press, pages 1038-1039, Chiba, Japan, May 2005. (BibTex, PDF)
  • Yue Tang, Jing Sun, Jin Song Dong and Brendan Mahony. Reasoning about Semantic Web in Isabelle/HOL. 11th Asia-Pacific Software Engineering Conference (APSEC'04), IEEE Press, pages 46-53, Busan, Korea, December 2004. (BibTex, PDF)
  • Jin Song Dong, Jing Sun and Hai Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Formal Methods Europe Symposium (FME'03), LNCS, Springer-Verlag, pages 796-813, Pisa, Italy, September 2003. (BibTex, PDF)
  • Mark Utting, Ian Toyn, Jing Sun, Andrew Martin, Jin Song Dong, Nicholas Daley and David Currie. ZML: XML Support for Standard Z. 3rd International Conference of Z and B Users (ZB'03), LNCS, Springer-Verlag, pages 437-456, Turku, Finland, June 2003. (BibTex, PDF)
  • Jing Sun and Jin Song Dong. Specifying and Reasoning about Generic Architecture in TCOZ. 9th Asia-Pacific Software Engineering Conference (APSEC'02), IEEE Press, pages 405-414, Gold Coast, Australia, December 2002. (BibTex, PDF)
  • Jin Song Dong, Jing Sun and Hai Wang. Z Approach to Semantic Web. 4th International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, China, October 2002. (BibTex, PDF)
  • Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. 4th International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 311-322, Shanghai, China, October 2002. (BibTex, PDF)
  • Jin Song Dong, Jing Sun and Hai Wang. Semantic Web for Extending and Linking Formalisms. 11th International Symposium of Formal Methods Europe (FME'02), LNCS, Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002. (BibTex, PDF)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. An XML/XSL Approach to Visualize and Animate TCOZ. 8th Asia-Pacific Software Engineering Conference (APSEC'01), IEEE Press, pages 453-460, Macau SAR, China, December 2001. (BibTex, PDF)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. Object-Z Web Environment and Projections to UML. 10th International World Wide Web Conference (WWW'01), refereed paper track, ACM Press, pages 725-734, Hong Kong, China, May 2001. (BibTex, PDF)
  • Jing Liu, Jin Song Dong and Jing Sun. TRMCS in TCOZ. 10th IEEE International Workshop on Software Specification & Design (IWSSD'00), IEEE Press, pages 63-72, San Diego, USA, November 2000. (BibTex, PDF)

Related Links

Note

I am currently keen on taking new PhD students. Contact me if you are interested in Software Engineering, Formal Methods, Semantic Web and related fields. If you are one of the top students from a very good university, there is an excellent University of Auckland Doctoral Scholarship. If you are a Chinese student, there is a China Scholarship Council (CSC) scholarship developed between the University of Auckland and the China Scholarship Council (CSC).





This page was last updated on Friday 28 November 2014.