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