We introduce a new formalism to compose interacting heterogeneous systems described by extended motion description languages (MDLes). The novelty lies in producing a composed system whose behavior could be a superset of the union of the behaviors of its generators. In the class of systems modeled using MDLes, the composition operator is closed, and language equivalence can be decidable. Our approach consists of representing MDLes as normed processes, recursively defined as a guarded system of recursion equations in restricted Greibach Normal Form over a basic process algebra. Basic processes have well defined semantics for composition, which we exploit to establish the properties of our composed MDLes.
展开▼
