loading
Documents

Research.Publish.Connect.

Paper

Authors: Ferenc A. Somogyi and Mark Asztalos

Affiliation: Budapest University of Technology and Economics, Hungary

ISBN: 978-989-758-283-7

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 o n 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)

PDF ImageFull Text

Download
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 3.81.73.233

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 - Volume 1: AMARETTO, ISBN 978-989-758-283-7, 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 - Volume 1: AMARETTO,},
year={2018},
pages={657-667},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006728006570667},
isbn={978-989-758-283-7},
}

TY - CONF

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.