Mathematical Description Framework for Architecture Models

To resolve the problems of the definition, description, and proof of semantic property preservation of model-driven development, a mathematical framework for architecture models is proposed by using algebraic specification and process algebra. First, component signature, component specification and the relationships between components are defined respectively. Then, component-based architecture model is given with precise semantics. The framework is formally described and provides accurate semantics for architecture models, and thus can make an effective support to model-driven software development.