Towards a digital twin for cyber-physical production systems: a multi-paradigm modeling approach in the postal industry

This paper presents our early-stage research on a Multi-Paradigm Modeling (MPM) approach as an initial step towards the definition of a Digital Twin (DT) for Cyber-Physical Production Systems (CPPSs). This work takes place in the context of the digitalization of the mail sorting process at La Poste, the French national postal service company. Indeed, La Poste is currently investing on robotics modules for automatically loading mail containers. The main objective is to reduce the painful work for human operators while optimizing the robots usage. We already worked on targeting such a balance in a past effort that resulted in the production of different kinds of models of the La Poste CPPS. However, these models were defined separately and are not directly related to the underlying business process in particular. Thus, we propose an MPM approach starting from this business process as now modeled explicitly in a BPMN model. Then, we refine the high-level business activities into finer-grained activities represented in a UML Activity model. From these latest, we derive the specification of a Multi-Agent System (MAS) developed with the JADE framework and emulating the behavior of the La Poste CPPS. Our longer term objective is to pave the way for supporting the definition of a DT for this CPPS, and potentially for other CPPSs in different contexts in the future.

[1]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[2]  Sahin Albayrak,et al.  Towards a Mapping from BPMN to Agents , 2007, SOCASE.

[3]  Yael Edan,et al.  Behavior-based control of multi-robot assembly/palletizing systems , 2002, Proceedings of the 5th Biannual World Automation Congress.

[4]  Martin Gogolla,et al.  Model-Driven Engineering for Design-Runtime Interaction in Complex Systems: Scientific Challenges and Roadmap - Report on the MDE@DeRun 2018 Workshop , 2018, STAF Workshops.

[5]  Jordi Cabot,et al.  The MegaM@Rt2 ECSEL Project: MegaModelling at Runtime — Scalable Model-Based Framework for Continuous Development and Runtime Validation of Complex Systems , 2017, 2017 Euromicro Conference on Digital System Design (DSD).

[6]  Dalila Tamzalit,et al.  Recommendation patterns for business process imperative modeling , 2017, SAC.

[7]  Dalila Tamzalit,et al.  Heuristics for Robots-Humans Tasks Assignment in a Containers Loading Center , 2019, IFAC-PapersOnLine.

[8]  Márk Asztalos,et al.  Towards Formal Analysis of Multi-paradigm Model Transformations , 2010, Simul..

[9]  Giuseppe De Giacomo,et al.  Linking Data and BPMN Processes to Achieve Executable Models , 2017, CAiSE.

[10]  Chao Liu,et al.  Web-based digital twin modeling and remote control of cyber-physical production systems , 2020, Robotics Comput. Integr. Manuf..

[11]  Olivier Barais,et al.  Modeling languages in Industry 4.0: an extended systematic mapping study , 2019, Software and Systems Modeling.

[12]  Federico Ciccozzi,et al.  Blended Modelling - What, Why and How , 2019, 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).

[13]  Alasdair Gilchrist Industry 4.0 , 2016, Apress.

[14]  Rolf Steinhilper,et al.  The Digital Twin: Realizing the Cyber-Physical Production System for Industry 4.0☆ , 2017 .

[15]  Gerti Kappel,et al.  xMOF: Executable DSMLs Based on fUML , 2013, SLE.

[16]  Cristina Venera Geambasu,et al.  BPMN VS. UML ACTIVITY DIAGRAM FOR BUSINESS PROCESS MODELING , 2012 .

[17]  Mario Kusek,et al.  Microservices as Agents in IoT Systems , 2017, KES-AMSTA.

[18]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[19]  Manuela Dalibor,et al.  Model-Driven Development of a Digital Twin for Injection Molding , 2020, CAiSE.

[20]  Michael Wooldridge,et al.  Introduction to Multi-Agent Systems , 2016 .

[21]  María Agustina Cibrán Translating BPMN Models into UML Activities , 2008, Business Process Management Workshops.

[22]  Daniela Fogli,et al.  A Survey on Digital Twin: Definitions, Characteristics, Applications, and Design Implications , 2019, IEEE Access.

[23]  Elvinia Riccobene,et al.  An ASM Semantics for UML Activity Diagrams , 2000, AMAST.

[24]  Gwendal Daniel,et al.  Scalable model views over heterogeneous modeling technologies and resources , 2020, Software and Systems Modeling.

[25]  William B. Nordgren Flexible simulation (Flexsim) software: Flexsim simulation environment , 2003, WSC '03.

[26]  Y. Shoham Introduction to Multi-Agent Systems , 2002 .

[27]  Pieter J. Mosterman,et al.  Guest editorial: Special issue on computer automated multi-paradigm modeling , 2002, TOMC.