Please use this identifier to cite or link to this item: http://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
Source: 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.

Page view(s)

57
checked on Dec 16, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.