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.
Data di pubblicazione: | 2006 |
Titolo: | Inheritance for Dynamical Systems |
Autore/i: | Secchi, Cristian; Fantuzzi, Cesare |
Autore/i UNIMORE: | |
Nome del convegno: | 2006 ANIPLA International Congress on Methodologies for emerging Technologies in Automation |
Luogo del convegno: | Roma, Italia |
Data del convegno: | 13-15 Novembre 2006 |
Citazione: | 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. |
Tipologia | Relazione in Atti di Convegno |
File in questo prodotto:

I documenti presenti in Iris Unimore sono rilasciati con licenza Creative Commons Attribuzione - Non commerciale - Non opere derivate 3.0 Italia, salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris