基于角色划分的构件组合兼容性检查

• 作者: 张驰
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 构件 接口 协议 角色 兼容性
• 年，卷（期）: 2010,（5）
• 所属期刊栏目: 研发、设计、测试
• 页码范围: 59-62
• 页数: 4页
• 分类号: TP31
• 字数: 4012字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2010.05.018

摘要

基于构件的软件开发是软件工程化和工业化发展的必然趋势,构件间通过接口实现交互.目前主要的接口定义语言是为了满足封闭的C/S应用而设计的,仅描述了构件交互的静态语法层信息,这些信息已不能满足开放环境下对构件理解、使用和推导需要.形式化方法因其描述的准确性和使用自动定理证明机制而受到越来越多的重视,以CORBA构件为例,结合一个电子商务应用实例,给出基于π演算的构件接口动态行为信息描述方法,在此基础上根据构件在交互中的作用进行了角色划分,并基于角色模型研究了构件组合中的兼容性问题,从而保证了开放环境下构件间成功地进行互操作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张驰	江西财经大学软件学院	17	60	4.0	7.0