A XML/XSL approach to visualize and animate TCOZ

Author

Sun, Jing ; Dong, Jin Song ; Liu, Jing ; Wang, Hai

Author_Institution

Dept. of Comput. Sci., Nat. Univ. of Singapore, Singapore

fYear

2001

fDate

4-7 Dec. 2001

Firstpage

453

Lastpage

460

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

Keywords

constraint theory; hypermedia markup languages; object-oriented programming; real-time systems; software tools; specification languages; Oz multi-paradigm programming language; TCOZ specifications; Timed Communicating Object-Z; UML diagrams; XML/XSL transformation tool; complex data structures; dynamic system properties; integrated formal notation; real-time interactions; real-time system properties; specification animation; static system properties; system specification; Animation; Computer languages; Computer science; Functional programming; Logic programming; Software systems; Sun; Unified modeling language; Visualization; XML;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering Conference, 2001. APSEC 2001. Eighth Asia-Pacific

ISSN

1530-1362

Print_ISBN

0-7695-1408-1

Type

conf

DOI

10.1109/APSEC.2001.991514

Filename

991514