CISUC

Alternative shaper: a model for automatic design generation

Authors

Abstract

This paper discusses the formalization of Alternative Shaper, a Spatial Grammar supplemented with procedural knowledge for supporting design generation. The nondeterministic process style perspective supports an exploratory and flexible specification of designs and the use of predicates relating shapes allowthe confirmation of shape spatial restrictions on design processes. Although simple at this stage, Alternative Shaper actually offers interesting potentialities on design generation that may be improved soon with convenient abstractions.

Keywords

Shape grammar, Spatial grammar, Automatic design generation, Formal specification, Applied formal methods

Subject

Formal Methods

Journal

Formal Aspects of Computing, Springer, April 2018

DOI


Cited by

No citations found