An Institution for Object-Z with Inheritance and Polymorphism

Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed

doi:10.1007/978-3-319-15545-6_11

Cited by 4 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This allows providing various SE-models (which do not at first sight look like logics) with an institutional semantics. Examples are class diagram models, database relational schema models [8,17], and Object-Z models [4,10].…”

Section: Institutionsmentioning

confidence: 99%

See 1 more Smart Citation

UML/OCL or Object-Z?

Bettaz

Maouche

2017

2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS)

Self Cite

View full text Add to dashboard Cite

UML/OCL and Object-Z are two technologies complementing each other. They show a "converging" syntax for their basic features, and are distinguished by a "diverging" syntax for their more advanced features. The objective of this paper is twofold. First, we show that for the basic features the mapping between both languages is a comorphism between their corresponding institutions. Second, we identify the advanced features in order to characterize closely the type of a potential mapping between both languages. Our approach is demonstrated through a simple example related to human resources' management in companies.

show abstract

Section: Institutionsmentioning

confidence: 99%

“…To show how to associate institutions to UML class diagrams and to OCL we use results presented in [17] and [8]. We also build on [4] to show how to associate institutions to Object-Z specifications. The reader is supposed to be acquainted with UML and to have a minimum knowledge on Object-Z [10].…”

Section: Institutionsmentioning

confidence: 99%

UML/OCL or Object-Z?

Bettaz

Maouche

2017

2017 International Conference on Infocom Technologies and Unmanned Systems (Trends and Future Directions) (ICTUS)

Self Cite

View full text Add to dashboard Cite

show abstract

“…Institution morphisms are well suited to capture the issues of models consistency and refinement, while co-morphisms are useful to capture the encoding of a source formalism into a target formalism in an abstract way, that is independently form the underlying logical frameworks. Furthermore the growing family of available institutions backing various formal languages [16,17,18] makes this approach very attractive and less expensive.…”

Section: Related Workmentioning

confidence: 99%

Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation

Maouche¹,

Bettaz²

2016

IJSEIA

View full text Add to dashboard Cite

In this work we propose a development methodology aiming to bridge the gap between approaches used by (e)-science communities to develop their modeling frameworks, and model driven engineering approaches used to develop modeling frameworks with similar complexity. The proposed methodology relies on a sound integration of UML-MARTE, CSP-OZ, and PyCSP. We show, in this paper, how to exploit this similarity to bridge the gap between both approaches. A first contribution of this paper consists in proposing a sound software development methodology for the construction of critical reactive systems in general and multi-scale simulation frameworks in particular. A second contribution consists in adding a new sub-profile for MARTE, the so-called SSRM (Specific Software Resource Model), dedicated to the modeling of multi-scale simulation frameworks. MUSCLE [9], a recent distributed multi-scale simulation framework, serves as a case study in this work. The proposed SSRM sub-profile is intended to define specific software resources that capture a subset of MUSCLE core concepts. A third contribution consists in sketching a formal semantic framework for our software development methodology aiming at ensuring a sound integration (from a semantic point of view) of UML-MARTE, CSP-OZ and PyCSP.

show abstract

Towards a New Ontology-Based Descriptive Language: OntoObject-Z

Bettaz,

Maouche

2023

2023 6th International Conference on Contemporary Computing and Informatics (IC3I)

View full text Add to dashboard Cite

An Institution for Object-Z with Inheritance and Polymorphism

Cited by 4 publications

References 17 publications

UML/OCL or Object-Z?

UML/OCL or Object-Z?

Towards a Software Engineering Approach to Multi-Scale Modeling and Simulation

Towards a New Ontology-Based Descriptive Language: OntoObject-Z

Contact Info

Product

Resources

About