XML-based static type checking and dynamic visualization for TCOZ

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 311-322

  Dong, Jin Song ^a   Li, Yuan Fang ^a   Sun, Jing ^a   Sun, Jun ^a   Wang, Hai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

TCOZ tool support; UML XMI; XML XSL

Indexed keywords

SEMANTICS; XML;

DYNAMIC VISUALIZATION; STATIC SEMANTICS; STATIC TYPE CHECKING; TIMED COMMUNICATING OBJECT-Z; TOOL SUPPORT; TRANSFORMATION TOOLS; UML STATECHART DIAGRAMS; UML/XMI;

FORMAL METHODS;

EID: 84948969238     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_33     Document Type: Conference Paper

References (15)

1. Xmi: Xml metadata interchange. http://www-4.ibm.com/software/ad/standards/xmi.html, 2000.
2. J. Bengtsson, K. Larsen, F. Larsson, P. Pettersson, and Y. Wang. UPPAAL - a tool suite for automatic verification of real-time systems. In Hybrid Systems, pages 232–243, 1995.
3. P. J. Brooke and R. F. Paige. The Design of a Tool-Supported Graphical Notation for Timed CSP. In Proc. Integrated Formal Methods 2002 (IFM’02), pages 299–318, Turku, Finland, May 2002.
4. R. Duke and G. Rose. Formal Object Oriented Specification Using Object-Z. Cornerstones of Computing. Macmillan, March 2000.
5. W. Johnston. A type checker for Object-Z. Technical report 96-24, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072. Australia, July 1996.
6. B. Mahony and J. S. Dong. Overviewof the semantics of TCOZ. In K. Araki, A. Galloway, and K. Taguchi, editors, IFM’99: Integrated Formal Methods, York, UK, pages 66–85. Springer- Verlag, June 1999.
7. B. Mahony and J. S. Dong. Sensorsand Actuatorsin TCOZ. In J. Wing, J. Woodcock, and J. Davies, editors, FM’99: World Congress on Formal Methods, Lect. Notesin Comput. Sci., pages 1166–1185, Toulouse, France, September 1999. Springer-Verlag.
8. B. Mahony and J. S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2):150–177, February 2000.
9. G. Nelson, K. Rustan, M. Leino, J. Saxe, and R. Stata. Extended static checking home page. Available on the Internet from http://www.research.digital.com/SRC/esc/Esc.html., 1996.
10. S. Schneider and J. Davies. A brief history of Timed CSP. Theoretical Computer Science, 138, 1995.
11. G. Smith. ExtendingWfor Object-Z. In J. P. Bowen and M. G. Hinchey, editors, Proceedings of the 9th Annual Z-User Meeting, pages 276–295. Springer-Verlag, September 1995.
12. G. Smith. The Object-Z Specification Language. Advancesin Formal Methods. Kluwer Academic Publishers, 2000.
13. J. Sun, J. S. Dong, J. Liu, and H. Wang. A XML/XSL Approach to Visualize and Animate TCOZ. In J. He, Y. Li, and G. Lowe, editors, The 8th Asia-Pacific Software Engineering Conference (APSEC’01), pages 453–460. IEEE Press, 2001.
14. J. Sun, J. S. Dong, J. Liu, and H. Wang. Object-ZWeb Environment and Projectionsto UML. In WWW-10: 10th International World Wide Web Conference, pages 725–734. ACM Press, May 2001.
15. J. Woodcock and J. Davies. Using Z: Specification, Refinement, and Proof. Prentice-Hall International, 1996.