The challenge for system specijication is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way. Timed Cornmunicating Object-Z (TCOZ) is an integrated formal notation that build on Object-Z's strengths in modeling complex data structures, and on Timed CSP's strengths in modeling real-time interactions. In this paper; we demonstrate approaches of using XMUXSL as a transformation tool to visualize TCOZ models into various UML diagrams and to animate TCOZ specijications with a multi-paradigm programming language -Oz.
An approach is demonstrated using XML which is in fact a transformation tool to analyze visualize Timed Communicating Object Z (TCOZ) models into various UML diagrams animating specification with a multiparadigm programming language as discussed in REF .
A XML/XSL approach to visualize and animate TCOZ
Proceedings Eighth Asia-Pacific Software Engineering Conference
Proceedings Eighth Asia-Pacific Software Engineering Conference
Computer Science