New Object-Oriented PROGRES for Specifying the Conceptual Design Tool GraCAD

Authors:
Janusz Szuba
Affiliations:
Real-Time Systems Lab, Darmstadt University of Technology, Merckstr. 25, D-64283 Darmstadt, Germany
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 8
Cited 0

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
The AGG approach: language and environment

Handbook of graph grammars and computing by graph transformation
Graph Grammar Engineering with PROGRES

Proceedings of the 5th European Software Engineering Conference
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
Converting function into object

Artificial Intelligence in Structural Engineering, Information Technology for Design, Collaboration, Maintenance, and Monitoring.
Graphs and Designing

Proceedings of the International Workshop on Graph Transformations in Computer Science
GraCAD - Graph-Based Tool for Conceptual Design

ICGT '02 Proceedings of the First International Conference on Graph Transformation
UML Packages for PROgrammed Graph REwriting Systems

TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper deals with the application of graph transformations for the specification of conceptual design tools. We show how the graph rewriting system PROGRES is used for specifying the graph part of the conceptual method for architects in which functional requirements of the building to be designed are elicited by means of graph structures. The consistency of the specified requirements and whether a design matches those requirements is verified with graph constraint checkers. We consider how the new object-oriented extensions of the PROGRES language, i.e. packages and node objects with redefinable methods can be used to achieve the required constraint monitoring and preserving functions in the form of graph checker objects. The prototype for our method, called GraCAD, is created with UPGRADE - the recently developed Java framework for developing visual applications based on a PROGRES specification, and the commercial system for architects ArchiCAD.