Mastering Heterogeneous Behavioural Models

TL;DR

This paper introduces an algebraic method using structure morphisms to safely compose and analyze complex heterogeneous behavioral models, enabling incremental development and verification of large systems.

Contribution

It presents a novel algebraic framework for modeling and ensuring safe interaction of heterogeneous behavioral models, facilitating incremental system construction.

Findings

Heterogeneous models can interact safely using the proposed algebraic approach.

Incremental construction and analysis of complex systems are feasible with this method.

The approach is validated through experiments with the Uppaal tool.

Abstract

Heterogeneity is one important feature of complex systems, leading to the complexity of their construction and analysis. Moving the heterogeneity at model level helps in mastering the difficulty of composing heterogeneous models which constitute a large system. We propose a method made of an algebra and structure morphisms to deal with the interaction of behavioural models, provided that they are compatible. We prove that heterogeneous models can interact in a safe way, and therefore complex heterogeneous systems can be built and analysed incrementally. The Uppaal tool is targeted for experimentations.