loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth Asia-Pacific Software Engineering Conference (APSEC'01)
An XML/XSL Approach to Visualize and Animate TCOZ
Macao, China
December 04-December 07
ISBN: 0-7695-1408-1
ASCII Text
x 
 
Jing Sun, Jin Song Dong, Jing Liu, Hai Wang, "An XML/XSL Approach to Visualize and Animate TCOZ," Asia-Pacific Software Engineering Conference, pp. 453, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001.
 
 
BibTex
x
 
@article{ 10.1109/APSEC.2001.991514,
author = {Jing Sun and Jin Song Dong and Jing Liu and Hai Wang},
title = {An XML/XSL Approach to Visualize and Animate TCOZ},
journal ={Asia-Pacific Software Engineering Conference},
volume = {0},
year = {2001},
isbn = {0-7695-1408-1},
pages = {453},
doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.2001.991514},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asia-Pacific Software Engineering Conference
TI - An XML/XSL Approach to Visualize and Animate TCOZ
SN - 0-7695-1408-1
SP
EP
A1 - Jing Sun,
A1 - Jin Song Dong,
A1 - Jing Liu,
A1 - Hai Wang,
PY - 2001
KW - Formal methods
KW - UML
KW - specification animation
KW - TCOZ
KW - XML/XSL
KW - XMI
KW - Oz.
VL - 0
JA - Asia-Pacific Software Engineering Conference
ER -
 
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.
Index Terms:
Formal methods, UML, specification animation, TCOZ, XML/XSL,XMI, Oz.
Citation:
Jing Sun, Jin Song Dong, Jing Liu, Hai Wang, "An XML/XSL Approach to Visualize and Animate TCOZ," apsec, pp.453, Eighth Asia-Pacific Software Engineering Conference (APSEC'01), 2001
Usage of this product signifies your acceptance of the Terms of Use.