loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Ferenc A. Somogyi and Mark Asztalos

Affiliation: Budapest University of Technology and Economics, Hungary

Keyword(s): Version Control, Model Differencing and Merging, Text-Based Modeling, Algorithm, Verification.

Abstract: Version control is an integral part of teamwork in software development. Differencing and merging key artifacts (i.e. source code) is a key feature in version control systems. The concept of version control can also be applied to model-driven methodologies. The models are usually differenced and merged in their graph-based form. However, if supported, we can also use the textual representation of the models during this process. Text-based model differencing and merging methods have some useful use cases, like supporting the persistence of the model, or having a fallback plan should the differencing algorithm fail. Using the textual notation to display and edit models is relatively rare, as the visual (graph-based) representation of the model is more common. However, many believe that using them both would be the ideal solution. In this paper, we present the formal description of a text-based model differencing and merging method from previous work. We also verify our algorithm based on this formal description. The focus of the verification is the soundness and completeness of the method. The long term goal of our research is to develop a modeling environment-independent algorithm. This could be used in version control systems that support textual representations. (More)

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 54.157.56.179

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Somogyi, F. and Asztalos, M. (2018). Formal Description and Verification of a Text-based Model Differencing and Merging Method. In Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - AMARETTO; ISBN 978-989-758-283-7; ISSN 2184-4348, SciTePress, pages 657-667. DOI: 10.5220/0006728006570667

@conference{amaretto18,
author={Ferenc A. Somogyi. and Mark Asztalos.},
title={Formal Description and Verification of a Text-based Model Differencing and Merging Method},
booktitle={Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - AMARETTO},
year={2018},
pages={657-667},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006728006570667},
isbn={978-989-758-283-7},
issn={2184-4348},
}

TY - CONF

JO - Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development - AMARETTO
TI - Formal Description and Verification of a Text-based Model Differencing and Merging Method
SN - 978-989-758-283-7
IS - 2184-4348
AU - Somogyi, F.
AU - Asztalos, M.
PY - 2018
SP - 657
EP - 667
DO - 10.5220/0006728006570667
PB - SciTePress