摘要: Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEI。4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法。
辜希武 卢正鼎. 类型化的Web服务组合形式化模型[J]. 计算机科学, 2008, 35(1): 128-134. https://doi.org/
GU Xi Wu LU Zheng-Ding (College of Computer Science and Technology, Huazhong University of Science and Technology,Wuhan 480074). [J]. Computer Science, 2008, 35(1): 128-134. https://doi.org/