面向体系结构的构件接口模型及其形式化规约

• 作者: 任洪敏 张敬周 钱乐秋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 基于构件的软件工程 软件体系结构 构件接口模型 接口规约 行为协议
• 年，卷（期）: 2005,（23）
• 所属期刊栏目: 软件技术与数据库
• 页码范围: 67-69
• 页数: 3页
• 分类号: TP311
• 字数: 3259字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.23.025

摘要

借鉴软件体系结构的思想,提出了面向体系结构的构件接口模型,它既能表达体系结构设计的高层抽象构件,又能表达底层代码级别的实现构件.同时基于该模型,运用顺序通信进程,提出了两级构件接口行为协议规约方法,能够有效规约大粒度复杂软件构件的行为交互协议.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	钱乐秋	复旦大学计算机科学系软件工程实验室	61	1658	21.0	39.0
2	任洪敏	上海海事大学计算机系	32	122	7.0	8.0
3	张敬周	复旦大学计算机科学系软件工程实验室	9	246	7.0	9.0