Skip to Main content Skip to Navigation
Journal articles

Making components contract aware

Antoine Beugnard 1 Jean-Marc Jézéquel 2 Noël Plouzeau 3 Damien Watkins 4
1 PASS - Process for Adaptative Software Systems
Télécom Bretagne, IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
3 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : Components have long promised to encapsulate data and programs into a box that operates predictably without requiring that users know the specifics of how it does so. Many advocates have predicted that components will bring about widespread software reuse, spawning a market for components usable with such mainstream software buses as the Common Object Request Broker Architecture (CORBA) and the Distributed Component Object Model (DCOM). In the Windows world, at least, this prediction is becoming a reality. Yet recent reports indicate mixed results when using and reusing components in mission-critical settings. Such results raise disturbing questions. How can you trust a component? What if the component behaves unexpectedly, either because it is faulty or simply because you misused it? Before we can trust a component in mission-critical applications, we must be able to determine, reliably and in advance, how it will behave. In this article the authors define a general model of sofware contracts and show how existing mechanisms could be used to turn traditional components into contract-aware ones.
Complete list of metadatas

Cited literature [13 references]  Display  Hide  Download

https://hal-imt-atlantique.archives-ouvertes.fr/hal-01794333
Contributor : Antoine Beugnard <>
Submitted on : Friday, August 30, 2019 - 8:43:36 AM
Last modification on : Friday, July 10, 2020 - 4:07:29 PM

File

Making Components Contract Awa...
Files produced by the author(s)

Identifiers

Citation

Antoine Beugnard, Jean-Marc Jézéquel, Noël Plouzeau, Damien Watkins. Making components contract aware. Computer, IEEE Computer Society, 1999, 32 (7), pp.38-45. ⟨10.1109/2.774917⟩. ⟨hal-01794333⟩

Share

Metrics

Record views

95

Files downloads

158