An institution for object-z with inheritance and polymorphism

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review


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.
Original languageEnglish
Title of host publicationSoftware, Services, and Systems : Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering
EditorsRocco De Nicola, Rolf Hennicker
Publication date2015
ISBN (Print)978-3-319-15544-9
ISBN (Electronic) 978-3-319-15545-6
Publication statusPublished - 2015
SeriesLecture Notes in Computer Science


  • Software engineering models
  • Object-Z
  • Category theory
  • Institution
  • Inheritance
  • Polymorphic types

Fingerprint Dive into the research topics of 'An institution for object-z with inheritance and polymorphism'. Together they form a unique fingerprint.

Cite this