Design by extension and inheritance of behavior in dynamical systems

被引:0
|
作者
Secchi, Cristian [1 ]
Bonfe, Marcello [2 ]
Fantuzzi, Cesare [1 ]
机构
[1] Univ Modena & Reggio Emilia, DISMI, I-41100 Reggio Emilia, Italy
[2] Univ Ferrara, ENDIF, I-44100 Ferrara, Italy
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:6704 / +
页数:2
相关论文
共 50 条