An operational framework for the multi-lingual system simulation based on π-calculus

Complex heterogeneous systems are usually specified at system level by a set of interacting cores each of which can be implemented in a different, domain-specific language. The dynamic verification of such systems requires a coupling of a set of language-specific simulators to a multilanguage simulation system such that the simulation semantics of each individual language are respected. In order to aid a semantics-preserving coupling this paper introduces an operational framework based upon which the simulation semantics of different languages can be formally captured and their correct co-simulation semantics can be derived. This formalisation of the simulation semantics is founded on a fixed set of semantic primitives for capturing model structure, behaviour communication, tinting, and scheduling. All parts of the presented framework are defined in the single unifying notation of the pi -calculus process algebra.