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

被引：13

作者：

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

共 50 条

[21] Using high-level models for modeling industrial machines in a virtual environment
Sghaier, Adel
Soriano, Thierry
INTERNATIONAL JOURNAL OF INTERACTIVE DESIGN AND MANUFACTURING - IJIDEM, 2008, 2 (02): : 99 - 106
[22] Finding High-level Topics and Tweet Labeling Using Topic Models
Samarawickrama, Sameendra
Karunasekera, Shanika
Harwood, Aaron
2015 IEEE 21ST INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2015, : 242 - 249
[23] Supporting Digital Twin Integration Using Semantic Modeling and High-Level Architecture
Li, Han
Lu, Jinzhi
Zheng, Xiaochen
Wang, Guoxin
Kiritsis, Dimitris
ADVANCES IN PRODUCTION MANAGEMENT SYSTEMS: ARTIFICIAL INTELLIGENCE FOR SUSTAINABLE AND RESILIENT PRODUCTION SYSTEMS, APMS 2021, PT IV, 2021, 633 : 228 - 236
[24] An Evaluation of High-Level Mechanistic Core Models
Carlson, Trevor E.
Heirman, Wim
Eyerman, Stijn
Hur, Ibrahim
Eeckhout, Lieven
ACM TRANSACTIONS ON ARCHITECTURE AND CODE OPTIMIZATION, 2014, 11 (03) : 127 - 151
[25] CONNECTIONIST MODELS AND PARALLELISM IN HIGH-LEVEL VISION
FELDMAN, JA
COMPUTER VISION GRAPHICS AND IMAGE PROCESSING, 1985, 31 (02): : 178 - 200
[26] High-level dependence in time series models
Vicky Fasen
Claudia Klüppelberg
Martin Schlather
Extremes, 2010, 13 : 1 - 33
[27] High-level dependence in time series models
Fasen, Vicky
Klueppelberg, Claudia
Schlather, Martin
EXTREMES, 2010, 13 (01) : 1 - 33
[28] Approach to evaluate the high-level fault models
Yang, Xiutao
Lu, Wei
Li, Xiaowei
Jisuanji Gongcheng/Computer Engineering, 2006, 32 (04): : 228 - 229
[29] High-level Rapid Prototyping of Graphical Models
de Villiers, Hendrik
van Zijl, Lynette
Niesler, Thomas
Proceedings of the 2015 Pattern Recognition Association of South Africa and Robotics and Mechatronics International Conference (PRASA-RobMech), 2015, : 130 - 135
[30] HIGH-LEVEL LANGUAGE MODELS ATE LSI
MCLEOD, J
ELECTRONIC DESIGN, 1980, 28 (22) : 32 - 33

← 1 2 3 4 5 →