HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Composition and Compositionality in a Component Model for Autonomous Robots

Olena Rogovchenko 1 Jacques Malenfant 1
1 MoVe - Modélisation et Vérification
LIP6 - Laboratoire d'Informatique de Paris 6
Abstract : Component models for autonomous robots control architectures are much more constrained than traditional ones: obeying strict timing constraints, coping with a large spectrum of rapidly changing hardware (e.g. sensors and actuators), etc. Beyond introducing new concepts into components themselves, composition in such models must go much farther than the standard connection through method signature interfaces. Viewing components as full-fledged sensori-motor behaviors, our model follows the concept of rich interfaces introduced by Henzinger et al. to attach to each component all the necessary syntactical and behavioral information to make them externally composable. This paper presents two kinds of composition, parallel and by modes, their semantics, their compositionality properties and the impact of these on the composition model. A prototype implementation in Java is backed by a constructive semantics defined as a constraint system solved in this prototype with the ECLIPSe constraint programming system.
Document type :
Conference papers
Complete list of metadata

Contributor : Lip6 Publications Connect in order to contact the contributor
Submitted on : Tuesday, March 15, 2016 - 2:10:47 PM
Last modification on : Friday, January 8, 2021 - 5:38:07 PM

Links full text



Olena Rogovchenko, Jacques Malenfant. Composition and Compositionality in a Component Model for Autonomous Robots. Software Composition, SC 2010, Jul 2010, Malaga, Spain. pp.34-49, ⟨10.1007/978-3-642-14046-4_3⟩. ⟨hal-01288649⟩



Record views