The paper presents the results of an applicationof object-oriented modeling techniques to design manufacturingsystems logic controllers. In particular, the semanticalaspects of specification languages like UML and Statecharts,widely used in many Software Engineering methods, areanalysed and discussed, with regard to their adequacy forthe industrial domain and their verification with formalmethods. The paper ends with the description of a practicalcase of study, which shows that the proposed design andverification techniques can be successfully adopted in a realindustrial framework, given domain-specific adaptation ofobject-oriented modeling languages.

A practical approach to object-oriented modeling of logic control systems for industrial applications / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - (2004), pp. 980-985. (Intervento presentato al convegno 2004 43rd IEEE Conference on Decision and Control (CDC) tenutosi a Nassau, bhs nel December 14–17 2004) [10.1109/CDC.2004.1428812].

A practical approach to object-oriented modeling of logic control systems for industrial applications

FANTUZZI, Cesare
2004

Abstract

The paper presents the results of an applicationof object-oriented modeling techniques to design manufacturingsystems logic controllers. In particular, the semanticalaspects of specification languages like UML and Statecharts,widely used in many Software Engineering methods, areanalysed and discussed, with regard to their adequacy forthe industrial domain and their verification with formalmethods. The paper ends with the description of a practicalcase of study, which shows that the proposed design andverification techniques can be successfully adopted in a realindustrial framework, given domain-specific adaptation ofobject-oriented modeling languages.
2004
2004 43rd IEEE Conference on Decision and Control (CDC)
Nassau, bhs
December 14–17 2004
980
985
M., Bonfè; Fantuzzi, Cesare
A practical approach to object-oriented modeling of logic control systems for industrial applications / M., Bonfè; Fantuzzi, Cesare. - ELETTRONICO. - (2004), pp. 980-985. (Intervento presentato al convegno 2004 43rd IEEE Conference on Decision and Control (CDC) tenutosi a Nassau, bhs nel December 14–17 2004) [10.1109/CDC.2004.1428812].
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/620621
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 3
social impact