Abstract | ||
---|---|---|
Object-Z is an object-oriented specification language which extends the Z language with classes, objects, inheritance and polymorphism that can be used to represent the specification of a complex system as collections of objects. There are a number of existing works that mapped Object-Z to C++ and Java programming languages. Since Python and Object-Z share many similarities, both are object-oriented paradigm, support set theory and predicate calculus moreover, Python is a functional programming language which is naturally closer to formal specifications, we propose a mapping from Object-Z specifications to Python code that covers some Object-Z constructs and express its specifications in Python to validate these specifications. The validations are used in the mapping covered preconditions, post-conditions, and invariants that are built using lambda function and Pythonu0027s decorator. This work has found Python is an excellent language for developing libraries to map Object-Z specifications to Python. |
Year | DOI | Venue |
---|---|---|
2018 | 10.5121/ijsea.2017.8401 | International Journal of Software Engineering & Applications |
DocType | Volume | Issue |
Journal | 8 | 4 |
ISSN | Citations | PageRank |
International Journal of Software Engineering & Applications
(IJSEA), Vol.8, No.4, July 2017 | 0 | 0.34 |
References | Authors | |
4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. F. Al Azzawi | 1 | 0 | 0.34 |
Mohamed Bettaz | 2 | 66 | 11.13 |
H. M. Al-Refai | 3 | 0 | 0.34 |