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 条
[21]   JastAdd - an aspect-oriented compiler construction system [J].
Hedin, G ;
Magnusson, E .
SCIENCE OF COMPUTER PROGRAMMING, 2003, 47 (01) :37-58
[22]  
Horn P.J., 2001, Tech. Rep.
[23]   Characterising the Digital Twin: A systematic literature review [J].
Jones, David ;
Snider, Chris ;
Nassehi, Aydin ;
Yon, Jason ;
Hicks, Ben .
CIRP JOURNAL OF MANUFACTURING SCIENCE AND TECHNOLOGY, 2020, 29 :36-52
[24]   Parallel and distributed incremental attribute evaluation algorithms for multiuser software development environments [J].
Kaiser, Gail E. ;
Kaplan, Simon M. .
ACM Transactions on Software Engineering and Methodology, 1993, 2 (01) :47-92
[25]  
Kaiser Gail E., 1987, MERCURY: Distributed Incremental Attribute Grammar Evaluation, DOI [10.7916/D83B675T, DOI 10.7916/D83B675T]
[26]   Model-driven Digital Twin Construction: Synthesizing the Integration of Cyber-Physical Systems with Their Information Systems [J].
Kirchhof, Jorg Christian ;
Michael, Judith ;
Rumpe, Bernhard ;
Varga, Simon ;
Wortmann, Andreas .
23RD ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2020, 2020, :90-101
[27]  
Knuth D. E., 1968, Mathematical Systems Theory, V2, P127, DOI 10.1007/BF01692511
[28]   Reactors: A Deterministic Model for Composable Reactive Systems [J].
Lohstroh, Marten ;
Romeo, Inigo Incer ;
Goens, Andres ;
Derler, Patricia ;
Castrillon, Jeronimo ;
Lee, Edward A. ;
Sangiovanni-Vincentelli, Alberto .
CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019, 2020, 11971 :59-85
[29]  
Lohstroh Marten, 2020, Reactors: A deterministic model of concurrent computation for reactive systems
[30]  
Maes P., 1987, SIGPLAN Notices, V22, P147, DOI 10.1145/38807.38821