Formal semantics for component assembly pattern of software architecture

The performance and reliability of component-based software architectures rely fundamentally on the quality of the components and the configuration that the system is composed. This paper analysis the assembly patterns and interaction behaviors of components at first, then an ontology of the component¿s operation is proposed, which the interactions of components are formalized and abstracted. Based on the in-depth analysis of the component assembly patterns, this paper try to define the assembly patterns in architecture on process algebra theory, which can establish a practical means of describing and analyzing the component assembly pattern in the software architectures. Furthermore, the architecture algebra model has been built, which can set a theoretical foundation for the further research on analysis and validation of architecture.