| 软件复合连接件的形式化研究 |
| |
| 引用本文： | 任洪敏,张敬周,钱乐秋.软件复合连接件的形式化研究[J].计算机科学,2005,32(3):132-135. |
| |
| 作者姓名： | 任洪敏 张敬周 钱乐秋 |
| |
| 作者单位： | 1. 上海海事大学计算机系,上海,200135
2. 复旦大学计算机科学系软件工程实验室,上海,200433 |
| |
| 基金项目： | 国家863高科技发展计划资助项目(2001AA1100241)，上海市教育委员会青年基金(2004166) |
| |
| 摘 要： | 基于构件的软件开发是软件开发的主流范型。构件通过连接件进行连接和交互。连接件是软件系统设计的一阶实体(First-class Entities)，是决定软件系统功能和质量的重要因素。伴随软件系统和构件的规模及复杂程度日益增加，连接件变得愈加复杂和多样。因此，需要运用增量、合成的方法开发和支持复杂的连接件。本文提出一种根据已有连接件合成新连接件的形式化方法。该方法的特点是定义连接件合成的基本方式，即连接件运算符，组合运用连接件运算符合成复杂的连接件。并基于Wright连接件的形式化规约，给出了谊复合连接件形式化规约的生成算法。
|
| 关 键 词： | 构件 软件开发 形式化 连接件 系统功能 |
Research on a Formal Method for Software Composite Connectors |
| |
| REN Hong-Min,ZHANG Jing-Zhou,QIAN Le-Qiu.Research on a Formal Method for Software Composite Connectors[J].Computer Science,2005,32(3):132-135. |
| |
| Authors: | REN Hong-Min ZHANG Jing-Zhou QIAN Le-Qiu |
| |
| Affiliation: | REN Hong-Min,ZHANG Jing-Zhou,QIAN Le-Qiu Department of Computer Science and Technology,Shanghai Maritime University,Shanghai 200135 Department of Computer Science and Technology,Fudan University,Shanghai 200433 |
| |
| Abstract: | |
| |
| Keywords: | Connector composition Connectors Connector operators Higher-order connectors |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
