Enforcing Different Contracts in Hierarchical Component-Based Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

Enforcing Different Contracts in Hierarchical 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 TLA, taken as an instance of behavioral sequence-based formalism, was integrated in ConFract. A domain specific language is proposed in order to enable designers to describe the observations needed to appropriately verify their specifications. These observations are automatically generated for assertions and in the case of TLA, we show what kind of observations must be provided to link the specifications to the concrete application.

Dates et versions

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

Identifiants

Citer

Philippe Collet, Alain Ozanne, Nicolas Rivierre. Enforcing Different Contracts in Hierarchical Component-Based Systems. ETAPS 2006, 5th International Symposium on Software Composition (SC '06), Mar 2006, Vienna, Austria. pp.50-65, ⟨10.1007/11821946_4⟩. ⟨hal-01351678⟩
42 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More