Rule-Based Repair of EMF Models: An Automated Interactive Approach

被引：22

作者：

Nassar, Nebras ^{[1
]}

Radke, Hendrik ^{[2
]}

Arendt, Thorsten ^{[3
]}

机构：

[1] Philipps Univ Marburg, Marburg, Germany

[2] Carl von Ossietzky Univ Oldenburg, Oldenburg, Germany

[3] GFFT Innovat Forderung GmbH, Bad Vilbel, Germany

来源：

THEORY AND PRACTICE OF MODEL TRANSFORMATION | 2017年 / 10374卷

关键词：

Model driven engineering; Eclipse Modeling Framework (EMF); Model transformation; Model repair;

D O I：

10.1007/978-3-319-61473-1_12

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Managing and resolving inconsistencies in models is crucial in model-driven engineering (MDE). In this paper we consider models that are based on the Eclipse Modeling Framework (EMF). We propose a rule-based approach to support the modeler in automatically trimming and completing EMF models and thereby resolving their cardinality violations. Although being under repair, the model may be viewed and changed interactively during this repair process. The approach and the developed tool support are based on EMF and the model transformation language Henshin.

引用

页码：171 / 181

页数：11

共 50 条

[1] Generating Large EMF Models Efficiently A Rule-Based, Configurable Approach
Nassar, Nebras
Kosiol, Jens
Kehrer, Timo
Taentzer, Gabriele
[J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 224 - 244
[2] Automated visualization of rule-based models
Sekar, John Arul Prakash
Tapia, Jose-Juan
Faeder, James R.
[J]. PLOS COMPUTATIONAL BIOLOGY, 2017, 13 (11)
[3] Automated Verification of Interactive Rule-Based Configuration Systems
Dhungana, Deepak
Tang, Ching Hoo
Weidenbach, Christoph
Wischnewski, Patrick
[J]. 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), 2013, : 551 - 561
[4] Formalization and Rule-Based Transformation of EMF Ecore-Based Models
Schaetz, Bernhard
[J]. SOFTWARE LANGUAGE ENGINEERING, 2009, 5452 : 227 - 244
[5] ALC: automated reduction of rule-based models
Koschorreck, Markus
Gilles, Ernst Dieter
[J]. BMC SYSTEMS BIOLOGY, 2008, 2
[6] Fuzzy rule-based models with interactive rules and their granular generalization
Hu, Xingchen
Pedrycz, Witold
Castillo, Oscar
Melin, Patricia
[J]. FUZZY SETS AND SYSTEMS, 2017, 307 : 1 - 28
[7] Rule-based Graph Repair
Sandmann, Christian
Habel, Annegret
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2019, (309): : 87 - 104
[8] A rule-based approach for availability of service by automated service substitution
Liang, Qianhui
Lee, Bu-Sung
Hung, Patrick C. K.
[J]. SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (01): : 47 - 76
[9] A rule-based approach for automated generation of kinetic chemical mechanisms
Bournez, O
Côme, GM
Conraud, V
Kirchner, H
Ibaunescu, L
[J]. REWRITING TECNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 30 - 45
[10] A Hierarchical Approach to Interpretability of TS Rule-Based Models
Pedrycz, Witold
Gacek, Adam
Wang, Xianmin
[J]. IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2022, 30 (08) : 2861 - 2869

← 1 2 3 4 5 →