Composition of Context-Free Motion Description Languages
Date
2010
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Department of Mechanical Engineering, University of Delaware
Abstract
We 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.
Description
Keywords
Extended Motion Description Languages (MDLes)