中图分类 号 : 　 TP 311 A General Connector Model and Its Formal Reasoning

Abstract: As software systems become more complex, the overall system structure or software architecture becomes a central design problem. Recently, software architecture has placed significant importance on components and interactions between them. The component-oriented software architecture (SA) is composed of components and connectors which play a very important role in SA. One of architecture research focus is architecture style, and now there are many architecture styles such as client- server system, layered system, blackboard organization and so on which have been used widely. Nonetheless, the existing connector models can only allow the specific SA styles, and lack a general connector model to support them. This paper abstracts the essential of different taxonomies of software connectors, and makes the connectors composed by fine-grained elements, each of which represents a single, well- defined function. And then a general connector model is presented to describe different connector types, which can also extends itself to admit different SA styles’composition. We can also put some non-functional properties such as distribution element, security element and fault- tolerance element into the general connector model. Another research focus is architectural design languages. They help the architectures’design and facilitate the designers’communication. Up to now a variety of architectural desig