【摘要】 基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities),是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加,连接件变得愈加复杂和多样。因此,需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式,即连接件运算符,组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约,给出了该复合连接件形式化规约的生成算法。更多还原

【Abstract】 Composing complex software systems from coarse-grained components is the mainstream of software devel- opment paradigms. Components interact and communicate each other by connectors. Connectors are first-class enti- ties in software system design and development. They are key determinants of system functions and properties. As software systems and components become more complex and larger increasingly, connectors become more complicated and diversiform. Hence it is very important to design and implement connectors in an incremental and compositional way. In this paper, a mechanism for producing new kinds of connectors systematically and compositionally from exist- ing connectors is proposed. The mechanism is characterized by defining and combining the primitive composing meth- ods of connectors, i.e. connector operators, to construct complex connectors. Moreover, based on architectural de- scription language Wright, algorithms for generating formal specification of composite connectors are developed.更多还原