Skip to Main content Skip to Navigation
Conference papers

Towards a Versatile Contract Model to Organize Behavioral Specifications

Philippe Collet Alain Ozanne 1 Nicolas Rivierre
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : The dependability of component-based systems mainly relies on the ability to guarantee the safe collaboration of components. Many specification formalisms can then be used and we argue that such specifications should be organized through an appropriate contract model so that guarantees and possible violations can be better exploited. In this paper, we propose a versatile contract model that explicitly reifies the assumptions and guarantees of some behavioral specifications on component assemblies. We briefly illustrate the integration of executable assertions and we detail how Behavior Protocols can be integrated in the contract model.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01334905
Contributor : Lip6 Publications <>
Submitted on : Tuesday, June 21, 2016 - 2:52:34 PM
Last modification on : Thursday, March 21, 2019 - 2:39:30 PM

Links full text

Identifiers

Citation

Philippe Collet, Alain Ozanne, Nicolas Rivierre. Towards a Versatile Contract Model to Organize Behavioral Specifications. 33rd International Conference on Current Trends in Theory and Practice of Computer Science SOFSEM 07, Jan 2007, Harrachov, Czech Republic. pp.844-855, ⟨10.1007/978-3-540-69507-3_73⟩. ⟨hal-01334905⟩

Share

Metrics

Record views

131