The paper presents a discussion on the practical issues of applying object-oriented modeling and formal verification techniques to the design of Manufacturing Systems logic controllers. In particular, the semantical aspects of specification languages like UML and Statecharts. which are widely used in many areas of Software Engineering, are analysed in terms of their adequacy for the industrial domain Then, the paper presents the results of an application of these modeling languages to a practical case, showing that model checking techniques can also be adopted, given an adequate and domain-speciSc semantics of the object-oriented design model.
On the suitability of object-oriented models for industrial logic controllers / Bonte, M.; Fantuzzi, C.. - 37:18(2004), pp. 291-296. (Intervento presentato al convegno 7th International Workshop on Discrete Event Systems, WODES 2004 tenutosi a fra nel 2004) [10.1016/S1474-6670(17)30761-9].
On the suitability of object-oriented models for industrial logic controllers
Fantuzzi C.
2004
Abstract
The paper presents a discussion on the practical issues of applying object-oriented modeling and formal verification techniques to the design of Manufacturing Systems logic controllers. In particular, the semantical aspects of specification languages like UML and Statecharts. which are widely used in many areas of Software Engineering, are analysed in terms of their adequacy for the industrial domain Then, the paper presents the results of an application of these modeling languages to a practical case, showing that model checking techniques can also be adopted, given an adequate and domain-speciSc semantics of the object-oriented design model.
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
