Application of classical compilation techniques for syntactic and semantic analysis of specification written in Object Z

Building a parser for a formal specification language such as Object Z is not an easy task. Indeed, it requires a double competence both in the compilation field than in the field of formal specification. In this paper, we first present some tools for analyzing specifications written in Z and Object...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2012-10
Main Authors: Fkih, Fethi, Haddar, Kais
Format: Article
Language:English
Subjects:
Formal specifications
Semantics
Specification and description languages
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Building a parser for a formal specification language such as Object Z is not an easy task. Indeed, it requires a double competence both in the compilation field than in the field of formal specification. In this paper, we first present some tools for analyzing specifications written in Z and Object Z by showing the characteristics of each. Then, we identify some common semantic constraints in Object Z. Finally, we propose an approach for building a parser for Object Z based on the conventional techniques of compilation.
ISSN:2331-8422