%0 Journal Article
%T Web服务行为一致性与相容性判定
%A 殷昱煜
%A 李莹
%A 邓水光
%A 尹建伟
%J 电子学报
%P 433-438
%D 2009
%X Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,基于扩展后MTT的相关理论,给出服务行为相容性和一致性的证明规则.最后,通过实例给出服务行为相容性和一致性判定过程,并分析其复杂度.
%K Web服务行为
%K 相容性
%K 一致性
%U http://www.ejournal.org.cn/CN/abstract/abstract2260.shtml