The aim of the paper is to provide a practical method to introduce design principles typical of the object-oriented approach, like “design by extension”, to the application domain of manufacturing systems control design. The proposed method is based on a domain-specific extension of the modeling language UML and on the formalization of design models as transition systems for verification purposes. Object-oriented models, formalized according to the proposed semantics, can be analyzed with model checking techniques in order to verify the behavioral conformity of object classes, according to a notion of substitutability which is defined in the paper specifically for the proposed modeling language.

Verification of Behavioral Substitutability in Object-oriented Models for Industrial Controllers / Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian. - ELETTRONICO. - 2005:(2005), pp. 3978-3983. (Intervento presentato al convegno 2005 IEEE International Conference on Robotics and Automation tenutosi a Barcelona, esp nel 18-22 Aprile 2005) [10.1109/ROBOT.2005.1570729].

Verification of Behavioral Substitutability in Object-oriented Models for Industrial Controllers

FANTUZZI, Cesare;SECCHI, Cristian
2005

Abstract

The aim of the paper is to provide a practical method to introduce design principles typical of the object-oriented approach, like “design by extension”, to the application domain of manufacturing systems control design. The proposed method is based on a domain-specific extension of the modeling language UML and on the formalization of design models as transition systems for verification purposes. Object-oriented models, formalized according to the proposed semantics, can be analyzed with model checking techniques in order to verify the behavioral conformity of object classes, according to a notion of substitutability which is defined in the paper specifically for the proposed modeling language.
2005
2005 IEEE International Conference on Robotics and Automation
Barcelona, esp
18-22 Aprile 2005
2005
3978
3983
Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian
Verification of Behavioral Substitutability in Object-oriented Models for Industrial Controllers / Bonfe', M.; Fantuzzi, Cesare; Secchi, Cristian. - ELETTRONICO. - 2005:(2005), pp. 3978-3983. (Intervento presentato al convegno 2005 IEEE International Conference on Robotics and Automation tenutosi a Barcelona, esp nel 18-22 Aprile 2005) [10.1109/ROBOT.2005.1570729].
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/466703
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 0
social impact