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. doi:10.1007/3-540-36103-0


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 name International Conference on Formal Engineering Methods [FEM]
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   Check publisher's open access policy
Journal name Formal Methods and Software Engineering, Proceedings   Check publisher's open access policy
Place of Publication Berlin, Germany
Publisher Springer-Verlag
Publication Year 2002
Sub-type Fully published paper
DOI 10.1007/3-540-36103-0
ISBN 9783540000297
3540000291
ISSN 0302-9743
1611-3349
Editor Chris George
Huaikou Miao
Volume 2495
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: 41 Abstract Views  -  Detailed Statistics
Created: Fri, 23 Jan 2009, 11:10:45 EST by Maryanne Watson on behalf of Marketing, Outreach and Corporate Services