ZML: XML Support for Standard Z (English)

How to get this document?

Download
Commercial Copyright fee: €24.95 Basic fee: €4.00 Total price: €28.95
Academic Copyright fee: €12.50 Basic fee: €2.00 Total price: €14.50

Abstract

This paper proposes an XML format for standard Z. We describe several earlier XML proposals for Z, the problems and issues that arose, and the rationales behind our new proposal. The new proposal is based upon a comparison of various existing Z annotated syntaxes, to ensure that the mark-up will be widely usable. This XML format is expected to become a central feature of the CZT (Community Z Tools) initiative.

Table of contents eBook

The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

1
Alloy: A Logical Modelling Language
Jackson, Daniel | 2003
2
An Outline Pattern Language for Z: Five Illustrations and Two Tables
Stepney, Susan / Polack, Fiona / Toyn, Ian | 2003
20
Patterns to Guide Practical Refactoring: Examples Targetting Promotion in Z
Stepney, Susan / Polack, Fiona / Toyn, Ian | 2003
40
Reuse of Specification Patterns with the B Method
Blazy, Sandrine / Gervais, Frédéric / Laleau, Régine | 2003
58
Composing Specifications Using Communication
Treharne, Helen / Schneider, Steve / Bramble, Marchia | 2003
79
When Concurrent Control Meets Functional Requirements, or Z + Petri-Nets
Peschanski, Frédéric / Julien, David | 2003
98
How to Diagnose a Modern Car with a Formal B Model?
Pouzancre, Guilhem | 2003
101
Parallel Hardware Design in B
Hallerstede, Stefan | 2003
103
Operation Refinement and Monotonicity in the Schema Calculus
Deutsch, Moshe / Henson, Martin C. / Reeves, Steve | 2003
127
Using Coupled Simulations in Non-atomic Refinement
Derrick, John / Wehrheim, Heike | 2003
148
An Analysis of Forward Simulation Data Refinement
Deutsch, Moshe / Henson, Martin C. | 2003
168
B#: Toward a Synthesis between Z and B
Abrial, Jean-Raymond | 2003
178
Introducing Backward Refinement into B
Dunne, Steve | 2003
197
Expression Transformers in B-GSL
Stoddart, Bill / Zeyda, Frank | 2003
216
Probabilistic Termination in B
McIver, Annabelle / Morgan, Carroll / Hoang, Thai Son | 2003
240
Probabilistic Invariants for Probabilistic Machines
Hoang, Thai Son / Jin, Zhendong / Robinson, Ken / McIver, Annabelle / Morgan, Carroll | 2003
260
Proving Temporal Properties of Z Specifications Using Abstraction
Smith, Graeme / Winter, Kirsten | 2003
280
Compositional Verification for Object-Z
Winter, Kirsten / Smith, Graeme | 2003
300
Timed CSP and Object-Z
Derrick, John | 2003
319
Object Orientation without Extending Z
Utting, Mark / Wang, Shaochun | 2003
339
Comparison of Formalisation Approaches of UML Class Constructs in Z and Object-Z
Amálio, Nuno / Polack, Fiona | 2003
359
Towards Practical Proofs of Class Correctness
Meyer, Bertrand | 2003
388
Automatically Generating Information from a Z Specification to Support the Classification Tree Method
Hierons, Robert M. / Harman, Mark / Singh, Harbhajan | 2003
408
Refinement Preserves PLTL Properties
Darlot, Christophe / Julliand, Jacques / Kouchnarenko, Olga | 2003
421
Proving Event Ordering Properties for Information Systems
Frappier, Marc / Laleau, Régine | 2003
437
ZML: XML Support for Standard Z
Utting, Mark / Toyn, Ian / Sun, Jing / Martin, Andrew / Dong, Jin Song / Daley, Nicholas / Currie, David | 2003
457
Formal Derivation of Spanning Trees Algorithms
Abrial, Jean-Raymond / Cansell, Dominique / Méry, Dominique | 2003
477
Using B Refinement to Analyse Compensating Business Processes
Ferreira, Carla / Butler, Michael | 2003
497
A Formal Specification in B of a Medical Decision Support System
Poerschke, Christine / Lightfoot, David E. / Nealon, John L. | 2003
513
Extending B with Control Flow Breaks
Burdy, Lilian / Requet, Antoine | 2003
528
Towards Dynamic Population Management of Abstract Machines in the B Method
Aguirre, Nazareno / Bicarregui, Juan / Dimitrakos, Theo / Maibaum, Tom | 2003
Feedback