Towards an institution for Object-Z specifications

Authors:
Mohamed Bettaz;Mourad Maouche;M'hamed Mosteghanemi
Affiliations:
Laboratoire Méthodes de Conception de Systèmes, ESI, Algiers, Algeria;Philadelphia University, Jordan;Laboratoire Méthodes de Conception de Systèmes, ESI, Algiers, Algeria
Venue:
International Journal of Computer Applications in Technology
Year:
2013

Citing 12
Cited 0

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)
Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP

Formal Methods in System Design
From basic views and aspects to integration of specification formalisms

Current trends in theoretical computer science
A Formal Mapping between UML Models and Object-Z Specifications

ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
The Semantics of CLEAR, A Specification Language

Proceedings of the Abstract Software Specifications, 1979 Copenhagen Winter School
Introducing Institutions

Proceedings of the Carnegie Mellon Workshop on Logic of Programs
A Heterogeneous Approach to UML Semantics

Concurrency, Graphs and Models
Institution-independent Model Theory

Institution-independent Model Theory
What Is a Multi-modeling Language?

Recent Trends in Algebraic Development Techniques
Putting theories together to make specifications

IJCAI'77 Proceedings of the 5th international joint conference on Artificial intelligence - Volume 2
Comparison of formalisation approaches of UML class constructs in Z and object-Z

ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
An algebraic semantics for MOF

FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Despite its three decades of existence, institution theory continues still to inspire new trends and approaches in the field of formal specification and programming. One such an approach is the so-called 'Grothendieck institution' approach to multi-logic heterogeneous specification paradigm, emphasising the idea that for some kinds of applications it is more suitable to use a 'composite institution' capable to capture multiple views rather than a single one. In this work, we define an institution for a 'subset' of Object-Z notation and prove that it has amalgamation. This property is useful for the behaviour of Object-Z specifications in-the-large and for their integration in the framework of a heterogeneous institution supporting a multi-modelling language based on UML and Object-Z.