Composition and Compositionality in a Component Model for Autonomous Robots - Archive ouverte HAL
Communication Dans Un Congrès Année : 2010

Composition and Compositionality in a Component Model for Autonomous Robots

Olena Rogovchenko
  • Fonction : Auteur
  • PersonId : 968348
Jacques Malenfant

Résumé

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.

Dates et versions

hal-01288649 , version 1 (15-03-2016)

Identifiants

Citer

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⟩
67 Consultations
0 Téléchargements

Altmetric

Partager

More