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 metadatas

https://hal.archives-ouvertes.fr/hal-01288649
Contributor : Lip6 Publications <>
Submitted on : Tuesday, March 15, 2016 - 2:10:47 PM
Last modification on : Thursday, March 21, 2019 - 2:41:59 PM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Record views

102