Contracts for ODP

  • Arnaud Février
  • Elie Najm
  • Jean -Bernard Stefani
Papers

DOI: 10.1007/3-540-63010-4_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1231)
Cite this paper as:
Février A., Najm E., Stefani J.B. (1997) Contracts for ODP. In: Bertran M., Rus T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg

Abstract

Contracts have been introduced to clarify the dependencies and relations between objects and thus to ease component reuse. In the OO design trajectory, contracts can be used at different levels of abstraction. We focus on a computational view of objects. We consider systems described as configurations of interacting objects and we deal with two types of communications: message passing and flows. In message passing, signals (from one object to another) are conveyed through the (implicit) underlying infrastructure. This form of interaction is suitable for client/server applications where no strong real time or ordering constraints are needed from the communication infrastructure. In contrast, in a flow type of communication, signals are conveyed through third party (binding) objects that may be explicitly called for in order to ensure specific QoS requirements needed by specific applications. We first define an abstract semantics of the behaviour of configurations of computational objects. Our semantics will be based on the observation of interactions. An Interaction takes place between two interfaces of two objects and may have one of two issues: success or failure. We introduce COC, a calculus of object contracts. In our setting, a contract is merely a process which observes and arbitrates the collective behaviour of configurations of objects. A contract observes objects and depending on the outcome of their interactions (success or failure) may identify and incriminate faulty objects. We also abstract from observers and define the concepts of satisfaction, realization and refinement.

Keywords

ODP objects contracts computational model formal techniques real time 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1997

Authors and Affiliations

  • Arnaud Février
    • 1
  • Elie Najm
    • 1
  • Jean -Bernard Stefani
    • 2
  1. 1.École Nationale Supérieure des TélécommunicationsParis Cedex 13France
  2. 2.Centre National d'Études des TélécommunicationsIssy-Les-MoulineauxFrance

Personalised recommendations