Formalizing Semantics of XSLT Using Object-Z
نویسندگان
چکیده
This paper specifies the formal semantics of XSLT. Using Object-Z specification language to describe each constructs of the language as objects, the stylesheet itself was specified by underlying objects. This work will contribute to the implementation of XSLT.
منابع مشابه
UML Metamodel Formalization with Object-Z: the State Machine Package
This paper presents a formalization using Object-Z of the State Machine package in the UML metamodel. In the specification, the abstract syntax and the static and dynamic semantics for each individual model construct in the package are grouped together and encapsulated within a single Object-Z class. For formalizing the dynamic semantics, a denotational semantics of the construct is first given...
متن کاملFormalizing Visual Languages of Object-Oriented Methods
of Object-Oriented Methods Roger Süttenbach University of Koblenz-Landau Institute for Software Technology [email protected] Abstract This paper presents a thesis which provides an integrated and formalized description of the syntax and the semantics of visual languages of object-oriented methods. The formalization is based on a calculus using EER/GRAL descriptions of the abstract...
متن کاملDeclarative Semantics in Object-Oriented Software Development - A Taxonomy and Survey
One of the modern paradigms to develop an application is object oriented analysis and design. In this paradigm, there are several objects and each object plays some specific roles in applications. In an application, we must distinguish between procedural semantics and declarative semantics for their implementation in a specific programming language. For the procedural semantics, we can write a ...
متن کاملAn XML-based Approach to Handling Tables in Documents
We explore application of XML technology for handling tables in legacy semistructured documents. Specifically, we analyze annotating heterogeneous documents containing tables to obtain a formalized XML Master document that improves traceability (hence easing verification and update) and enables manipulation using XSLT stylesheets. This approach is useful when table instances far outnumber disti...
متن کاملA Formal Object Approach to the Design of ZML
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 (i...
متن کامل