Skip to Main content Skip to Navigation
Conference papers

On contracting different behavioral properties in component-based systems

Philippe Collet Alain Ozanne 1 Nicolas Rivierre
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Using different specification formalisms together is necessary to leverage better reliability on component-based systems. The ConFract system provides a contracting system for hierarchical software components, but currently, only executable assertions are supported. In this paper, we describe how to integrate other kinds of formalism in ConFract. We propose a domain specific language and integration tools that enable designers to describe the observations needed to appropriately verify their specifications.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-01351667
Contributor : Lip6 Publications <>
Submitted on : Thursday, August 4, 2016 - 2:38:59 PM
Last modification on : Thursday, March 21, 2019 - 1:09:06 PM

Identifiers

Citation

Philippe Collet, Alain Ozanne, Nicolas Rivierre. On contracting different behavioral properties in component-based systems. The 21st Annual ACM Symposium on Applied Computing, SAC'06, Apr 2006, Dijon, France. pp.1798-1799, ⟨10.1145/1141277.1141699⟩. ⟨hal-01351667⟩

Share

Metrics

Record views

83