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
Design by Extension and Inheritance of behavior in Dynamical Systems / Secchi, Cristian; Bonfe', M; Fantuzzi, Cesare. - ELETTRONICO. - (2006), pp. 6702-6707. (Intervento presentato al convegno 45th IEEE Conference on Decision and Control tenutosi a San Diego, CA, usa nel 13-15 Dicembre 2006) [10.1109/cdc.2006.377050].
Design by Extension and Inheritance of behavior in Dynamical Systems
SECCHI, Cristian;FANTUZZI, Cesare
2006
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
Pubblicazioni consigliate
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris
