XML-based static type checking and dynamic visualization for TCOZ

Dong, Jon Song, Li, Yuan Fang, Sun, Jing, Sun, Jun and Wang, Hai (2002). XML-based static type checking and dynamic visualization for TCOZ. In: Chris George and Huaikou Miao, Lecture Notes in Computer Science. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Proceedings. International Conference on Formal Engineering Methods [FEM], Shanghai, China, (311-322). 21-25 October 2002.


Author Dong, Jon Song
Li, Yuan Fang
Sun, Jing
Sun, Jun
Wang, Hai
Title of paper XML-based static type checking and dynamic visualization for TCOZ
Conference Paper Type Fully Published Paper
Conference name International Conference on Formal Engineering Methods [FEM]    (ERA 2010 Rank B)
DOI 10.1007/3-540-36103-0
Conference location Shanghai, China
Conference dates 21-25 October 2002
Convener Shanghai University
Proceedings title Lecture Notes in Computer Science. Formal Methods and Software Engineering: 4th International Conference on Formal Engineering Methods, ICFEM 2002 Proceedings
Journal name Formal Methods and Software Engineering, Proceedings
Editor Chris George
Huaikou Miao
Place published Berlin, Germany
Publisher Springer-Verlag
Publication date 2002
Volume number 2495
ISBN 9783540000297; 3540000291
ISSN 0302-9743; 1611-3349
Start page 311
End page 322
Total pages 12
Language eng
Formatted Abstract/Summary Timed Communicating Object Z(TCOZ) combines Object-Z’s strengths in modelling complex data and state with TCSP’s strengths in modeling real-time concurrency. Based on our previous work on the XML environment for TCOZ, this paper firstly demonstrates the development of a type checker for detecting static semantic errors of the TCOZ specification, then illustrates a transformation tool to automatically project TCOZ models into UML statechart diagrams for visualising the dynamic system behaviour.
© Springer-Verlag Berlin Heidelberg 2002
Subjects 080309 Software Engineering
080404 Markup Languages
Keyword TCOZ tool support
XML/XSL
UML/XMI
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Google Scholar Search Google Scholar
Access Statistics: 35 Abstract Views  -  Detailed Statistics
Created: Fri, 23 Jan 2009, 11:10:45 EST by Maryanne Watson on behalf of Marketing, Outreach and Corporate Services