Skip to Main content Skip to Navigation
Journal articles

Making components contract aware

Antoine Beugnard 1, 2 Jean-Marc Jézéquel 3 Noël Plouzeau 4 Damien Watkins 5 
1 PASS - Process for Adaptative Software Systems
3 PAMPA - Models and Tools for Programming Distributed Parallel Architectures
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
4 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 metadata

Cited literature [13 references]  Display  Hide  Download
Contributor : Antoine Beugnard Connect in order to contact the contributor
Submitted on : Friday, August 30, 2019 - 8:43:36 AM
Last modification on : Saturday, June 4, 2022 - 3:30:44 AM


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



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⟩



Record views


Files downloads