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
BONFE', Marcello;
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in SFERA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
