Formal Interaction Specification in a Reflective Information Model

As to a reflective information model for reusing software architecture(RIM4RSA) which is constructed and designed on the basis of architectural reflection theory, this paper proposes the way of specification by which the interaction in the RIM4RSA can be formally described in the pi-calculus. RIM4RSA is logically divided into meta-level and base-level. When RIM4RSA is used to support reusing of software architecture, the interaction between meta-level and base-level, which can determine the correctness of causal connection between two levels, will occur. So the interaction between two levels should be precisely specified. Specifically, we respectively give the formal specification of the two kinds of interaction-reification and reflection between two levels in order that the precise semantics of the interaction is identified by the formal specification. The results in this paper are the foundation for our future works such as formal verification and so on.