Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine

Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine. Bonf̀e, M. & Fantuzzi, C. In Proc. of 2nd IEEE Int. Conference on Industrial Informatics (INDIN '04), pages 569--574, Berlin, Germany, June~24--26, 2004.
abstract bibtex

The paper presents the results of an application of object-oriented modeling techniques to design manufacturing systems logic controllers. In particular, the semantical aspects of specification languages like UML and Statecharts, widely used in many Software Engineering methods, are analysed and discussed, with regard to their adequacy for the industrial domain and their verification with formal methods. The paper ends with the description of a practical case of study, which shows that the proposed design and verification techniques can be successfully adopted in a real industrial framework, given domain-specific adaptation of object-oriented modeling languages.

@inproceedings{ Bonfe-Fantuzzi:INDIN:2004,
  author = {Bonf̀e, M. and Fantuzzi, C.},
  title = {Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine},
  booktitle = {Proc. of 2nd IEEE Int. Conference on Industrial Informatics (INDIN '04)},
  pages = {569--574},
  year = {2004},
  address = {Berlin, Germany},
  month = {June~24--26},
  id = {200406},
  href = {\hyperbibref{2004-06-INDIN-Berlin.pdf}},
  abstract = {The paper presents the results of an application
of object-oriented modeling techniques to design manufacturing
systems logic controllers. In particular, the semantical
aspects of specification languages like UML and Statecharts,
widely used in many Software Engineering methods, are
analysed and discussed, with regard to their adequacy for
the industrial domain and their verification with formal
methods. The paper ends with the description of a practical
case of study, which shows that the proposed design and
verification techniques can be successfully adopted in a real
industrial framework, given domain-specific adaptation of
object-oriented modeling languages.}
}

Downloads: 0

{"_id":"A87X7kLhhaNWDvGhC","bibbaseid":"bonfe-fantuzzi-applicationofobjectorientedmodelingtoolstodesignthelogiccontrolsystemofapackagingmachine-2004","downloads":0,"creationDate":"2015-07-16T15:36:05.592Z","title":"Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine","author_short":["Bonf̀e, M.","Fantuzzi, C."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.arscontrol.org/images/pubblicazioni/fantuzzi.bib","bibdata":{"abstract":"The paper presents the results of an application of object-oriented modeling techniques to design manufacturing systems logic controllers. In particular, the semantical aspects of specification languages like UML and Statecharts, widely used in many Software Engineering methods, are analysed and discussed, with regard to their adequacy for the industrial domain and their verification with formal methods. The paper ends with the description of a practical case of study, which shows that the proposed design and verification techniques can be successfully adopted in a real industrial framework, given domain-specific adaptation of object-oriented modeling languages.","address":"Berlin, Germany","author":["Bonf̀e, M.","Fantuzzi, C."],"author_short":["Bonf̀e, M.","Fantuzzi, C."],"bibtex":"@inproceedings{ Bonfe-Fantuzzi:INDIN:2004,\n author = {Bonf̀e, M. and Fantuzzi, C.},\n title = {Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine},\n booktitle = {Proc. of 2nd IEEE Int. Conference on Industrial Informatics (INDIN '04)},\n pages = {569--574},\n year = {2004},\n address = {Berlin, Germany},\n month = {June~24--26},\n id = {200406},\n href = {\\hyperbibref{2004-06-INDIN-Berlin.pdf}},\n abstract = {The paper presents the results of an application\nof object-oriented modeling techniques to design manufacturing\nsystems logic controllers. In particular, the semantical\naspects of specification languages like UML and Statecharts,\nwidely used in many Software Engineering methods, are\nanalysed and discussed, with regard to their adequacy for\nthe industrial domain and their verification with formal\nmethods. The paper ends with the description of a practical\ncase of study, which shows that the proposed design and\nverification techniques can be successfully adopted in a real\nindustrial framework, given domain-specific adaptation of\nobject-oriented modeling languages.}\n}","bibtype":"inproceedings","booktitle":"Proc. of 2nd IEEE Int. Conference on Industrial Informatics (INDIN '04)","href":"\\hyperbibref2004-06-INDIN-Berlin.pdf","id":"Bonfe-Fantuzzi:INDIN:2004","key":"Bonfe-Fantuzzi:INDIN:2004","month":"June~24--26","pages":"569--574","title":"Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine","type":"inproceedings","year":"2004","bibbaseid":"bonfe-fantuzzi-applicationofobjectorientedmodelingtoolstodesignthelogiccontrolsystemofapackagingmachine-2004","role":"author","urls":{},"downloads":0,"html":""},"search_terms":["application","object","oriented","modeling","tools","design","logic","control","system","packaging","machine","bonf̀e","fantuzzi"],"keywords":[],"authorIDs":[],"dataSources":["gqSXgqMK6swEKhmuh"]}