Weidmann, Nils ; Fritsche, Lars ; Anjorin, Anthony (2020)
A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation.
SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity. virtual Conference (16.11.2020-17.11.2020)
doi: 10.1145/3426425.3426932
Konferenzveröffentlichung, Bibliographie
Kurzbeschreibung (Abstract)
In collaboration scenarios, we often encounter situations in which semantically interrelated models are changed concurrently. Concurrent model synchronization denotes the task of keeping these models consistent by propagating changes between them. This is challenging as changes can contradict each other and thus be in conflict. A problem with current synchronisation approaches is that they are often nondeterministic, i.e., the order in which changes are propagated is essential for the result. Furthermore, a common limitation is that the involved models must have been in a consistent state at some point, and that the applied changes are at least valid for the domain in which they were made. We propose a hybrid approach based on Triple Graph Grammars (TGGs) and Integer Linear Programming (ILP) to overcome these issues: TGGs are a grammar-based means that supplies us with a superset of possible synchronization solutions, forming a search space from which an optimum solution incorporating user-defined preferences can be chosen by ILP. Therefore, the proposed method combines configurability by comprising expert knowledge via TGGs with the flexible input handling of search-based techniques: By accepting arbitrary graph structures as input models, the approach is tolerant towards errors induced during the modelling process, i.e., it can cope with input models which do not conform to their metamodel or which cannot be generated by the TGG at hand. The approach is implemented in the model transformation tool eMoflon and evaluated regarding scalability for growing model sizes and an increasing number of changes.
| Typ des Eintrags: | Konferenzveröffentlichung |
|---|---|
| Erschienen: | 2020 |
| Autor(en): | Weidmann, Nils ; Fritsche, Lars ; Anjorin, Anthony |
| Art des Eintrags: | Bibliographie |
| Titel: | A Search-Based and Fault-Tolerant Approach to Concurrent Model Synchronisation |
| Sprache: | Englisch |
| Publikationsjahr: | 2020 |
| Ort: | New York, NY, United States |
| Verlag: | ACM |
| Buchtitel: | Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering |
| Veranstaltungstitel: | SPLASH '20: Conference on Systems, Programming, Languages, and Applications, Software for Humanity |
| Veranstaltungsort: | virtual Conference |
| Veranstaltungsdatum: | 16.11.2020-17.11.2020 |
| DOI: | 10.1145/3426425.3426932 |
| Kurzbeschreibung (Abstract): | In collaboration scenarios, we often encounter situations in which semantically interrelated models are changed concurrently. Concurrent model synchronization denotes the task of keeping these models consistent by propagating changes between them. This is challenging as changes can contradict each other and thus be in conflict. A problem with current synchronisation approaches is that they are often nondeterministic, i.e., the order in which changes are propagated is essential for the result. Furthermore, a common limitation is that the involved models must have been in a consistent state at some point, and that the applied changes are at least valid for the domain in which they were made. We propose a hybrid approach based on Triple Graph Grammars (TGGs) and Integer Linear Programming (ILP) to overcome these issues: TGGs are a grammar-based means that supplies us with a superset of possible synchronization solutions, forming a search space from which an optimum solution incorporating user-defined preferences can be chosen by ILP. Therefore, the proposed method combines configurability by comprising expert knowledge via TGGs with the flexible input handling of search-based techniques: By accepting arbitrary graph structures as input models, the approach is tolerant towards errors induced during the modelling process, i.e., it can cope with input models which do not conform to their metamodel or which cannot be generated by the TGG at hand. The approach is implemented in the model transformation tool eMoflon and evaluated regarding scalability for growing model sizes and an increasing number of changes. |
| Freie Schlagworte: | Integer Linear Programming, Concurrent Synchronisation, Fault-Tolerance, Triple Graph Grammars |
| Fachbereich(e)/-gebiet(e): | 18 Fachbereich Elektrotechnik und Informationstechnik 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik |
| Hinterlegungsdatum: | 15 Dez 2020 13:37 |
| Letzte Änderung: | 05 Jul 2024 08:29 |
| PPN: | |
| Export: | |
| Suche nach Titel in: | TUfind oder in Google |
 |
Frage zum Eintrag |
Optionen (nur für Redakteure)
 |
Redaktionelle Details anzeigen |
Drucken
Impressum