Conceptual designing supported by automated checking of design requirements and constraints

Advanced Concurrent Engineering

Volumn , Issue , 2011, Pages 257-265

  Palacz, Wojciech ^a   Grabska, Ewa ^a   Gajek, Szymon ^a  

^a JAGIELLONIAN UNIVERSITY   (Poland)

Author keywords

CAD system; Design knowledge; First order logic; Graph based data structure; Visual language

Indexed keywords

CAD SYSTEM; CONCEPTUAL DESIGNING; DESIGN KNOWLEDGE; DESIGN REQUIREMENTS; FIRE CODES; FIRST ORDER LOGIC; FLOOR LAYOUT; GRAPH-BASED; SUPPORTING SYSTEMS; SYSTEM ARCHITECTURES; VISUAL DESIGN;

COMPUTER ARCHITECTURE; CONCEPTUAL DESIGN; CONCURRENT ENGINEERING; DATA STRUCTURES; FORMAL LOGIC; VISUAL LANGUAGES;

GRAPHIC METHODS;

EID: 84867901045     PISSN: 18655440     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-0-85729-799-0_30     Document Type: Conference Paper

References (12)

1. Goldschmidt G. The Dialectic of Sketching.Creativity Research Journal vol 4,1991.
2. Yang M. Observations on concept generation and sketching in engineering design. Research in Engineering Design 2009; 20:1-11.
3. Tang HH, Gero JS. Cognition-based CAAD. In: Vries B, Leeuwen JP, AchtenHH (eds) CAADFutures 01. Eindhoven, The Netherlands, 2001; 521-531.
4. Baxter D, Gao J, Case K, Harding J, Young B, Cochrane S, Dani S. An engineering design knowledge reuse methodology using process modelling. Research in Engineering Design 2007; 18:37-48.
5. Demian P, Fruchter R. An ethnographic study of design knowledge reuse in the architecture, engineering, and construction industry. Research in Engineering Design 2006; 16:184-195.
6. Yurchyshyna A. Modélisation du contrôle de conformité en construction: uneapprocheontologique. PhD thesis, Universite de Nice-Sophia Antipolis, 2009.
7. Eastman C, Lee J, Jeong Y, Lee J. Automatic rule-based checking of building designs. In: Automation in Construction vol 18, 2009; 1011-1033.
8. Fagin R, Halpern JY, Moses Y, Vardi MY. Reasoning About Knowledge. MIT Press, 2003.
9. Bhatt M, Freksa C. Spatial computing for design: An artificial intelligenceperspective. In: Visual and Spatial Reasoning for Design Creativity (SDC '10),2010.
10. Grabska E, Borkowski A, Palacz W, GajekSz. Hypergraph System Supporting Design and Reasoning. In: Wolfgang Huhnt (ed) Computing in Engineering EG-ICE Conference 2009. Shaker Verlag, 2009; 134-141.
11. Grabska E, Lembas J, Łachwa A, Ślusarczyk G, Grzesiak-Kopeć K. Hierarchical layout hypergraph operations and diagrammatic reasoning. Machine Graphics & Vision 2008; 16(1/2):23-38.
12. Palacz W. Algebraic Hierarchical Graph Transformation. In: Journal of Computer and System Sciences vol 68, 2004; 497-520.