ZML: XML support for standard Z

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

Volumn 2651, Issue , 2003, Pages 437-456

  Utting, Mark ^a   Toyn, Ian ^b   Sun, Jing ^d   Martin, Andrew ^c   Dong, Jin Song ^d   Daley, Nicholas ^a   Currie, David ^e  

^a UNIVERSITY OF WAIKATO   (New Zealand)

^b UNIVERSITY OF YORK   (United Kingdom)

^c UNIVERSITY OF OXFORD   (United Kingdom)

^d NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

^e IBM   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMMUNITY Z TOOLS; MARK-UP; XML FORMAT;

XML;

EID: 35248847423     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44880-2_26     Document Type: Article

References (16)

1. ISO/IEC 10646-1. Information Technology - Universal Multiple-Octet Coded Character Set (UCS) - Part I: Architecture and Basic Multilingual Plane. 2000.
2. ISO/IEC 10646-2. Information Technology - Universal Multiple-Octet Coded Character Set (UCS) - Part 2: Supplementary Planes. 2001.
3. ISO/IEC 13568. Information Technology - Z Formal Specification Notation - Syntax, Type System and Semantics. 2002. First Edition 2002-07-01.
4. ISO 8879-1986. Information Processing - Text and Office Systems - Standard Generalized Mark-up Language (SGML). ISO, 1986.
5. Nicholas Daley. Abstract syntax tree for Z. 591 Project Report, The Department of Computer Science, Waikato University, Hamilton, New Zealand, October 2002. Available from marku@cs.waikato.ac.nz.
6. Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun, and Hai Wang. XML-based static type checking and dynamic visualization for TCOZ. In 4th International Conference on Formal Engineering Methods, pages 311-322. Springer-Verlag, October 2002.
7. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, USA, 1995.
8. W. Grieskamp. ZETA. http://uebb.cs.tu-berlin.de/zeta, 2000.
9. E.R. Harold and W.S. Means. XML in a Nutshell. O'Reilly, 2001.
10. B. Mahony and J.S. Dong. Timed Communicating Object Z. IEEE Transactions on Software Engineering, 26(2), February 2000.
11. M. Saaltink. The Z/EVES system. In J. Bowen, M. Hinchey, and D. Till, editors, Proc. 10th Int. Conf. on the Z Formal Method (ZUM), volume 1212 of Lecture Notes in Computer Science, pages 72-88, Reading, UK, April 1997. Springer-Verlag, Berlin.
12. J. Michael Spivey. The Z Notation: A Reference Manual. International Series in Computer Science. Prentice-Hall International (UK) Ltd, second edition, 1992.
13. J. Sun, J.S. Dong, J. Liu, and H. Wang. An XML Schema for Z family. http://nt-appn.comp.nus.edu.sg/fm/zml/zml.xsd, 2001.
14. Jing Sun, Jin Song Dong, Jing Liu, and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering, 13(1-4):329-356, June 2002.
15. I. Toyn. CADiZ. http://www-users.cs.york.ac.uk/~ian/cadiz/, 2001.
16. J. Wordsworth. An XML DTD for Z, October 1999.