Using UML and OCL Models to Realize High-Level Digital Twins

被引：17

作者：

Munoz, Paula ^{[1
]}

Troya, Javier ^{[1
]}

Vallecillo, Antonio ^{[1
]}

机构：

[1] Univ Malaga, ITIS Software, Malaga, Spain

来源：

24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021) | 2021年

关键词：

Model-based Software Engineering; Model-based Testing; Digital Twins; UML; OCL; USE;

D O I：

10.1109/MODELS-C53483.2021.00037

中图分类号：

TP39 [计算机的应用];

学科分类号：

081203 ; 0835 ;

摘要：

Digital twins constitute virtual representations of physically existing systems. However, their inherent complexity makes them difficult to develop and prove correct. In this paper we explore the use of UML and OCL, complemented with an executable language, SOIL, to build and test digital twins at a high level of abstraction. We also show how to realize the bidirectional connection between the UML models of the digital twin in the USE tool with the physical twin, using an architectural framework centered on a data lake. We have built a prototype of the framework to demonstrate our ideas, and validated it by developing a digital twin of a Lego Mindstorms car. The results allow us to show some interesting advantages of using high-level UML models to specify virtual twins, such as simulation, property checking and some other types of tests.

引用

页码：214 / 222

页数：9

共 12 条

[1] Verifying UML/OCL Models Using Boolean Satisfiability
Soeken, Mathias
Wille, Robert
Kuhlmann, Mirco
Gogolla, Martin
Drechsler, Rolf
2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1341 - 1344
[2] Digital Twins for Manufacturing Using UML and Behavioral Specifications
Azangoo, Mohammad
Taherkordi, Amir
Blech, Jan Olaf
2020 25TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2020, : 1035 - 1038
[3] Using Deterministic Models and Neural Networks in Digital Twins of Metal Cutting Processes
V. P. Lapshin
I. A. Turkin
V. E. Gvindzhilia
I. O. Dudinov
D. O. Gamaleev
Russian Engineering Research, 2024, 44 (11) : 1588 - 1592
[4] Evaluating high-level models for real-time embedded systems design
Brisolara, L
Becker, LB
Carro, L
Wagner, FR
Pereira, CE
DESIGN METHODS AND APPLICATIONS FOR DISTRIBUTED EMBEDDED SYSTEMS, 2004, 150 : 277 - 286
[5] Reverse Engineering Object-Oriented Applications Into High-Level Domain Models With Reoom
Tuan Anh Nguyen
Csallner, Christoph
PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 311 - 313
[6] A Blueprint Of Digital Twins In High Volume Production Environments Using The Asset Administration Shell
Gaertner, Sascha
Brandstetter, Alexander
Oberle, Michael
2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
[7] Using multi-event hydrologic and hydraulic signatures from water level sensors to diagnose locations of uncertainty in integrated urban drainage models used in living digital twins
Pedersen, A. N.
Pedersen, J. W.
Borup, M.
Brink-Kjaer, A.
Christiansen, L. E.
Mikkelsen, P. S.
WATER SCIENCE AND TECHNOLOGY, 2022, 85 (06) : 1981 - 1998
[8] On Using Large Language Models Pre-trained on Digital Twins as Oracles to Foster the Use of Formal Methods in Practice
Autexier, Serge
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: SOFTWARE ENGINEERING METHODOLOGIES, PT IV, ISOLA 2024, 2025, 15222 : 30 - 43
[9] Multiscale Analysis of High Resolution Digital Elevation Models Using the Wavelet Transform
Zemtsov A.N.
Scientific Visualization, 2024, 16 (02): : 1 - 10
[10] An approach to specifying concurrent, distributed, and autonomous object behaviors using a high-level meta-object protocol
Lee, JS
Bae, DH
IEICE TRANSACTIONS ON COMMUNICATIONS, 2000, E83B (05) : 999 - 1012

← 1 2 →