A formal object approach to the design of ZML

Annals of Software Engineering

Volumn 13, Issue 1-4, 2002, Pages 329-356

  Sun, Jing ^a   Dong, Jin Song ^a   Liu, Jing ^a   Wang, Hai ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Formal specification; UML; XML XSL XMI; Z Object Z TCOZ

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; GRAPHICAL USER INTERFACES; OBJECT ORIENTED PROGRAMMING; XML;

SOFTWARE DESIGN;

SOFTWARE ENGINEERING;

EID: 0141796738     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1016513914276     Document Type: Review

References (25)

1. Bowen, J.P. and D. Chippington (1998), "Z on the Web using Java," In ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, J.P. Bowen, A. Fett, and M.G. Hinchey, Eds., Lecture Notes in Computer Science, Vol. 1493, Springer-Verlag, Berlin, pp. 66-80.
2. Ciancarini, P., C. Mascolo, and F. Vitali (1998), "Visualizing Z Notation in HTML Documents," In ZUM'98: The Z Formal Specification Notation, 11th International Conference of Z Users, J.P. Bowen, A. Fett, and M.G. Hinchey, Eds., Lecture Notes in Computer Science, Vol. 1493, Springer-Verlag, Berlin, pp. 81-95.
3. Clark, J. (1999), "XT Version 19991105," http://www.jclark.com/xml/xt.html
4. Dong, J.S. and B. Mahony (1998), "Active Objects in TCOZ," In The 2nd IEEE International Conference on Formal Engineering Methods (ICFEM'98), J. Staples, M. Hinchey, and S. Liu, Eds., IEEE Computer Society Press, pp. 16-25.
5. Duke, R. and G. Rose (2000), Formal Object Oriented Specification Using Object-Z, Cornerstones of Computing, Macmillan.
6. Evans, A.S. and A.N. Clark (1998), "Foundations of the Unified Modeling Language," In BCS-FACS Northem Formal Methods Workshop, D.J. Duke and A.S. Evans, Eds., Electronic Workshops in Computing, Springer Verlag.
7. Futatsugi, K. and A. Nakagawa (1997), "An Overview of CAFE Specification Environment," In The IEEE International Conference on Formal Engineering Methods (ICFEM'97), M. Hinchey and S. Liu, Eds., IEEE Computer Society Press, Hiroshima, Japan, pp. 170-181.
8. Hayes, I., Ed. (1993), Specification Case Studies, International Series in Computer Science, 2nd ed., Prentice-Hall.
9. Kaiser, G., S. Dossick, W. Jiang, and J. Yang (1997), "An Architecture for WWW-based Hypercode Environments," In The 19th International Conference on Software Engineering (ICSE'97), R. Adrion, A. Fuggetta, and R. Taylor, Eds., IEEE Press, Boston, USA, pp. 3-13.
10. Kim, S.K. and D. Carrington (2000), "An Integrated Framework with UML and Object-Z for Developing a Precise Specification," In The 7th Asia-Pacific Software Engineering Conference (APSEC'OO), IEEE Press, pp. 240-248.
11. Liu, J., J.S. Dong, B. Mahony, and K. Shi (2000), "Linking UML with Integrated Formal Techniques," In Unified Modeling Language: Systems Analysis, Design, and Development Issues, K. Siau and T. Halpin, Eds., Idea Group Publishing, pp. 210-223.
12. Liu, S., A.J. Offutt, C. Ho-Stuart, Y. Sun, and M. Ohba (1998), "SOFL: A Formal Engineering Methodology for Industrial Applications," IEEE Transactions on Software Engineering 24, 1.
13. Mahony, B. and J.S. Dong (1999), "Sensors and Actuators in TCOZ," In FM'99: World Congress on Formal Methods, J. Wing, J. Woodcock, and J. Davies, Eds., Lecture Notes in Computer Science, Vol. 1709, Springer-Verlag, Toulouse, pp. 1166-1185.
14. Mahony, B. and J.S. Dong (2000), "Timed Communicating Object Z" IEEE Transactions on Software Engineering 26, 2, 150-177.
15. Mahony, B.P. and J.S. Dong (1998), "Blending Object-Z and Timed CSP: An Introduction to TCOZ," In The 20th International Conference on Software Engineering (ICSE'98), K. Futatsugi, R. Kemmerer, and K. Torii, Eds., IEEE Press, Kyoto, Japan, pp. 95-104.
16. Nielsen, M., K. Havelund, R. Wagner, and C. George (1989), "The RAISE Language, Method and Tools," Formal Aspects of Computing 1, 85-114.
17. Rumbaugh, J., I. Jacobson, and G. Booch (1999), The Unified Modeling Languauge Reference Manual, Addison-Wesley.
18. Schneider, S. and J. Davies (1995), "A Brief History of Timed CSP," Theoretical Computer Science 138.
19. Smith, G. (1995), "A Fully Abstract Semantics of Classes for Object-Z," Formal Aspects of Computing 7, 3, 289-313.
20. Smith, G. (2000), The Object-Z Specification Language, Advances in Formal Methods, Kluwer Academic.
21. (W3C), W.W.W.C. (1999), "XSL Transformations (XSLT) Version 1.0," http://www.w3.org/TR/xslt
22. (W3C), W.W.W.C. (2000a), "Extensible Markup Language (XML)," http://www.w3.org/XML
23. (W3C), W.W.W.C. (2000b), "Extensible Stylesheet Language (XSL)," http://www.w3.org/Style/XSL
24. Wafula, E.N. and P.A. Swatman (1995), "FOOM: A Diagrammatic Illustration of Inter-Object Communication in Object-Z Specifications," In The 1995 Asia-Pacific Software Engineering Conference (APSEC'95), IEEE Computer Society Press.
25. Woodcock, J. and J. Davies (1996), Using Z: Specification, Refinement, and Proof, Prentice-Hall International.