A Tag Contract Framework for Modeling Heterogeneous Systems

Thi Thieu Hoa Le 1 Roberto Passerone 1 Uli Fahrenberg 2 Axel Legay 3
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
3 TAMIS - Threat Analysis and Mitigation for Information Security
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : Development of distributed systems can be supported effectively by a contract-based methodology as contracts can ensure interoperability of components and adherence to specifications. Such development can become very complex since distributed systems can consist of components which are heterogeneous in terms of computational and interactive model. Several frameworks, both operational and denotational, have been proposed to handle heterogeneity using a variety of approaches. However, the application of those frameworks to contract-based design has not yet been investigated. In this work, we adopt the operational mechanism of tag machines to represent heterogeneous systems and construct a full contract model. We introduce heterogeneous composition, refinement, dominance and compatibility between contracts, altogether enabling a formalized and rigorous design process for heterogeneous systems. Besides, we also develop a method to synthesize or refine the component models so that their composition satisfies a given contract.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2016
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger

Contributeur : Nisrine Jafri <>
Soumis le : jeudi 1 décembre 2016 - 11:08:29
Dernière modification le : mercredi 16 mai 2018 - 11:24:11
Document(s) archivé(s) le : lundi 20 mars 2017 - 16:42:38


Fichiers produits par l'(les) auteur(s)


  • HAL Id : hal-01406446, version 1



Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, Axel Legay. A Tag Contract Framework for Modeling Heterogeneous Systems. Science of Computer Programming, Elsevier, 2016. 〈hal-01406446〉



Consultations de la notice


Téléchargements de fichiers