SVG Web Environment for Z Specification Language

  • Jing Sun
  • Hai Wang
  • Sasanka Athauda
  • Tazkiya Sheik
Conference paper

DOI: 10.1007/11576280_33

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3785)
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

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.

Keywords

Z formal specification language Web based tool support Scalable Vector Graphics 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Jing Sun
    • 1
  • Hai Wang
    • 2
  • Sasanka Athauda
    • 1
  • Tazkiya Sheik
    • 1
  1. 1.Department of Computer ScienceThe University of AucklandNew Zealand
  2. 2.Department of Computer ScienceThe University of ManchesterUnited Kingdom

Personalised recommendations