CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration
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.
Slides (23.07.20.ECMFA.CDMerge.pptx) | 431KiB |
Thu 20 JulDisplayed 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 Link to publication DOI Media Attached File Attached |