Monterey Phoenix, or How to Make Software Architecture Executable

OOPSLA’09/Onward conference, OOPSLA Companion, October 2009, pp.1031-1038This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement up to executable design and implementation models, reuse, composition, visualization, and application of automated tools for consistency checks