Ali, Qurat Ul Ain, Kolovos, Dimitris orcid.org/0000-0002-1724-6563 and Barmpis, Konstantinos (2023) Towards Efficient Model Comparison using Automated Program Rewriting. In: Saraiva, Joao, Degueule, Thomas and Scott, Elizabeth, (eds.) Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023):SPLASH 2023. Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2023), 22-27 Oct 2023 SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023 . ACM , PRT , pp. 181-193.
Abstract
Model comparison is a prerequisite task for several other model management tasks such as model merging, model differencing etc. We present a novel approach to efficiently compare models using programs written in a rule-based model comparison language. As the comparison is done at the model element level, and each element needs to be traversed and compared with its corresponding elements, the execution of these comparison algorithms can be computationally expensive for larger models. In this paper, we present an efficient comparison approach which provides an automated rewriting facility to compare (both homogeneous and heterogeneous) models, based on static program analysis. Using this analysis, we reduce the search space by pre-filtering/indexing model elements, before actually comparing them. Moreover, we reorder the comparison match rules according to the dependencies between these rules to reduce the cost of jumping between rules. Our experiments demonstrate that the proposed model comparison approach delivers significant performance benefits in terms of execution time compared to the default ECL execution engine.
Metadata
Item Type: | Proceedings Paper |
---|---|
Authors/Creators: |
|
Editors: |
|
Copyright, Publisher and Additional Information: | This is an author-produced version of the published paper. Uploaded in accordance with the University’s Research Publications and Open Access policy. |
Keywords: | Model-Driven Engineering,Scalability,Model Comparison,Static Analysis,Program Analysis |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Depositing User: | Pure (York) |
Date Deposited: | 13 Oct 2023 23:08 |
Last Modified: | 13 Nov 2024 09:25 |
Published Version: | https://doi.org/10.1145/3623476.3623519 |
Status: | Published |
Publisher: | ACM |
Series Name: | SLE 2023 - Proceedings of the 16th ACM SIGPLAN International Conference on Software Language Engineering, Co-located with: SPLASH 2023 |
Identification Number: | 10.1145/3623476.3623519 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:204203 |
Download
Filename: Qurat_SLE_2023_paper.pdf
Description: Towards Efficient Model Comparison using Automated Program Rewriting -- SLE 2023
Licence: CC-BY 2.5