并发验证论文

基于SOA的服务组合机制研究
论文摘要针对现有Web服务组合实现框架的不足,本文提出了基于编舞的Web服务组合实现框架;在服务组合的验证过程中,本文使用Pi-演算做为模型检查工具,提出了将WS-CDL编舞转...