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

Janusz Szuba | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

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

Author(s) -

Janusz Szuba

Publication year - 2005

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.12.032

Subject(s) - computer science , graph rewriting , programming language , graph , rewriting , theoretical computer science , consistency (knowledge bases) , java , object oriented programming , software engineering , artificial intelligence

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research