Web服务行为一致性与相容性判定

• 作者: 尹建伟 李莹 殷昱煜 邓水光
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: Web服务行为 相容性 一致性
• 年，卷（期）: 2009,（3）
• 所属期刊栏目: 学术论文
• 页码范围: 433-438
• 页数: 6页
• 分类号: TP311
• 字数: 5309字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2009.03.001

摘要

Web服务行为相容性和一致性足保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-L(o)f类型论(简称:MIT),并针对其在服务动态行为描述L的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷昱煜	浙江大学计算机学院	3	43	3.0	3.0
2	李莹	浙江大学计算机学院	46	1420	16.0	37.0
3	邓水光	浙江大学计算机学院	24	1365	14.0	24.0
4	尹建伟	浙江大学计算机学院	66	1037	17.0	30.0