Goedicke, M.; Meyer, T.; Sucrow, B.e.:
On Modular Graph Specifications with Applications to Software Engineering Problems
In: Arbeitsbericht - Essen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems, 1996
Buchaufsatz/Kapitel in Sammelwerk / Fach: Wirtschaftswissenschaften
Titel:
On Modular Graph Specifications with Applications to Software Engineering Problems
Autor(in):
Goedicke, M. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Meyer, T. im Online-Personal- und -Vorlesungsverzeichnis LSF anzeigen; Sucrow, B.e.
Erscheinungsjahr:
1996
Erschienen in:
Arbeitsbericht - Essen: University of Essen, Department of Mathematics and Computer Science / Specification of Software Systems, 1996

Abstract:

In this paper we describe a particular approach to specify properties of software systems using attributed graphs. The necessary change, dynamics etc. in such systems is defined by rewriting graphs in a structured and abstract way. Since graphs are an intuitive way to define system properties statically, graph rewrite rules in form of graph grammars define modification of graphs formally. In order to structure the otherwise inherent flat graphs a module concept for graph grammars is gradually motivated and defined. We show the applicability of our approach to modularizing graphs and graph grammars by discussing two problems from GUI-specification and formalizing software architecture, respectively.