1. ScholarBank@NUS
  2. 1. Staff
  3. Staff Publications
Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/39950
DC FieldValue
dc.titleA XML/XSL approach to visualize and animate TCOZ
dc.contributor.authorSun, J.
dc.contributor.authorDong, J.S.
dc.contributor.authorLiu, J.
dc.contributor.authorWang, H.
dc.date.accessioned2013-07-04T07:53:17Z
dc.date.available2013-07-04T07:53:17Z
dc.date.issued2001
dc.identifier.citationSun, 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.
dc.identifier.urihttp://scholarbank.nus.edu.sg/handle/10635/39950
dc.description.abstractThe 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.
dc.sourceScopus
dc.subjectFormal methods
dc.subjectOz
dc.subjectSpecification animation
dc.subjectTCOZ
dc.subjectUML
dc.subjectXMI
dc.subjectXML/XSL
dc.typeConference Paper
dc.contributor.departmentCOMPUTER SCIENCE
dc.description.sourcetitleProceedings of the Asia-Pacific Software Engineering Conference and International Computer Science Conference, APSEC and ICSC
dc.description.page453-460
dc.identifier.isiutNOT_IN_WOS
Appears in Collections:Staff Publications

Show simple 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.