SVG Web Environment for Z Specification Language
- Cite this paper as:
- Sun J., Wang H., Athauda S., Sheik T. (2005) SVG Web Environment for Z Specification Language. In: Lau KK., Banach R. (eds) Formal Methods and Software Engineering. ICFEM 2005. Lecture Notes in Computer Science, vol 3785. Springer, Berlin, Heidelberg
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.
KeywordsZ formal specification language Web based tool support Scalable Vector Graphics
Unable to display preview. Download preview PDF.