Object-orientation is a very effective approach formodeling complex manufacturing systems. In this paper we introducea formal definition of behavioral inheritance for dynamicalsystems based on the recently proposed coalgebraic descriptionof object-oriented software. This definition allows to extendthe design by extension methodology, widely used in softwareengineering, to the design of components of manufacturingsystems.
Inheritance for Dynamical Systems / Secchi, Cristian; Fantuzzi, Cesare. - ELETTRONICO. - (2006). (Intervento presentato al convegno 2006 ANIPLA International Congress on Methodologies for emerging Technologies in Automation tenutosi a Roma, Italia nel 13-15 Novembre 2006).
Inheritance for Dynamical Systems
SECCHI, Cristian;FANTUZZI, Cesare
2006
Abstract
Object-orientation is a very effective approach formodeling complex manufacturing systems. In this paper we introducea formal definition of behavioral inheritance for dynamicalsystems based on the recently proposed coalgebraic descriptionof object-oriented software. This definition allows to extendthe design by extension methodology, widely used in softwareengineering, to the design of components of manufacturingsystems.
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
