A Compositional Specification Theory for Component Behaviours - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2012

A Compositional Specification Theory for Component Behaviours

Taolue Chen
  • Fonction : Auteur
Chris Chilton
  • Fonction : Auteur
  • PersonId : 875212
Bengt Jonsson
  • Fonction : Auteur
  • PersonId : 861063
Marta Kwiatkowska
  • Fonction : Auteur
  • PersonId : 861066

Résumé

We propose a compositional specification theory for reason- ing about components that interact by synchronisation of input and out- put (I/O) actions, in which the specification of a component constrains the temporal ordering of interactions with the environment. Such a the- ory is motivated by the need to support composability of components, in addition to modelling environmental assumptions, and reasoning about run-time behaviour. Models can be specified operationally by means of I/O labelled transition systems augmented by an inconsistency predi- cate on states, or in a purely declarative manner by means of traces. We introduce a refinement preorder that supports safe-substitutivity of components. Our specification theory includes the operations of parallel composition for composing components at run-time, logical conjunction for independent development, and quotient for incremental development. We prove congruence properties of the operations and show correspon- dence between the operational and declarative frameworks.

Domaines

Informatique
Fichier principal
Vignette du fichier
esop12.pdf (363.87 Ko) Télécharger le fichier
Origine Accord explicite pour ce dépôt
Loading...

Dates et versions

hal-00665599 , version 1 (03-02-2012)

Identifiants

  • HAL Id : hal-00665599 , version 1

Citer

Taolue Chen, Chris Chilton, Bengt Jonsson, Marta Kwiatkowska. A Compositional Specification Theory for Component Behaviours. 2012. ⟨hal-00665599⟩

Collections

CONNECT
126 Consultations
257 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More