Page 37 - Sirius_Annual_Report_2021

• Develop methods for coupling simulators by means of semantics and constraint representations.
• Develop methods for exploring semantics to express «what-if» scenarios in multi-model simulation and analysis.
• Collaborate with and disseminate results through the PeTWIN demonstration cases.
Highlights of 2021
A prototype domain specific language SMOL has been developed, which supports high-level ways to program the orchestration of simulation units which implement the FMI standard. SMOL seamlessly integrates semantic technology with programming constructs for interacting with simulators. SMOL has a formally defined semantics and a prototype runtime implemented in Kotlin, a dialect of Java. SMOL addresses the composition problem for
simulators with different domain models through lifting semantic technologies to enable correct configuration and orchestration of connections inside the digital twin. By embracing semantic technologies, formal methods can contribute to the development of provably correct digital twins.
Team members
Einar Broch Johnsen David Cameron Martin Giese Eduard Kamburjan
Vidar Norstein Klungre Rudolf Schlatte
Silvia Lizeth Tapia Tarifa
Einar Broch Johnsen
Eduard Kamburjan
Selected Publications for Further Reading
• Eduard Kamburjan, Vidar Norstein Klungre, Rudolf Schlatte, Einar Broch Johnsen, Martin Giese: Program- ming and Debugging with Semantically Lifted States. In: ESWC 2021. Springer 2021.
• Eduard Kamburjan, Egor V. Kostylev: Type Checking Semantically Lifted Programs via Query Containment under Entailment Regimes. Description Logics 2021. CEUR Workshop Proceedings 2021.
Selected SIRIUS Programs and Projects
PeTwin
SIRIUS ANNUAL REPORT 2021
| 37