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 allow the 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.

--

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

• Computer and Information Sciences - Natural Sciences