On Modelling the State-Space of Manufacturing Systems Using UML

Abstract Motivated by the idea of implementing all degrees of freedom into the field-level automation software of a manufacturing system, this paper presents an approach to develop the space of action of manufacturing systems by means of modelling their state-space. The meta-model of the Unified Modelling Language (UML) is extended for an object-oriented description of machine components. This description contains the operations a machine component is able to execute as well as the preconditions and effects of the operation in relation to the sensors of a component. From the class descriptions of machine components, models of manufacturing plants can be composed. Since the preconditions and effects of a component's operation reference the machine states of the manufacturing system, from these models the state-space of a manufacturing system can be derived.

[1]  Dominique Guinard,et al.  SOCRADES: A Web Service Based Shop Floor Integration Infrastructure , 2008, IOT.

[2]  Daniel Schilberg,et al.  Cognitive assembly planning using state graphs , 2010 .

[3]  Friedrich M. Wahl,et al.  Automatic decomposition of planned assembly sequences into skill primitives , 2001, IEEE Trans. Robotics Autom..

[4]  José L. Martínez Lastra,et al.  Orchestration of service-oriented manufacturing processes , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[5]  Birgit Vogel-Heuser,et al.  Usability evaluation of modeling notations for software engineering in machine and plant automation , 2010, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010).

[6]  L. Ferrarini,et al.  Control Architecture for Reconfigurable Manufacturing Systems: the PABADIS'PROMISE approach , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[7]  Marga Marcos,et al.  Automatic generation of PLC automation projects from component-based models , 2007 .

[8]  Marcello Bonfe,et al.  A Design Pattern for translating UML software models into IEC 61131-3 Programming Languages , 2011 .

[9]  Murray Shanahan,et al.  The Event Calculus in Classical Logic - Alternative Axiomatisations , 1999, Electron. Trans. Artif. Intell..

[10]  Birgit Vogel-Heuser,et al.  Automatic Generation of Field Control Strategies for Supporting (Re-)Engineering of Manufacturing Systems , 2012 .

[11]  Sébastien Henry,et al.  Real time reconfiguration of manufacturing systems , 2004, IEEE International Conference on Systems, Man and Cybernetics.

[12]  Birgit Vogel-Heuser,et al.  PLC-Statecharts: An Approach to Integrate UML-Statecharts in Open-Loop Control Engineering – Aspects on Behavioral Semantics and Model-Checking , 2011 .

[13]  Raymond Reiter,et al.  Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems , 2001 .

[14]  Kleanthis Thramboulidis,et al.  The 3+1 SysML View-Model in Model Integrated Mechatronics , 2010, J. Softw. Eng. Appl..

[15]  Arndt Lüder,et al.  Incremental design of distributed control systems using GAIA-UML , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[16]  E. Westkämper.  Adaptable Production Structures , 2003 .

[17]  André Rossi,et al.  Generation of control for conveying systems based on component approach , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[18]  Nicholas R. Jennings,et al.  The Gaia Methodology for Agent-Oriented Analysis and Design , 2000, Autonomous Agents and Multi-Agent Systems.