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.
2005
Manufacturing systems; Logic controllers; Discrete-event systems; Verification
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11392/1192515
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? ND
social impact