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
References in zbMATH (referenced in 8 articles , 1 standard article )
Showing results 1 to 8 of 8.
Sorted by year (- 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)
- Brooke, Phillip J.; Paige, Richard F.: Cameo: an alternative model of concurrency for Eiffel (2009)
- Chen, Zhenbang; Liu, Zhiming; Ravn, Anders P.; Stolz, Volker; Zhan, Naijun: Refinement and verification in component-based model-driven design (2009)
- Xavier, Manuela; Cavalcanti, Ana; Sampaio, Augusto: Type checking \textsfCircusspecifications (2008)
- Brooke, Phillip J.; Paige, Richard F.; Jacob, Jeremy L.: A CSP model of Eiffel’s SCOOP (2007)
- Dong, Jin Song; Li, Yuan Fang; Sun, Jing; Sun, Jun; Wang, Hai: XML-based static type checking and dynamic visualization for TCOZ (2002)
- Mahony, Brendan; Dong, Jin Song: Deep semantic links of TCSP and Object-Z: TCOZ approach. (2002)
- Sun, Jing; Dong, Jin Song; Liu, Jing; Wang, Hai: A formal object approach to the design of ZML (2002)