SCIENCE@home

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

Paula Muñoz,J. Troya,Antonio Vallecillo

Published 2021 in 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

ABSTRACT

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.

PUBLICATION RECORD

  • Publication year

    2021

  • Venue

    2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

  • Publication date

    2021-10-01

  • Fields of study

    Computer Science, Engineering

  • Identifiers
    DOI 10.1109/models-c53483.2021.00037
  • External record

    Open on Semantic Scholar

  • Source metadata

    Semantic Scholar

CITATION MAP

EXTRACTION MAP

CLAIMS

  • No claims are published for this paper.

CONCEPTS

  • No concepts are published for this paper.

REFERENCES

Showing 1-27 of 27 references · Page 1 of 1

CITED BY

Showing 1-26 of 26 citing papers · Page 1 of 1