Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/39950
| Title: | A XML/XSL approach to visualize and animate TCOZ | Authors: | Sun, J. Dong, J.S. Liu, J. Wang, H. |
Keywords: | Formal methods Oz Specification animation TCOZ UML XMI XML/XSL |
Issue Date: | 2001 | Citation: | Sun, J.,Dong, J.S.,Liu, J.,Wang, H. (2001). A XML/XSL approach to visualize and animate TCOZ. Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC : 453-460. ScholarBank@NUS Repository. | Abstract: | 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 modelling 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. | Source Title: | Proceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC | URI: | http://scholarbank.nus.edu.sg/handle/10635/39950 |
| Appears in Collections: | Staff Publications |
Show full item record
Files in This Item:
There are no files associated with this item.
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.