TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony ED - Iovino, Ludovico ED - Michael Kristensen, Lars ID - 27418 T2 - {STAF} 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, Joint Workshop on Foundations and Practice of Visual Modeling and Data for Model-Driven Engineering, International workshop on {MDE} for Smart IoT Systems, 4th International Workshop on (Meta)Modeling for Healthcare Systems, and 20th International Workshop on {OCL} and Textual Modeling co-located with Software Technologies: Applications and Foundations, Federation of Conferences {(STAF} 2021), Virtual Event / Bergen, Norway, June 21-25, 2021 TI - eMoflon: : Neo - Consistency and Model Management with Graph Databases VL - 2999 ER - TY - JOUR AB - AbstractIn the field of Model-Driven Engineering, Triple Graph Grammars (TGGs) play an important role as a rule-based means of implementing consistency management. From a declarative specification of a consistency relation, several operations including forward and backward transformations, (concurrent) synchronisation, and consistency checks can be automatically derived. For TGGs to be applicable in realistic application scenarios, expressiveness in terms of supported language features is very important. A TGG tool is schema compliant if it can take domain constraints, such as multiplicity constraints in a meta-model, into account when performing consistency management tasks. To guarantee schema compliance, most TGG tools allow application conditions to be attached as necessary to relevant rules. This strategy is problematic for at least two reasons: First, ensuring compliance to a sufficiently expressive schema for all previously mentioned derived operations is still an open challenge; to the best of our knowledge, all existing TGG tools only support a very restricted subset of application conditions. Second, it is conceptually demanding for the user to indirectly specify domain constraints as application conditions, especially because this has to be completely revisited every time the TGG or domain constraint is changed. While domain constraints can in theory be automatically transformed to obtain the required set of application conditions, this has only been successfully transferred to TGGs for a very limited subset of domain constraints. To address these limitations, this paper proposes a search-based strategy for achieving schema compliance. We show that all correctness and completeness properties, previously proven in a setting without domain constraints, still hold when schema compliance is to be additionally guaranteed. An implementation and experimental evaluation are provided to support our claim of practical applicability. AU - Weidmann, Nils AU - Anjorin, Anthony ID - 23525 JF - Formal Aspects of Computing SN - 0934-5043 TI - Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming ER - TY - CONF AU - Weidmann, Nils AU - Engels, Gregor ID - 22959 T2 - Proceedings of the Genetic and Evolutionary Computation Conference TI - Concurrent model synchronisation with multiple objectives ER - TY - CONF AU - Anjorin, Anthony AU - Weidmann, Nils AU - Oppermann, Robin AU - Fritsche, Lars AU - Schürr, Andy ED - Syriani, Eugene ED - Sahraoui, Houari ED - de Lara, Juan ED - Abrahao, Silvia ID - 21480 SN - 9781450370196 T2 - Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020 TI - Automating test schedule generation with domain-specific languages ER - TY - CONF AU - Weidmann, Nils AU - Fritsche, Lars AU - Anjorin, Anthony ED - Lämmel, Ralf ED - Tratt, Laurcence ED - de Lara, Juan ID - 21481 SN - 9781450381765 T2 - Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2020 TI - A search-based and fault-tolerant approach to concurrent model synchronisation ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony AU - Cheney, James ED - Hoffmann, Berthold ED - Minas, Mark ID - 21482 SN - 2075-2180 T2 - Proceedings of the Eleventh International Workshop on Graph Computation Models, GCM@STAF 2020 TI - VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems ER - TY - CONF AU - Jovanovikj, Ivan AU - Weidmann, Nils AU - Yigitbas, Enes AU - Anjorin, Anthony AU - Sauer, Stefan AU - Engels, Gregor ED - Babur, Önder ED - Denil, Joachim ED - Vogel-Heuser, Birgit ID - 21483 SN - 1865-0929 T2 - Proceedings of the First International Conference on Systems Modelling and Management, ICSMM 2020 TI - A Model-Driven Mutation Framework for Validation of Test Case Migration ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony ED - Wehrheim, Heike ED - Cabot, Jordi ID - 17084 SN - 0302-9743 T2 - Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 TI - Schema Compliant Consistency Management via Triple Graph Grammars and Integer Linear Programming ER - TY - CONF AU - Weidmann, Nils AU - Oppermann, Robin AU - Robrecht, Patrick ED - Nierstrasz, Oscar ED - Gray, Jeff ED - Oliveira, Bruno ID - 14025 SN - 9781450369817 T2 - Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019 TI - A feature-based classification of triple graph grammar variants ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony AU - Leblebici, Erhan AU - Schürr, Andy ED - Nierstrasz, Oscar ED - Gray, Jeff ED - Oliveira, Bruno ID - 14026 SN - 9781450369817 T2 - Proceedings of the 12th ACM SIGPLAN International Conference on Software Language Engineering - SLE 2019 TI - Consistency management via a combination of triple graph grammars and linear programming ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony AU - Stolte, Florian AU - Kraus, Florian ED - Guerra, Esther ED - Orejas, Fernando ID - 13140 T2 - Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 TI - From Pattern Invocation Networks to Rule Preconditions ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony AU - Robrecht, Patrick AU - Varró, Gergely ED - Guerra, Esther ED - Orejas, Fernando ID - 13141 T2 - Proceedings of the 12th International Conference on Graph Transformation, ICGT 2019, Held as Part of STAF 2019 TI - Incremental (Unidirectional) Model Transformation with eMoflon::IBeX ER - TY - CONF AU - Weidmann, Nils AU - Anjorin, Anthony AU - Fritsche, Lars AU - Varró, Gergely AU - Schürr, Andy AU - Leblebici, Erhan ED - Cheney, James ED - Ko, Hsiang-Shang ID - 13142 T2 - Proceedings of the 8th International Workshop on Bidirectional Transformations co-located with the Philadelphia Logic Week, Bx@PLW 2019 TI - Incremental Bidirectional Model Transformation with eMoflon::IBeX ER - TY - CONF AU - Weidmann, Nils ED - Babur, Önder ED - Strüber, Daniel ED - Abrahao, Silvia ED - Burgueno, Loli ED - Gogolla, Martin ED - Greenyer, Joel ED - Kokaly, Sahar ED - Kolovos, Dimitris ED - Mayerhofer, Tanja ED - Zahedi, Mansooreh ID - 5816 SN - 9781450359658 T2 - Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion Proceedings - MODELS '18 TI - Tolerant consistency management in model-driven engineering ER -