A tag contract framework for modeling heterogeneous systems
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...
Saved in:
Published in | Science of computer programming Vol. 115-116; pp. 225 - 246 |
---|---|
Main Authors | , , , |
Format | Journal Article |
Language | English |
Published |
Elsevier B.V
01.01.2016
Elsevier |
Subjects | |
Online Access | Get full text |
Cover
Loading…
Summary: | 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 contract framework which can handle heterogeneous models is proposed.•Tag machines model operate across different tag systems by employing tag morphisms.•A contract theory is extended to the heterogeneous context.•A synthesis strategy is proposed for wrong contract decompositions.•The synthesis strategy is generic and independent of the particular model in use. |
---|---|
ISSN: | 0167-6423 1872-7964 |
DOI: | 10.1016/j.scico.2015.06.004 |