Zhang, WenqiTanner, Herbert2010-10-132010-10-132010http://udspace.udel.edu/handle/19716/5656We introduce a new formalism to define compositions of interacting heterogeneous systems, described by extended motion description languages (MDLes). The novelty of the formalism is in producing a composed system with a behavior that could be a superset of the union of the behaviors of its generators. We prove closedness of MDLes under this composition and we indicate that in the class of systems modeled using MDLes, language equivalence is 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.Extended Motion Description Languages (MDLes)Technical Report