On contracting different behavioral properties in component-based systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

On contracting different behavioral properties in component-based systems

Philippe Collet
Alain Ozanne
  • Fonction : Auteur
  • PersonId : 983886
Nicolas Rivierre
  • Fonction : Auteur

Résumé

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.
Fichier non déposé

Dates et versions

hal-01351667 , version 1 (04-08-2016)

Identifiants

Citer

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⟩
32 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More