@inbook{5bf233500c794054a8ab31feeb5e02b9,
title = "An institution for object-z with inheritance and polymorphism",
abstract = "Large software systems are best specified using a multi-paradigm approach. Depending on which aspects of a system one wants to model, some logic formalisms are better suited than others. The theory of institutions and (co)morphisms between institutions provides a general framework for describing logical systems and their connections. This is the foundation of multi-modelling languages allowing one to deal with heterogeneous specifications in a consistent way. To make Object-Z accessible as part of such a multi-modelling language, we define the institution OZS for Object-Z. We have chosen Object-Z in part because it is a prominent software modelling language and in part because it allows us to study the formalisation of object-oriented concepts, like object identity, object state, dynamic behaviour, polymorphic sorts and inheritance.",
keywords = "Software engineering models, Object-Z, Category theory, Institution, Inheritance, Polymorphic types",
author = "Hubert Baumeister and Mohamed Bettaz and Mourad Maouche and M'hamed Mosteghanemi",
year = "2015",
doi = "10.1007/978-3-319-15545-6_11",
language = "English",
isbn = "978-3-319-15544-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "134--154",
editor = "{De Nicola}, {Rocco } and Hennicker, {Rolf }",
booktitle = "Software, Services, and Systems",
}