The language of formal architecture

The aim of this paper is to present a view of the basic concepts used in research into formal architectures. The concept of a language of architecture is a set of constructions analogous to a set of strings. All in all, the static description of architecture by means of graphs and semilattices is compiled from a dynamic description of operations, which leads to the proposed formalization of some central definitions in architectural research.