Title :
Formalizing, Implementing and Reusing Controller´s Behaviors and Interactions
Author :
Passama, R. ; Andreu, D. ; Dony, C. ; Libourel, T.
Author_Institution :
Dept. of Robotics, LIRMM, Montpellier
Abstract :
This paper presents a formal component-based language used to design and to implement control architectures. This language aims at providing concepts and notations to favor reusability of software components and quality during their design. It is based on an object Petri nets notation for behaviors and interactions descriptions, but also for execution purposes
Keywords :
control engineering computing; formal languages; object-oriented programming; software reusability; control architecture design; formal component-based language; object Petri nets notation; software components reusability; Communication system control; Computer architecture; Control systems; Object oriented modeling; Petri nets; Protocols; Robots; Software architecture; Software quality; Systems engineering and theory; Components; Control Architecture; Interactions; Object Petri Nets;
Conference_Titel :
Computational Engineering in Systems Applications, IMACS Multiconference on
Conference_Location :
Beijing
Print_ISBN :
7-302-13922-9
Electronic_ISBN :
7-900718-14-1
DOI :
10.1109/CESA.2006.4281776
