A PiOZ-based formalization of a reflection-based coordination model for architecture reuse

This paper proposes the way of specification by which the CM4AR (Coordination Model for Architecture Reuse) can be formally described in the PiOZ. CM4AR, which is our previous work, can provides support for reusing software architecture and its constituents at design time. CM4AR is logically divided into two levels: meta-level and base-level. When CM4AR is used to support architecture reuse, the interaction between the two levels will occur and these two levels must be consistent all the time. The consistency between the two levels depends on the correctness of causal connection between them. To characterize the causal connection precisely, we specify the CM4AR in the formalization manner. According to the structure of CM4AR, the formal specification of base-level, meta-level and interaction between them are introduced respectively. The result of this paper is the foundation for proving the correctness of causal connection between two levels in the future. Copyright © 2013 Binary Information Press.