Graphtransformationssysteme sind ein graphbasierter Ansatz zur visuellen Modellierung und ermöglichen einen intuitiven Blick auf ein System. Systemeigenschaften können durch geschachtelte Bedingungen (Habel, Pennemann 2009) dargestellt werden. Diese können keine nichtlokalen Eigenschaften wie Pfade, Verbundenheit oder Kreisfreiheit ausdrücken. Wir führen daher HR*-Bedingungen ein, die geschachtelte Bedingungen um Hyperkantenersetzung erweitern, und erörtern deren Ausdruckskraft. Eine Methode zur Prüfung der Korrektheit einer Spezifikation aus Programm, Vor- und Nachbedingung wird eingeführt, auf Basis grundlegender Transformationen der Bedingungen. HR*-Bedingungen werden ferner angewendet, um Instanzen von UML-Metamodellen mit OCL-Bedingungen zu erzeugen. Der Typgraph wird zu einer Grammatik umgewandelt. Die OCL-Bedingungen werden in HR*-Bedingungen umgewandelt und als Anwendungsbedingungen in die Graphgrammatik integriert, was die Erzeugung valider Instanzen des Modells garantiert. <dt.>
Graph transformation systems are an established visual modeling approach, using graphs to give an intuitive overview of a system. Structural system properties can be expressed by nested conditions (Habel, Pennemann 2009). However, nested conditions can not express non-local properties, like arbitrary-length paths, connectedness or circle-freeness. We propose HR* conditions, extending nested conditions with hyperedge replacement. The expressiveness of several variants HRs conditions is discussed. A method is presented to check the correctness of a specification consisting of a graph program with HR* pre- and postcondition, by utilizing basic transformations on the conditions. HR* conditions are used to generate instances of UML meta-models with OCL constraints. The type graph is transformed into a graph grammar. OCL constraints are transformed into HR* conditions, which are then integrated into the graph grammar as application conditions to ensure the generation of valid instances. <engl.>
Joint Workshop of the German Research Training Groups in Computer Science (2011 : Dagstuhl) Joint Workshop of the German Research Training Groups in Computer Science Berlin : GITO, 2011 (2011), Seite 46 243 S.
