A process for the formal modification of an architectural model.

GLSL shaders are processes transforming inputs to outputs. A 3D model of a banal office building was the input. It was transformed through a GLSL pipeline and then intersected with the original model.