Describing, structuring and implementing objects

Jose Fiadeiro, Tom Maibaum

Research output: Chapter in Book/Report/Conference proceedingConference contribution

26 Citations (Scopus)

Abstract

The popularity of the notion of object for structuring (the specification of) systems has not been accompanied by the necessary formalisation of the concepts and constructions involved. We have a well developed theory of abstract data types that explains how to structure specifications based on the notion of value, but objects involve imperative notions such as those of action and state which are not well captured in an applicative way. In this paper, we focus on the development of an alternative framework to support systems design based on the concept of object. We provide a notion of object signature around which we define the notion of locality (encapsulation). We adopt a deontic action logic for the description of objects. We define the notion of morphism between object descriptions, and show how these notions can be used to combine object descriptions and, in this way, define the behaviour of societies of interacting objects. And, finally, we show by means of an example how object descriptions may be reified by implementing descriptions of objects at one level (of abstraction) in terms of object descriptions at the level below.
Original languageEnglish
Title of host publication REX 1990
Subtitle of host publicationWorkshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems)
PublisherSpringer
Pages274-310
Number of pages37
Volume489
ISBN (Electronic)9783540464501
ISBN (Print)9783540539315
DOIs
Publication statusPublished - 1991

Publication series

NameLecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)
PublisherSpringer Verlag
Volume489
ISSN (Print)0302-9743

Keywords

  • object specification
  • specification morphism
  • interpretation between theories
  • Encapsulation
  • locality
  • concurrency
  • Action logics
  • deontic logic

Fingerprint Dive into the research topics of 'Describing, structuring and implementing objects'. Together they form a unique fingerprint.

  • Cite this

    Fiadeiro, J., & Maibaum, T. (1991). Describing, structuring and implementing objects. In REX 1990: Workshop/School/Symposium of the REX Project (Research and Education in Concurrent Systems) (Vol. 489, pp. 274-310). (Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science); Vol. 489). Springer . https://doi.org/10.1007/BFb0019447