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 条

[41] Solving scheduling problems from high-level models
Monette, Jean-Noel
4OR-A QUARTERLY JOURNAL OF OPERATIONS RESEARCH, 2011, 9 (03): : 317 - 320
[42] ON THE ANALYSIS OF STOCHASTIC HIGH-LEVEL PETRI NET MODELS
LIN, C
MARINESCU, DC
MICROELECTRONICS AND RELIABILITY, 1991, 31 (04): : 747 - 767
[43] High-level synthesis through transforming VHDL models
Prihozhy, A
SYSTEM-ON-CHIP METHODOLOGIES & DESIGN LANGUAGES, 2001, : 135 - 146
[44] Biologically based computational models of high-level cognition
O'Reilly, Randall C.
SCIENCE, 2006, 314 (5796) : 91 - 94
[45] MODELS FOR CALCULATING DISSOLUTION RATES OF HIGH-LEVEL WASTE
ROSS, B
NUCLEAR SAFETY, 1987, 28 (03): : 362 - 373
[46] Solving scheduling problems from high-level models
Jean-Noël Monette
4OR, 2011, 9 : 317 - 320
[47] From High-Level Deep Neural Models to FPGAs
Sharma, Hardik
Park, Jongse
Mahajan, Divya
Amaro, Emmanuel
Kim, Joon Kyung
Shao, Chenkai
Mishra, Asit
Esmaeilzadeh, Hadi
2016 49TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO), 2016,
[48] Generating event logs for high-level process models
Mitsyuk, Alexey A.
Shugurov, Ivan S.
Kalenkova, Anna A.
van der Aalst, Wil M. P.
SIMULATION MODELLING PRACTICE AND THEORY, 2017, 74 : 1 - 16
[49] Constructing efficient formal models from high-level descriptions using symbolic simulation
Koelbl, A
Pixley, C
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2005, 33 (06) : 645 - 666
[50] Formalizing High-Level Service-Oriented Architectural Models Using a Dynamic ADL
Lopez-Sanz, Marcos
Cuesta, Carlos E.
Marcos, Esperanza
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010 WORKSHOPS, 2010, 6428 : 57 - 66

← 1 2 3 4 5 →