Paper Info
Title
Inter-model Consistency Checking Using Triple Graph Grammars and Linear Optimization Techniques.
Abstract
An important task in Model-Driven Engineering MDE is to check consistency between two concurrently developed yet related models. Practical approaches to consistency checking, however, are scarce in MDE. Triple Graph Grammars TGGs are a rule-based technique to describe the consistency of two models together with correspondences. While TGGs seem promising for consistency checking with their precise consistency notion and explicit traceability information, the substantial search space involved in determining the \"optimal\" set of rule applications in a consistency check has arguably prevented mature tool support so far. In this paper, we close this gap by combining TGGs with linear optimization techniques. We formulate decisions between single rule applications of a consistency check as integer inequalities, which serve as input for an optimization problem used to detect maximum consistent portions of two models. To demonstrate our approach, we provide an experimental evaluation of the tool support made feasible by this formalization.
Year
DOI
Venue
2017
10.1007/978-3-662-54494-5_11
FASE
Keywords
Field
DocType
Consistency check,Traceability,Linear optimization
Causal consistency,Local consistency,Sequential consistency,Programming language,Computer science,Theoretical computer science,Weak consistency,Consistency model,Strong consistency,Optimization problem,Release consistency
Conference
Volume
ISSN
Citations 
10202
0302-9743
4
PageRank 
References 
Authors
0.40
22
3
Name
Order
Citations
PageRank
Erhan Leblebici1478.24
Anthony Anjorin219228.25
Andy Schürr32195230.25