ECMFA 2023
Thu 20 - Fri 21 July 2023 Leicester, United Kingdom
co-located with STAF 2023
Thu 20 Jul 2023 15:45 - 16:15 at Oak - ECMFA Session 4: Model Differencing and Merging Chair(s): Jörg Kienzle

Abstraction, refinement and (de-)composition are fundamental techniques for engineering large software systems. In the context of Model Driven Development (MDD), these techniques are primarily applied to models. Our goal is to integrate automated composition of data models into the development process. We focus primarily on Class Diagrams (CDs) which are widely used to model object-oriented systems. In particular, we consider the variant of UML/P CDs which are equipped with a formal semantics for both the closed-world and open-world assumptions and allow for underspecified associations. A sound merge of CDs must include precisely the information of its components and preserve their semantic implications. In this paper we introduce a merge operator for CDs that considers both formal and implementation-oriented soundness requirements. The operator is able to support a divide-and-conquer approach for modeling and code-generation of large object-oriented software systems. We clarify why we deem an open-world approach necessary and outline merge conflicts and variants. Finally, we discuss integration of automated merging into the development process and provide an outlook on run-time data integration.

Thu 20 Jul

Displayed time zone: London change

15:45 - 17:15
ECMFA Session 4: Model Differencing and MergingTechnical Track at Oak
Chair(s): Jörg Kienzle McGill University, Canada

Remote Participants: Zoom Link

15:45
30m
Talk
CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
Technical Track
Achim Lindt RWTH Aachen University, Chair of Software Engineering, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University, Sebastian Stüber RWTH Aachen University, Chair of Software Engineering
DOI File Attached
16:15
30m
Talk
On Implementing Open World Semantic Differencing for Class Diagrams
Technical Track
Jan Oliver Ringert Bauhaus-University Weimar, Bernhard Rumpe RWTH Aachen University, P: Max Stachon RWTH Aachen University
DOI File Attached
16:45
30m
Talk
Evaluating Model Differencing for the Consistency Preservation of State-based ViewsECMFA Best Paper
Technical Track
Jan Willem Wittler Karlsruhe Institute of Technology, P: Timur Sağlam Karlsruhe Institute of Technology (KIT), Thomas Kühn Martin-Luther-University Halle-Wittenberg
DOI Media Attached File Attached