×

zbMATH — the first resource for mathematics

A formal object approach to the design of ZML. (English) Zbl 1012.68573
Summary: This paper addresses two issues: how formal object modeling techniques facilitate the XML application development and how XML technology helps formal/graphical software design process. In particular, the paper presents a XML/XSL approach to the development of a web environment for Z family languages (Z/Object-Z/TCOZ). The projection techniques and tools from object-oriented Z (in XML) to UML (in XMI) are developed using XSL Transformations (XSLT). Furthermore, object-oriented Z is used to specify and design the essential functionalities of the web environment and the projection tools to UML. In a sense, the paper also demonstrates a formal object approach to modeling XML applications.
Reviewer: Reviewer (Berlin)

MSC:
68U99 Computing methodologies and applications
68N99 Theory of software
68U35 Computing methodologies for information systems (hypertext navigation, interfaces, decision support, etc.)
Software:
RAISE; TCOZ
PDF BibTeX XML Cite
Full Text: DOI