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.

A tag contract framework for modeling heterogeneous systems / Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, Axel. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 115-116:(2016), pp. 225-246. [10.1016/j.scico.2015.06.004]

A tag contract framework for modeling heterogeneous systems

Passerone, Roberto;
2016-01-01

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.
2016
Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, Axel
A tag contract framework for modeling heterogeneous systems / Le, Thi Thieu Hoa; Passerone, Roberto; Fahrenberg, Uli; Legay, Axel. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - 115-116:(2016), pp. 225-246. [10.1016/j.scico.2015.06.004]
File in questo prodotto:
File Dimensione Formato  
LePasseroneFahrenbergLegay16SCP.pdf

Solo gestori archivio

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 930.18 kB
Formato Adobe PDF
930.18 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11572/153628
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 4
social impact