Research on a Formal Method for Software Composite Connectors
软件复合连接件的形式化研究

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