The paper presents the results of an application ofobject-oriented modeling techniques to design manufacturing systemslogic controllers. In particular,the semantical aspects ofspecification languages like UML and Statecharts,widely used in manySoftware Engineering methods, are analysed and discussed,with regardto their adequacy for the industrial domain and their verificationwith formal methods.The paper ends with the description of a practicalcase of study, which shows that the proposed design and verificationtechniques can be successfully adopted in a real industrial framework,given domain-specific adaptation of object-oriented modelinglanguages
Object-oriented modeling of logic control systems for industrial applications / M., Bonfe'; Fantuzzi, Cesare; Magnani, M.. - In: AUTOMATION TECHNOLOGY IN PRACTICE INTERNATIONAL. - ISSN 1613-2319. - STAMPA. - 3:(2005), pp. 27-33.
Object-oriented modeling of logic control systems for industrial applications
FANTUZZI, Cesare;
2005
Abstract
The paper presents the results of an application ofobject-oriented modeling techniques to design manufacturing systemslogic controllers. In particular,the semantical aspects ofspecification languages like UML and Statecharts,widely used in manySoftware Engineering methods, are analysed and discussed,with regardto their adequacy for the industrial domain and their verificationwith formal methods.The paper ends with the description of a practicalcase of study, which shows that the proposed design and verificationtechniques can be successfully adopted in a real industrial framework,given domain-specific adaptation of object-oriented modelinglanguages
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
