Incremental Causal Connection for Self-Adaptive Systems Based on Relational Reference Attribute Grammars

被引:2
作者
Schoene, Rene [1 ]
Mey, Johannes [1 ]
Ebert, Sebastian [1 ]
Goetz, Sebastian [1 ]
Assmann, Uwe [1 ]
机构
[1] Tech Univ Dresden, Dresden, Germany
来源
PROCEEDINGS OF THE 25TH INTERNATIONAL ACM/IEEE CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 | 2022年
关键词
Reference Attribute Grammar; Cyber-physical System; Causal Connection; Models@run.time; Model-Driven Software Engineering; DIGITAL TWIN; MODEL;
D O I
10.1145/3550355.3552460
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Even though model-driven engineering reduces complexity during the development of self-adaptive systems and models@run.time enables using them during runtime, connecting models to different external systems still involves manual work. Those connections are essential to the complete system, as they enable external systems to react to changes in the internal model and vice versa. In our case, the model is based on Relational Reference Attribute Grammars, an extension of Attribute Grammars to enable conceptual models at runtime while retaining their benefits of modular specification and an incremental evaluation scheme. We present an approach to enable concise specification of the causal connection and needed transformations to match required formats or semantics. To show its applicability, a case study showing the coordination of multiple industrial robot arms using models is presented. We show that using our approach, connections can be specified more concisely while maintaining the same efficiency as hand-written code. The artefact comprising all source code and an executable version of the case studies is available at https://doi.org/10.5281/zenodo.7009758.
引用
收藏
页码:1 / 12
页数:12
相关论文
共 48 条
[1]  
Aldrich J, 2002, ICSE 2002: PROCEEDINGS OF THE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P187, DOI 10.1109/ICSE.2002.1007967
[2]  
[Anonymous], 2017, Self-Aware Computing Systems, DOI [10.1007/978-3-319-47474-8_1, DOI 10.1007/978-3-319-47474-81]
[3]   A Domain-Specific Language for Filtering in Application-Level Gateways [J].
Balldin, Hampus ;
Reichenbach, Christoph .
GPCE '2020: PROCEEDINGS OF THE 19TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2020, :111-123
[4]   A Survey on Digital Twin: Definitions, Characteristics, Applications, and Design Implications [J].
Barricelli, Barbara Rita ;
Casiraghi, Elena ;
Fogli, Daniela .
IEEE ACCESS, 2019, 7 :167653-167671
[5]  
Bencomo N., 2014, Models @Run. Time: Foundations, Applications, and Roadmaps, V8378
[6]   Models@run.time: a guided tour of the state of the art and research challenges [J].
Bencomo, Nelly ;
Goetz, Sebastian ;
Song, Hui .
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (05) :3049-3082
[7]   MODELS@ RUN.TIME [J].
Blair, Gordon ;
Bencomo, Nelly ;
France, Robert B. .
COMPUTER, 2009, 42 (10) :22-27
[8]  
Blumenthal S, 2013, IEEE INT CONF ROBOT, P453, DOI 10.1109/ICRA.2013.6630614
[9]  
Burger Christoff, 2015, SLE, P89, DOI [10.1145/2814251.2814257, DOI 10.1145/2814251.2814257]
[10]   MAPE-K Formal Templates to Rigorously Design Behaviors for Self-Adaptive Systems [J].
de la Iglesia, Didac Gil ;
Weyns, Danny .
ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2015, 10 (03)