`Would you tell me, please, which way I ought to go from here?'
`That depends a good deal on where you want to get to', said the cat.
`I don't much care where' said Alice.
`Then it doesn't matter which way you go', said the Cat.
`So long as I get somewhere, ' Alice added as an explanation.
`Oh, you're sure to do that,' said the Cat, `if you only walk long enough.'
- Alice's Adventures in Wonderland, Lewis Carroll

 SUN(days) of JUN(e)

  

Dr. SUN, Jun
Lee Kuan Yew Postdoctoral Fellow,

Computer Science Department,
School of Computing,

National University of Singapore,
10 Kent Ridge Cresent, Singapore 119260
E-mail: sunj@comp.nus.edu.sg
Telephone: +65 65164244

Fax: +65 67791610
Office: S15-06-12

Research Interest
 
My research area centers on Software Engineering of Computer Science, e.g., system requirement specification, model/design analysis and systematic design/implementation synthesis.
  • System Requirement Specification. The problem  is how to state the system requirements in a non-ambiguous and intuitive way. The specification/modeling notations and languages that I have been working with include Unified Modeling Language (UML), (Harel's) Statecharts, Message Sequence Charts, Live Sequence Charts, the Z language, Object-Z, Communicating Sequential Processes (CSP), Timed CSP, Timed Automata, Timed Communicating Object-Z, etc. 
  • System Analysis. The problem how to automatically (or semi-automatically) reveal inconsistency in the system specification/design. The techniques that I have been working with include model checking (on-the-fly explicit model checking, bounded model checking, etc.) and theorem proving.
  • System Synthesis. The problem is to automatically synthesize prototypes from a given system specification which guarantees satisfaction of critical properties. I have been working with sequence diagrams (in particular, Live Sequence Charts) in this part.

The application domains of my research include reactive systems, embedded systems, semantic web and web services and lately wireless sensor networks. Besides paper writing, I also developed a number of tools to realize some of my research ideas (useful at certain extent).

 

Education and Scholarship
 
  • Lee Kuan Yew Postdoctoral Fellowship 2007. National University of Singapore.
  • Doctor of Philosophy 2006. National University of Singapore.
  • Dean's Graduate Award 2005, School of Computing, National University of Singapore.
  • Bachelor of Computing (with Honor), School of Computing, National University of Singapore, July 1998 - June 2002.
  • Ministry of Education Scholarship, Singapore, 1997-2002.

 

Publications - Click HERE for my DBLP publication list
 
Journal Articles
  • [PDF, Bibtex] Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun, Wang Yi. Timed Automata Patterns. IEEE Transactions on Software Engineering. Accepted.    
  • [PDF, Bibtex] Jun. Sun and Jin Song Dong. Design Synthesis from Interaction and State-Based Specifications, IEEE Transactions on Software Engineering, vol. 32, no. 6, pp. 349-364, 2006.
  • [PDF, Bibtex] Yuan Fang Li, Jing Sun, G. Dobbie, Hai H. Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web, Journal of Data Semantics VII, Lecture Notes in Computer Science, Springer, 2006.
  • [PS, Bibtex] Yang Liu and Jun Sun, Algorithmic Design Using Object-Z for Twig XML Queries Evaluation. Electronic Notes in Theoretical Computer Science, vol 151, issue 2, pp. 107-124, May, 2006. An early version appeared at International Workshop on Web Languages and Formal Methods (WLFM'05).
  • [PDF, Bibtex] Hai H. Wang, Jin Song Dong, Jing Sun and Jun Sun, Reasoning Support for Semantic Web Ontology Family Languages Using Alloy. Multi-Agent and Grid Systems - An International Journal, vol. 2, no. 4, 2006. 

Refereed Conference Papers

  • [PDF, Bibtex] Chun Qing Chen, Jin Song Dong and Jun Sun. A Verification System for Timed Interval Calculus, The 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 2008.    
  • [PDF, Bibtex] Jin Song Dong, Jing Sun, Jun Sun, Kenji Taguchi and Xian Zhang. Specifying and Verifying Sensor Networks: an Experiment of Formal Methods. The 10th International Conference on Formal Engineering Methods (ICFEM 2008). Japan. Accepted.
  • [PDF, BibTex, Details] Jun Sun, Yang Liu, Jin Song Dong and Jing Sun. Bounded Model Checking of Compositional Processes. The 2nd IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Nanjing, China, June 17-19, 2008.
  • [PDF, Bibtex] Stephen Wong, Jing Sun, Ian Warren and Jun Sun. A Scalable Approach to Multi-Style Architectural Modeling and Verification. The 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, 2008.
  • [PDF, Bibtex] Hai H. Wang and Nick Gibbins and Terry Payne and Ahmed Saleh and Jun Sun. A Formal Model of Semantic Web Service Ontology (WSMO) Execution. The 13th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2008), Belfast, Northern Ireland, 2008.
  • [PDF, Bibtex] Chun Qing Chen, Jin Song Dong and Jun Sun. A Machine-Assisted Proof Support for Validation Beyond Simulink, The 9th International Conference on Formal Engineering Methods (ICFEM 2007), Florida, 2007.
  • [PDF, Bibtex] Hai H. Wang, Shen Chao Qin, Jun Sun, Jin Song Dong. Realizing Live Sequence Charts in SystemVerilog, The 1st IEEE & IFIP Theoretical Aspects of Software Engineering Conference (TASE 2007), Shanghai, Jun. 2007.
  • [PDF, Bibtex] H. Wang, N. Gibbins, T. Payne, A. Saleh and J. Sun. A Formal Semantics Model of the Semantic Web Service Ontology (WSMO)The 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007), Jul. 2007.
  • [PDF, Bibtex] Jin Song Dong, Yu Zhang Feng, Jing Sun and Jun Sun, Context Awareness Systems Design and Reasoning. 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (IEEE-ISoLA 2006), Cyprus, November, 2006.
  • [PDF, Bibtex] Jin Song Dong, Yang Liu, Jun Sun and Xian Zhang, Verification of Computation Orchestration via Timed Automata. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
  • [PDF, Bibtex] Jin Song Dong, Ping Hao, Jun Sun and Xian Zhang, A Reasoning Method for Timed CSP based on Constraint Solving. 8th International Conference on Formal Engineering Methods (ICFEM'06), Macau, November 2006.
  • [PDF, Bibtex] Jin Song Dong, Yu Zhang Feng, Jing Sun and Jun Sun, Sensor Based Design for Smart Space. The First International Conference on Mobile Computing, Communications and Applications (ICMoCCA'06), Korean.
  • [PDF, Bibtex] Yuan Fang Li, Jing Sun, G. Dobbie, Jun Sun and Hai H. Wang, Validating Semistructured Data using OWL. The Seventh International Conference on Web-Age Information Management (WAIM 2006).
  • [PDF, Bibtex] Jin Song Dong, Yu Zhang Feng, Yuan Fang Li and Jun SunA Tools Environment for Developing and Reasoning about Ontologies. 12th ASIA-PACIFIC Software Engineering Conference (APSEC 2005), Tai Bei, Tan Wan, December 2005.
  • [PDF, Bibtex] Jun Sun, Yuan Fang Li, Jing Sun and Hai Wang, Visualizing and Simulating Semantics Web Services Ontologies. 7th International Conference on Formal Engineering Methods (ICFEM'05), Manchester, United Kingdom, November 2005.
  • [PS, Bibtex, Details] Jun Sun and Jin Song Dong, Synthesis of Distributed Processes from Scenario-based Specifications. Formal Methods 2005 (FM'05), University of Newcastle upon Tyne, UK.
  • [PDF, Bibtex] Jun Sun and Jin Song Dong, Extracting FSMs from Object-Z Specifications with History Invariants. The 10th International Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, China. June 2005.
  • [PDF, Bibtex] Jun Sun and Jin Song Dong, Model Checking Live Sequence Charts. The 10th International Conference on Engineering of Complex Computer Systems (ICECCS'05), Shanghai, China. June 2005.
  • [PDF, Bibtex] Jin Song Dong, Ping Hao, Shen Chao Qin, Jun Sun and Yi Wang, Timed Patterns: TCOZ to Timed Automata. The 6th International Conference on Formal Engineering Methods (ICFEM'04), Seattle, WA, USA. Nov. 2004.
  • [PDF, Bibtex] Jin Song Dong, Shen Chao Qin and Jun Sun. Generating Message Sequence Charts from an Integrated Formal Specification Language. The 4th International Conference on Integrated Formal Methods (IFM'04), LNCS, Springer-Verlag, Canterbury, UK, April 2004.
  • [PDF, Bibtex] Jin Song Dong, Jun Sun, Hai H. Wang. C. H. Lee and H. B. Lee, Analyzing Semantic Web Ontology: A Military Case Study. The 15th International Conference on Software Engineering and Knowledge Engineering (SEKE'03), San Francisco, USA, July 2003.
  • [PDF, Bibtex] Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai H. Wang. XML-based Static Type Checking and Dynamic Visualization for TCOZ. The 4th International Conference on Formal Engineering Methods (ICFEM'02), pages 311-322, Oct 2002.

Tools

  • [Bibtex, Details] Yang Liu, Jun Sun and Jin Song Dong. An Analyzer for Extended Compositional Processes. ICSE 2008.
  • [Bibtex] Jin Song Dong, Xian Zhang, Jun Sun and Ping Hao. Reasoning About Timed CSP Models. Formal Methods 2006.

Thesis

  • [PDF, Bibtex, Details] Jun Sun, Complementary Formalisms - Synthesis, Verification and Visualization, Department of Computer Science, School of Computing, National University of Singapore, 2006.

 

Professional Acitivities
 
  • Attended ICFEM'03, IFM'04, ICECCS'05, FM2005, ICFEM 2007, TASE 2007, ICSE 2008, TASE2008.
  • Program Committee of ICMOCCA-2007.
  • Web Master of 4th International Conf. on Formal Engineering Methods (ICFEM`03).
  • Session Chair of 4th International Conf. on Complex Computer Systems (ICECCS'05).
  • International Referee of FAC, SOSYM,CORDIE'06, ICECCS'06, ACSC05, TSE, ICTAC'05, WLFM'05, FORTE'05, SEFM'05, SEKE'05, FME'05, SEKE'05, ZB'05, ASWEC'05, SEFM`04, ICFEM`03, APSEC`03, ATVA`03, ICECCS `04, IFM`04, ICFEM`04, ATVA'04, APSEC'04, ISoLA'04, ICDCIT'04.

 

Personal
 

Work Experience

  • Lee Kuan Yew Postdoc Fellow, National University of Singapore.
  • Research Fellow, National University of Singapore.
  • Software Engineer, Techron Integrated Systems Pte., Ltd, Singapore.  Build a web-based Facility Booking System using ASP and MS SQL Server.
  • Research Assistant, National University of Singapore. Apply formal methods tools and methodologies to validate semantic web ontology.
  • Part-time Teaching Assistant, National University of Singapore. Teach programming methodology (Java).

Technical Skills

  • Specification Language: MSC/LSC, Statechart, UML, Z/Object-Z, CSP/Timed-CSP
  • Programming Language: Java, C/C++, Visual Basic, Prolog, TCL/TK, Ilog, SystemC, Verilog etc.
  • System Design: Rational Rose (UML), Esterel Studio, Ptelomy, Rhapsody, etc.
  • Web Development: XML, JavaScript, HTML, ASP, Perl.

 

 Links