Paper Info
Title
An Operational Framework For The Multi-Lingual System Simulation Based On Pi-Calculus
Abstract
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.
Year
DOI
Venue
2001
10.1109/SCCC.2001.972658
SCCC 2001: XXI INTERNATIONAL CONFERENCE OF THE CHILEAN COMPUTER SCIENCE SOCIETY, PROCEEDINGS
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
André Windisch184.43
D. Monjau291.47