TU Darmstadt / ULB / TUbiblio

Improved Conflict Detection for Graph Transformation with Attributes

Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Rensink, Arend ; Zambon, Eduardo (eds.) :

Improved Conflict Detection for Graph Transformation with Attributes.
[Online-Edition: http://dx.doi.org/10.4204/EPTCS.181.7]
In: Graphs as Models, GaM 2015. In: Electronic Proceedings in Theoretical Computer Science , 181 .
[Konferenz- oder Workshop-Beitrag], (2015)

Offizielle URL: http://dx.doi.org/10.4204/EPTCS.181.7

Kurzbeschreibung (Abstract)

In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict whenever at least one of two transformations manipulates a shared attribute. In this paper, we propose an improved, less conservative condition for static conflict detection of graph transformation with attributes by explicitly taking the semantics of the attribute operations into account. The proposed technique is based on symbolic graphs, which extend the traditional notion of graphs by logic formulas used for attribute handling. The approach is proven complete, i.e., any potential conflict is guaranteed to be detected.

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2015
Herausgeber: Rensink, Arend ; Zambon, Eduardo
Autor(en): Kulcsar, Geza ; Deckwerth, Frederik ; Lochau, Malte ; Varró, Gergely ; Schürr, Andy
Titel: Improved Conflict Detection for Graph Transformation with Attributes
Sprache: Englisch
Kurzbeschreibung (Abstract):

In graph transformation, a conflict describes a situation where two alternative transformations cannot be arbitrarily serialized. When enriching graphs with attributes, existing conflict detection techniques typically report a conflict whenever at least one of two transformations manipulates a shared attribute. In this paper, we propose an improved, less conservative condition for static conflict detection of graph transformation with attributes by explicitly taking the semantics of the attribute operations into account. The proposed technique is based on symbolic graphs, which extend the traditional notion of graphs by logic formulas used for attribute handling. The approach is proven complete, i.e., any potential conflict is guaranteed to be detected.

Buchtitel: Graphs as Models
Reihe: Electronic Proceedings in Theoretical Computer Science
Band: 181
Fachbereich(e)/-gebiet(e): Fachbereich Elektrotechnik und Informationstechnik
Fachbereich Elektrotechnik und Informationstechnik > Echtzeitsysteme
Zentrale Einrichtungen
Zentrale Einrichtungen > CASED
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet > A : Konstruktionsmethodik > Teilprojekt A01 : Modellierung
Zentrale Einrichtungen > Sonderforschungsbereich 1053: MAKI - Multi-Mechanismen-Adaption für das künftige Internet > A : Konstruktionsmethodik
Veranstaltungstitel: Graphs as Models, GaM 2015
Hinterlegungsdatum: 19 Mai 2015 07:10
Offizielle URL: http://dx.doi.org/10.4204/EPTCS.181.7
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen