Architectural design in object-z

We present a process for introducing an object-oriented architecture into an abstract functional specification written in Object-Z. Since the design is derived from the specification, correctness concerns are addressed as pan of the design process. We base our approach on refactoring rules that apply to class structure, and use the rules to implement design patterns. As a motivating example, we introduce a user-interface design that follows the model-view-controller paradigm into an existing specification.

Movement and figurality: The circulation diagram and the history of the architectural plan

Knowledge of the plan competes with self-consciousness of experience. The less we are able to understand our spatio-visual experience by the abstract coordinates of the plan, the more we are thrust back into a lived experience of the building in duration. This formula, frequently unacknowledged, has been one of the main precepts of the experientialist modernism which arises out of the picturesque and which stands in critique of classical idealism. One of the paths to critique this formula is by showing that the attention to the experience of the spaces in duration is predicated on obscuring, complicating and weakening the apprehension of the plan as a figure. Another development in the practice of modern planning has been architects using a kind of over-drawing where human circulation diagrams or 'movement lines' are drawn expressively across the orthographic plane; thus representing the lived experience of buildings. We will show that these two issues are linked; the plan's weak figure and the privilege this supposes for durational experience has a corollary - experience itself demands to be visible in the plan, and this is one origin of the present fascination with 'diagramming'. In this paper we explore the practice of architectural planning and its theoretical underpinnings in an attempt to show the viability of a history of architectural planning methods.