Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Brosch, Petra; Egly, Uwe; Gabmeyer, Sebastian; Kappel, Gerti; Seidl, Martina; Tompits, Hans; Widl, Magdalena; Wimmer, Manuel

doi:10.1007/978-3-642-29645-1_24

Cited by 8 publications

(8 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Based on these experiences, we developed the consistency checking encoding presented in this paper. This considerably improves our previous work on consistency checking using the model checker Spin [4,5]. Spin offers the high level input language Promela which seems to be very appealing for formulating the consistency checking problem.…”

Section: Introductionmentioning

confidence: 84%

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

Kaufmann

Kronegger

Pfandler

et al. 2014

Software Language Engineering

Self Cite

View full text Add to dashboard Cite

Abstract. An effective way to model message exchange in complex settings is to use UML sequence diagrams in combination with state machine diagrams. A natural question that arises in this context is whether these two views are consistent, i.e., whether a desired or forbidden scenario modeled in the sequence diagram can be or cannot be executed by the state machines. In case of an inconsistency, a concrete communication trace of the state machines can give valuable information for debugging purposes on the model level. This trace either hints to a message in the sequence diagram where the communication between the state machines fails, or describes a concrete forbidden communication trace between the state machines. To detect and explain such inconsistencies, we propose a novel SAT-based formalization which can be solved automatically by an off-the-shelf SAT solver. To this end, we present the formal and technical foundations needed for the SAT-encoding, and an implementation inside the Eclipse Modeling Framework (EMF). We evaluate the effectiveness of our approach using grammar-based fuzzing.

show abstract

Section: Introductionmentioning

confidence: 84%

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

Kaufmann

Kronegger

Pfandler

et al. 2014

Software Language Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…[1,2,25,30] use generic operations for changes. The extension [11] of [30] adaptively learns resolution patterns from user that can be applied on the models which results in composite operations. [23] applies the input operations which are composite refactorings in their case.…”

Section: Related Workmentioning

confidence: 99%

“…[14] provides support for incrementally detecting violations of inconsistency constraints. [13] is connected to an additional model checker component [11] which allows to check OCL constraints as goals. [30] allows to dene well-formedness constraints in OCL that act as goals.…”

Section: Related Workmentioning

confidence: 99%

Automated Model Merge by Design Space Exploration

Debreceni

Ráth

Varró

et al. 2016

Fundamental Approaches to Software Engineering

View full text Add to dashboard Cite

Abstract. Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model dierencing and merging have turned out to be a dicult challenge, due to (i) the graphlike nature of models, and (ii) the complexity of certain operations (e.g. hierarchy refactoring) that are common today. In the paper, we present a novel search-based automated model merge approach where rule-based design space exploration is used to search the space of solution candidates that represent conict-free merged models. Our method also allows engineers to easily incorporate domain-specic knowledge into the merge process to provide better solutions. The merge process automatically calculates multiple merge candidates to be presented to domain experts for nal selection. Furthermore, we propose to adopt a generic synthetic benchmark to carry out an initial scalability assessment for model merge with large models and large change sets.

show abstract

“…Some recent work start dealing with inconsistencies in model merging but they only focus on detecting inconsistencies (e.g. [3,4]). Recently, the approach proposed in [15] tackles inconsistency resolution in model merging but it can only suggest highly abstract repairs (based on graph modification) to the user (as opposed to concrete repairs in our approach).…”

Section: B Correctnessmentioning

confidence: 99%

“…However, state-of-the-art model merging techniques have only focused on detecting inconsistencies in merging versions of models (e.g. [3,4]) and there has been very little work in resolving such inconsistencies having arisen during model merging.…”

Section: Introductionmentioning

confidence: 99%

Inconsistency Resolution in Merging Versions of Architectural Models

Dam

Reder

Egyed

2014

2014 IEEE/IFIP Conference on Software Architecture

View full text Add to dashboard Cite

Abstract-State-of-the-art optimistic model versioning systems, which are critical to enable efficient team-based development of architectural models, are able to detect and help resolve basic conflicts arising during the merging of model versions. However, it is often overlooked that model merging may also cause severe syntactical and semantic inconsistencies. In this paper, we propose an approach to guide the resolution of inconsistencies detected in a merged architectural model. Our approach automatically finds and presents to the software architects all solutions for resolving all inconsistencies arisen during the merging of model versions. For inconsistencies that preexist in the model, our approach is able to suggest exactly which model elements should be changed to resolve them. Our approach is built upon a repair generation which can quickly derive resolutions for an inconsistency by examining its static and dynamic structure and forming concrete repair actions from changes in the versions to be merged. An empirical validation on a range of industrial models has demonstrated that our approach is scalable to both large models and large differences between model versions.

show abstract

Towards Semantics-Aware Merge Support in Optimistic Model Versioning

Cited by 8 publications

References 10 publications

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

A SAT-Based Debugging Tool for State Machines and Sequence Diagrams

Automated Model Merge by Design Space Exploration

Inconsistency Resolution in Merging Versions of Architectural Models

Contact Info

Product

Resources

About