TCOZ

XML-based static type checking and dynamic visualization for TCOZ 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 for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 8 articles , 1 standard article )

Showing results 1 to 8 of 8.
Sorted by year (citations)

  1. Shi, Ling; Zhao, Yongxin; Liu, Yang; Sun, Jun; Dong, Jin Song; Qin, Shengchao: A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (2018)
  2. Brooke, Phillip J.; Paige, Richard F.: Cameo: an alternative model of concurrency for Eiffel (2009)
  3. Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun: Refinement and verification in component-based model-driven design (2009)
  4. Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto: Type checking \textsfCircusspecifications (2008)
  5. Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.: A CSP model of Eiffel’s SCOOP (2007)
  6. Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai: XML-based static type checking and dynamic visualization for TCOZ (2002)
  7. Mahony, Brendan; Dong, Jin Song: Deep semantic links of TCSP and Object-Z: TCOZ approach. (2002)
  8. Sun, Jing; Dong, Jin Song; Liu, Jing; Wang, Hai: A formal object approach to the design of ZML (2002)