Paper Info
Title
Graph Grammar Engineering: A Software Specification Method
Abstract
Graphs as conceptual data models are accepted and used in a wide range of different problem areas. Giving some examples we outline common aspects for modeling complex structures by graphs. We present a formal frame-work based on graph grammars to specify graph classes and the corresponding graph manipulations. We show that such a specification can be written in a systematic, engineering-like manner. This is achieved by an extension of the known programmed, attributed graph grammars. Node-set operators are introduced to facilitate graph queries. Concepts like abstraction, decomposition, refinement, parameterization, and integration have been adopted from software engineering to yield a comprehensive specification method. This method has successfully been applied to specify the central data structures in a software development environment project.
Year
DOI
Venue
1986
10.1007/3-540-18771-5_53
Graph-Grammars and Their Application to Computer Science
Keywords
Field
DocType
programmed graph grammar,software development environment,specification,graph grammar engineering,graph grammar,software specification method,software engineering,graph replacement system,conceptual data model,software specification,data structure
Software design,Programming language,Computer science,Software requirements specification,Software visualization,Software construction,Software sizing,Software development,Software verification,Search-based software engineering
Conference
Volume
ISSN
ISBN
291
0302-9743
3-540-18771-5
Citations 
PageRank 
References 
24
7.23
5
Authors
3
Name
Order
Citations
PageRank
Gregor Engels12245420.50
Claus Lewerentz266564.65
Wilhelm Schäfer31124145.99