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. ( 2004 43rd IEEE Conference on Decision and Control (CDC) Nassau, bhs 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.
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
