Title :
Design by Extension and Inheritance of Behavior in Dynamical Systems
Author :
Secchi, Cristian ; Bonfè, Marcello ; Fantuzzi, Cesare
Author_Institution :
DISMI, Modena & Reggio Emilia Univ.
Abstract :
The paper introduces a formal definition of inheritance, which is a cardinal concept in object-oriented software, for dynamical systems. The proposed definition exploits the coalgebraic description of software artifacts to provide a connection between the behavioral approach for modeling dynamical systems and the object-oriented approach for software modeling and design. This definition allows to apply the design by extension methodology, widely used in software engineering, to the design of components of manufacturing systems
Keywords :
algebra; control system CAD; object-oriented programming; coalgebraic description; design by extension; dynamical systems; inheritance; object-oriented software; software artifacts; software design; software modeling; Computer languages; Control systems; Design methodology; Manufacturing systems; Mechatronics; Object oriented modeling; Software design; Software engineering; Software systems; USA Councils;
Conference_Titel :
Decision and Control, 2006 45th IEEE Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
1-4244-0171-2
DOI :
10.1109/CDC.2006.377050
