The paper presents a feasible approach to introduce object-oriented techniques in the industrial practice of control design. The approach is based on the use of a domain-specific extension of the modeling language UML and on the formalization of design models as transition systems for verification purposes. In particular, the paper shows how to exploit model checking techniques to verify that object classes, designed as subtypes, correctly inherit the behavior of their base classes, according to a notion of substitutability specifically defined for the proposed semantics of object-oriented models.
Inheritance Of Behavior In Object-Oriented Designs For Industrial Control Systems
BONFE', Marcello;
2005
Abstract
The paper presents a feasible approach to introduce object-oriented techniques in the industrial practice of control design. The approach is based on the use of a domain-specific extension of the modeling language UML and on the formalization of design models as transition systems for verification purposes. In particular, the paper shows how to exploit model checking techniques to verify that object classes, designed as subtypes, correctly inherit the behavior of their base classes, according to a notion of substitutability specifically defined for the proposed semantics of object-oriented models.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.
