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

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