包含协议和语义的构件一致性验证方法

• 作者: 朱嘉钢 李雪 黄可望
• 来源期刊: 计算机应用研究
• 关键词: 构件式设计 方法语义 语义扩展接口自动机 一致性 带语义约束的交互概观图
• 年，卷（期）: 2017,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2038-2044
• 页数: 7页
• 分类号: TP311.52
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2017.07.026

摘要

在基于构件的系统设计中,需要对构件的一致性进行验证.构件的一致性包括语义一致性和协议一致性,已有的一致性验证方法仅支持构件的协议一致性验证.而在实际应用中除了要进行构件的协议一致性验证外,还需要进行其语义一致性验证.为此提出了一种包含协议和语义的构件一致性验证方法.将方法语义与基于场景的需求规约相结合,使用语义扩展接口自动机模型(SIA)来建模构件的语义和协议信息,使用带有语义约束的UML交互概观图来表示基于场景的需求规约.通过对SIA和带语义约束的UML交互概观图的行为的理论分析,进一步形成了一种一致性验证算法,并用实例来说明其过程.算法不仅能够检验系统中构件的协议一致性,而且能够检验其语义一致性.该算法中的方法语义包括了该方法参数的类型和详细语义信息,更符合实际应用情形.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	朱嘉钢	江南大学物联网工程学院	39	160	7.0	10.0
2	李雪	江南大学物联网工程学院	10	13	3.0	3.0
3	黄可望	无锡职业技术学院物联网技术学院	43	52	4.0	5.0