The paper presents a feasible approach to introduce object-orientedtechniques in the industrial practice of control design. The approach is based onthe use of a domain-specific extension of the modeling language UML and on theformalization of design models as transition systems for verification purposes. Inparticular, the paper shows how to exploit model checking techniques to verifythat object classes, designed as subtypes, correctly inherit the behavior of theirbase classes, according to a notion of substitutability specifically defined for theproposed semantics of object-oriented models.
Inheritance of Behavior in Object-Oriented Designs for industrial control systems / Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian. - ELETTRONICO. - 38:1(2005), pp. 49-54. ( 16th IFAC World Congress Praga, Repubblica Ceca 4-8 Luglio 2005) [10.3182/20050703-6-cz-1902.01492].
Inheritance of Behavior in Object-Oriented Designs for industrial control systems
FANTUZZI, Cesare;SECCHI, Cristian
2005
Abstract
The paper presents a feasible approach to introduce object-orientedtechniques in the industrial practice of control design. The approach is based onthe use of a domain-specific extension of the modeling language UML and on theformalization of design models as transition systems for verification purposes. Inparticular, the paper shows how to exploit model checking techniques to verifythat object classes, designed as subtypes, correctly inherit the behavior of theirbase classes, according to a notion of substitutability specifically defined for theproposed semantics of object-oriented models.
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
