Projects and
recent papers in formal method and semantic web research
Projects:
Recent selected papers:
C. Chen,
J. S. Dong and J. Sun, A Verification System for Timed Interval
Calculus, ICSE’08 (accepted)
J. S.
Dong, Y. Feng and H. Leung: A Verification Framework for Agent
Knowledge. ICFEM 2007: 57-75
J. Sun
and J. S. Dong, Design Synthesis from Interaction and State-based
Specifications. IEEE Transactions on Software Engineering,
Vol-32(6):349-364, 2006
H. Wang,
J. S. Dong, J. Sun and J. Sun. Reasoning Support for Semantic Web
Ontology Family Languages Using Alloy. International Journal of
Multiagent and Grid Systems, IOS press, Vol-2(4):455-471, 2006.
L. Yuan,
J. S. Dong, J. Sun and H. A. Basit. Generic Fault Tolerant Software
Architecture Reasoning and Customization. IEEE Transactions on
Reliability. Vol-55(3):421-435, 2006
J. Sun,
J. S. Dong, S. Jarzabek and H. Wang. CAD System Family Architecture
and Verification: An Integrated Formal Approach. IEE Proceedings
Software. Vol-153(3):102-112, 2006.
J. S.
Dong, P. Hao, X. Zhang, and S. Qin, HighSpec: a Tool for Building and
Checking OZTA Models. 28th International Conference on Software
Engineering (ICSE06). Research Demonstration. ACM Press, pp 775-778,
2006
D. Lucanu,
Y.F. Li, J.S. Dong: Semantic Web Languages - Towards an Institutional
Perspective. Essays Dedicated to Joseph A. Goguen, LNCS Springer,
2006: 99-123
H. Liang,
J. S. Dong, J. Sun, R. Duke, R. E. Seviora: Formal
Specification-based Online Monitoring. ICECCS 2006: 152-162
J. S.
Dong, Y. Liu, J. Sun, X. Zhang: Verification of Computation
Orchestration Via Timed Automata. ICFEM 2006: 226-245
J. S.
Dong, P. Hao, J. Sun, X. Zhang: A Reasoning Method for Timed CSP
Based on Constraint Solving. ICFEM 2006: 342-359
C. Chen,
J. S. Dong: Applying Timed Interval Calculus to Simulink Diagrams.
ICFEM 2006: 74-93
J. S.
Dong: From semantic web to expressive software specifications: a
modeling languages spectrum. ICSE 2006: 1063-1064
J. Sun
and J. S. Dong, Synthesis of Distributed Processes from
Scenario-based Specifications. Formal Methods 2005 (FM'05), LNCS, pp
415-431, University of Newcastle upon Tyne, UK. July 2005.
J.S. Dong
and P. Hao and B. Mahony, Formal Designs for Embedded and Hybrid
Systems. International Journal on Software Engineering and Knowledge
Engineering, vol 15(2): 373-378, 2005
D. Lucanu,
Y. F. Li and J. S. Dong. Institution Morphisms for Relating OWL and
Z. In 17th International Conference on Software Engineering and
Knowledge Engineering (SEKE'05), pp 286-291, Taipei, Taiwan, July 2005.
J. Sun
and J. S. Dong, Extracting FSMs from Object-Z Specifications with
History Invariants. The 10th International Conference on Engineering
of Complex Computer Systems (ICECCS'05),pp 96-105 , Shanghai, China.
June 2005.
J. S.
Dong, R. Duke and P. Hao, Integrating Object-Z with Timed Automata
. ICECCS'05:488-497, 2005. (pdf)
J. Sun
and J. S. Dong, Model Checking Live Sequence Charts.
ICECCS'05:529-538, 2005.
J. S. Dong, P. Hao, S. C. Qin, J. Sun and Y. Wang, Timed Patterns:
TCOZ to Timed Automata. The 6th International Conference on Formal
Engineering Methods (ICFEM'04), editors: J. Davies, W. Schulte and M.
Barnett, LNCS, pp 483-498, Seattle, USA. Nov. 2004.
X. Wang, D. Zhang, J. S. Dong, C. Chin and S. R.
Hettiarachchi. Semantic Space: A Semantic Web Infrastructure for
Smart Spaces. IEEE Pervasive Computing, 3(3):32-39, July-September
2004. (pdf)
J. S. Dong, C. H. Lee, H. B. Lee, Y. F. Li and H.
Wang. A Combined Approach to Checking Web Ontologies. 13th ACM
International World Wide Web Conference (WWW'04), refereed track, ACM
Press, pages 714-722, NYC, USA, May 2004. (
pdf )
J. S. Dong, C. H. Lee, Y. F. Li and H. Wang,
Verifying DAML+OIL and Beyond in Z/EVES. The 26th International
Conference on Software Engineering (ICSE'04), ACM/IEEE Press, pp
201-210, Edinburgh, Scotland, May 2004. (technical paper)
J. S. Dong. Software Modeling Techniques and the
Semantic Web. The 26th International Conference on Software
Engineering (ICSE'04), ACM/IEEE Press, Edinburgh, Scotland, May 2004.
(tutorial, slides in
pdf )
J. S. Dong, J. Sun and H. Wang. Checking and Reasoning about Semantic
Web through Alloy. 12th Internation Symposium on Formal Methods
Europe (FM'03). editors: K. Araki, S. Gnesi and D. Mandrioli, LNCS,
pages 796-813, Springer-Verlag, Pisa, Italy, Sep 2003.
S. C. Qin, J. S. Dong and W. N. Chin. A Semantic Foundation of TCOZ
in Unifying Theory of Programming. FM'03. LNCS, pages 321-340,
Springer-Verlag, Pisa, Italy, Sep 2003.
B. Mahony and J.S. Dong. Deep Semantic Links of TCSP and Object-Z:
TCOZ Approach. Formal Aspects of Computing journal, 13:142-160,
Springer, 2002.
J. Sun, J. S. Dong, J. Liu and H. Wang. A Formal Object Approach to
the Design of ZML. Annals of Software Engineering: An international
journal, 13:329-356, Kluwer Academic Publishers, 2002.
J. S. Dong, J. Sun and H. Wang. Semantic Web for Extending and
Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS,
Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002.
(pdf)
J. Sun, J. S. Dong, J. Liu and H. Wang. Object-Z Web Environment and
Projections to UML. 10th ACM International World Wide Web Conference
(WWW'01), refereed track, pages 725-734, ACM Press, HK, May 2001.
J. S. Dong, State, Event, Time and Diagram in System Modeling,
23th International Conference on Software Engineering (ICSE'01), pages
733-734, IEEE Press, Toronto, Canada, May 2001. (
pdf , tutorial slides in
pdf )
B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE
Transactions on Software Engineering, 26(2):150-177, Feb 2000.
(pdf) .
B. Mahony and J.S. Dong. Sensors and Actuators in TCOZ. World
Congress on Formal Methods (FM'99), editors: J. Wing, J. Woodcock and J.
Davies. LNCS, Vol 1709, pages 1166-1185, Springer-Verlag, Toulouse,
France, Sep 1999.
(pdf)
B. Mahony and J.S. Dong. Blending Object-Z and Timed CSP: An
introduction to TCOZ. In Proceedings of the 20th International
Conference on Software Engineering (ICSE'98), editors: K. Futatsugi and
R. Kemmerer and K. Torii, IEEE Press, pages 95-104, Kyoto, Japan, April
1998.
(postscript).