SVG web environment for z specification language

Authors:
Jing Sun;Hai Wang;Sasanka Athauda;Tazkiya Sheik
Affiliations:
Department of Computer Science, The University of Auckland, New Zealand;Department of Computer Science, The University of Manchester, United Kingdom;Department of Computer Science, The University of Auckland, New Zealand;Department of Computer Science, The University of Auckland, New Zealand
Venue:
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Year:
2005

Citing 12
Cited 1

Specifications are not (necessarily) executable

Software Engineering Journal
The Z notation: a reference manual

The Z notation: a reference manual
The Object-Z specification language

The Object-Z specification language
Timed Communicating Object Z

IEEE Transactions on Software Engineering
Object-Z web environment and projections to UML

Proceedings of the 10th international conference on World Wide Web
Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
XML-Based Static Type Checking and Dynamic Visualization for TCOZ

ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Z on the Web Using Java

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
Visualizing Z Notation in HTML Documents

ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
An overview of CAFE specification environment-an algebraic approach for creating, verifying, and maintaining formal specifications over networks

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
An XML/XSL Approach to Visualize and Animate TCOZ

APSEC '01 Proceedings of the Eighth Asia-Pacific on Software Engineering Conference
ZML: XML support for standard Z

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B

Architectural impact of the SVG-based graphical components in web applications

Computer Standards & Interfaces

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a web environment for the Z formal specification language using the Scalable Vector Graphics (SVG) technology. The Z Specification Web Editor (ZSWE) is the first prototype of a web based graphical editor for the Z specification language. It not only supports graphical editing and global accessibility for the Z formal specifications, but also provides model comprehension facilities such as schema expansion, specification navigation and model querying. This paper outlines the requirement, design and implementation of the tool and its future improvements.