Radke, Hendrik (2016) A Theory of HR* Graph Conditions and their Application to Meta-Modeling. PhD, Universität Oldenburg.

Preview

- Accepted Version Volltext (1540Kb)

Abstract

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, wich are then integrated into the graph grammar as application conditions to ensure the generation of valid instances.

["eprint_fieldname_title_plus" not defined]

Theorie der HR*-Graphbedingungen und ihrer Anwendung in der Metamodellierung

["eprint_fieldname_abstract_plus" not defined]

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.

Item Type:	Thesis (PhD)
Uncontrolled Keywords:	Graphtransformation, Graphbedingungen, Korrektheit, Metamodellierung, OCL <Programmiersprache>
Divisions:	School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited:	16 Jun 2016 11:19
Last Modified:	16 Jun 2016 11:19
URI:	https://oops.uni-oldenburg.de/id/eprint/2803
URN:	urn:nbn:de:gbv:715-oops-28845
DOI:
Nutzungslizenz:

Actions (login required)

View Item