XML-Based Static Type Checking and Dynamic Visualization for TCOZ
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Generating web-based user interfaces for diagramming tools
AUIC '05 Proceedings of the Sixth Australasian conference on User interface - Volume 40
Experiences developing architectures for realizing thin-client diagram editing tools
Software—Practice & Experience
Online CASE tool for collaborative software modelling
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
SVG web environment for z specification language
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Hi-index | 0.00 |
The challenge for system specification is how to visually and precisely capture static, dynamic and real-time system properties in a highly structured way.Timed Communicating 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 XML/XSL as a transformation tool to visualize TCOZ models into various UML diagrams and to animate TCOZ specifications with a multi-paradigm programming language -Oz.