Tagging Model Properties for Flexible Communication

Model-based systems engineering and digital manufacturing aim to facilitate monitoring, integration, and optimization of cyber-physical production systems (CPPS) through so-called “digital shadows”. In contrast to “digital twins”, digital shadows are purposefully abstracted models of information emitted by the underlying CPPS, hence they do not manipulate the system themselves. We present a method to derive digital shadows from design-time models that can be extended with sophisticated analyses and operate physically distributed without changing the original models. To this end, tag models assign communication information to properties of design-time models from which we generate an Message Queuing Telemetry Transport (MQTT) based communication infrastructure that makes these accessible to other models. This enables the flexible integration and exchange of model information at runtime without polluting these with extra communication information. We present a tagging language for model communication description, a systematic method to apply this to design-time models, generation of a communication infrastructure, and their implementations with the MontiCore language workbench. This, ultimately, facilitates engineering physically distributed digital shadows and, hence, facilitates developing the interconnected CPPS of the future.

[1]  Jordi Cabot,et al.  EMF Profiles: A Lightweight Extension Approach for EMF Models , 2012, J. Object Technol..

[2]  Denis Wohlfeld,et al.  Digital Shadow – From production to product , 2017 .

[3]  Olivier Barais,et al.  A Systematic Mapping Study on Modeling for Industry 4.0 , 2017, 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[4]  Steffen Zschaler,et al.  A Role-Based Approach towards Modular Language Engineering , 2009, SLE.

[5]  Brice Morin,et al.  ThingML: a language and code generation framework for heterogeneous targets , 2016, MoDELS.

[6]  Philippe Merle,et al.  Applying OMG D&C specification and ECA rules for autonomous distributed component-based systems , 2006, MoDELS'06.

[7]  Sandro Wartzack,et al.  Shaping the digital twin for design and production engineering , 2017 .

[8]  Kurt Geihs,et al.  FRASAD: A framework for model-driven IoT Application Development , 2015, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT).

[9]  Olivier Barais,et al.  Concern-oriented language development (COLD): Fostering reuse in language engineering , 2018, Comput. Lang. Syst. Struct..

[10]  Federico Ciccozzi,et al.  MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering , 2016, IDC.

[11]  Jaume Barceló,et al.  Model-Based Systems Engineering: An Emerging Approach for Modern Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[12]  Jürgen Dingel,et al.  Enabling Model-Driven Software Development Tools for the Internet of Things , 2019, 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE).

[13]  Jeff A. Estefan,et al.  of Model-Based Systems Engineering ( MBSE ) Methodologies , 2008 .

[14]  Bernhard Rumpe,et al.  Composition of Heterogeneous Modeling Languages , 2015, MODELSWARD.

[15]  Bran Selic,et al.  A Systematic Approach to Domain-Specific Language Design Using UML , 2007, 10th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC'07).

[16]  Gerhard P. Hancke,et al.  Industrial Wireless Sensor Networks: Challenges, Design Principles, and Technical Approaches , 2009, IEEE Transactions on Industrial Electronics.

[17]  Benoît Combemale,et al.  A Behavioral Coordination Operator Language (BCOoL) , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[18]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

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

[20]  Bernhard Rumpe,et al.  Engineering tagging languages for DSLs , 2015, 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS).

[21]  Bernhard Rumpe,et al.  Integration of heterogeneous modeling languages via extensible and composable language components , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[22]  Bernhard Rumpe,et al.  Systematic Language Extension Mechanisms for the MontiArc Architecture Description Language , 2017, ECMFA.

[23]  Benoît Combemale,et al.  Execution framework of the GEMOC studio (tool demo) , 2016, SLE.

[24]  Wilhelm Hasselbring,et al.  Model-driven Development of Self-managing Software Systems , 2006 .

[25]  Shuai Li,et al.  Model-driven Development of Adaptive IoT Systems , 2017, MoDELS.