%0 Journal Article
%T 软件复合连接件的形式化研究
%A 任洪敏 张敬周 钱乐秋？
%J 计算机科学
%D 2005
%X 基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(first-classentities)，是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加，连接件变得愈加复杂和多样。因此，需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式，即连接件运算符，组合运用连接件运算符合成复杂的连接件。并基于wright连接件的形式化规约，给出了谊复合连接件形
%K 构件软件开发形式化连接件系统功能
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=15215065&flag=1