XML-Based Static Type Checking and Dynamic Visualization for TCOZ

  • Jin Song Dong
  • Yuan Fang Li
  • Jing Sun
  • Jun Sun
  • Hai Wang
Conference paper

DOI: 10.1007/3-540-36103-0_33

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2495)
Cite this paper as:
Dong J.S., Li Y.F., Sun J., Sun J., Wang H. (2002) XML-Based Static Type Checking and Dynamic Visualization for TCOZ. In: George C., Miao H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

TCOZ tool support XML/XSL UML/XMI 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Jin Song Dong
    • 1
  • Yuan Fang Li
    • 1
  • Jing Sun
    • 1
  • Jun Sun
    • 1
  • Hai Wang
    • 1
  1. 1.School of ComputingNational University of SingaporeSingapore

Personalised recommendations