论文部分内容阅读
Pi-演算是一种适合于web服务组合的进程代数，文章介绍了Pi-演算的基本语法，讨论了Pi-演算与Web服务协议栈的对应关系，说明了利用Pi-演算建立Web服务组合模型的规则，指出了如何寻找代理和通道。最后建立一个实际的模型，并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。
Web服务组合的Pi-演算描述
【摘 要】
：
Pi-演算是一种适合于web服务组合的进程代数，文章介绍了Pi-演算的基本语法，讨论了Pi-演算与Web服务协议栈的对应关系，说明了利用Pi-演算建立Web服务组合模型的规则，指出了如何寻
【机 构】
：
南京邮电大学
【出 处】
：
广东通信技术
【发表日期】
：
2010年1期
其他文献
腰西区块是腰英台油田最早开发区块，腰西区块注水井肩负着周边油井稳产的任务。由于腰西区块注水系统投产时间较早，现在不断出现各种问题。为保证腰西区块地层压力和原油生产平
在移动通信系统中，小区初始搜索是LTE-TDD系统一个非常关键的过程，处于物理层过程的第一步。通过该过程，用户终端（UE）可以搜索到一个可用的小区，并获得符号同步和帧同步。只有在完
十二家智能电网行业领导商在阿姆斯特丹欧洲电表会议（2011年10月4日至6日）上宣布组建新的全球合作伙伴联盟，以支持新的电力线通信协议G3-PLC的部署。
准噶尔盆地非常规油气资源类型多，资源丰富，有油砂、煤层气、油页岩和页岩气等资源。它们主要环盆地周缘分布，油砂位于盆地西北缘断裂带上盘，分布于吐谷鲁群、齐古组及克拉玛依组
计费是CDMA智能网业务开放实施最重要的一个环节，在业务开放前需要对业务计费进行大量调测、核对校验工作。丈章就某省综合VPN业务计费调测中出现的典型问题进行分析探讨，阐述