Formalization Model for a Reuse Approach of Software Architecture

Reuse of software architecture is a relatively difficult problem in the practice of software engineering realm. For solving the problem, this paper presents an approach which is based on architecture reflection. For the reflection mechanism, the main idea is separating system architecture into two levels – meta-level and base-level. And what’s more, this paper presents a formalization model for the approach by using Pi calculus.