%0 Journal Article
%T Research on a Formal Method for Software Composite Connectors<br>软件复合连接件的形式化研究
%A REN Hong-Min
%A ZHANG Jing-Zhou
%A QIAN Le-Qiu
%A <br>任洪敏
%A 张敬周
%A 钱乐秋
%J 计算机科学
%D 2005
%I 
%X 基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities)，是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加，连接件变得愈加复杂和多样。因此，需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式，即连接件运算符，组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约，给出了谊复合连接件形式化规约的生成算法。
%K Connector composition
%K Connectors
%K Connector operators
%K Higher-order connectors<br>构件
%K 软件开发
%K 形式化
%K 连接件
%K 系统功能
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=F865267C27CE121D&yid=2DD7160C83D0ACED&vid=9971A5E270697F23&iid=38B194292C032A66&sid=7C72DBC13F2D71EC&eid=5E25104E99903E8A&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12