DocumentCode
466579
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
Volume
1
fYear
2006
fDate
4-6 Oct. 2006
Firstpage
881
Lastpage
888
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CESA.2006.4281776
Filename
4281776
Link To Document