Graph-based representation of design properties in creating building floorplans. (February 2018)

• Record Type: Journal Article
• Authors: Ślusarczyk, G.
• Is Part Of: Computer aided design. Volume 95(2018)
• Page Start: 24
• Page End: 39
• Publication Date: 2018-02
• Subjects: Hierarchical graphs -- Graph grammars -- Graph requirements -- Logic formulas -- Knowledge-based reasoning; Computer-aided design -- Periodicals; Engineering design -- Data processing -- Periodicals; Computer graphics -- Periodicals; Conception technique -- Informatique -- Périodiques; Infographie -- Périodiques; Computer graphics; Engineering design -- Data processing; Periodicals; Electronic journals; 620.00420285
• DOI: 10.1016/j.cad.2017.09.004
• Languages: English
• ISSNs: 0010-4485

Abstract

Abstract: This paper proposes a framework for supporting the design process by defining design requirements over graph-based representations of designs. First, hierarchical layout hypergraphs ( HL -graphs) representing designs and hierarchical layout graph grammars generating them are specified. Then, local and global graph requirements over HL -graphs, which correspond to design constraints, are defined. The proposed ontological interpretations transform first-order and monadic second-order logic formulas expressing design criteria into equivalent local and global graph requirements. The satisfiability of graph requirements by representations of designs allows for checking correctness of design solutions. The approach is illustrated on examples of designing floor layouts of buildings. Highlights: Hierarchical graphs representing designs and grammars generating them are defined. Local and global requirements over graph representations of designs are specified. The proposed interpretations transform logic formulas into graph requirements. The satisfiability of graph requirements by representations of designs is tested. The approach is illustrated on examples of designing building layouts.