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.
2006
2006 ANIPLA International Congress on Methodologies for emerging Technologies in Automation
Roma, Italia
13-15 Novembre 2006
Secchi, Cristian; Fantuzzi, Cesare
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).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/587854
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact