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

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.
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
PublisherSpringer
Publication date2015
Pages134-154
ISBN (Print)978-3-319-15544-9
ISBN (Electronic) 978-3-319-15545-6
DOIs
Publication statusPublished - 2015
SeriesLecture Notes in Computer Science
Volume8950
ISSN0302-9743

Keywords

  • 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