Pi演算,Pi calculus英语短句,例句大全

Pi演算,Pi calculus
1)Pi calculusPi演算
1.Business process model of CRM system based on PI calculus基于PI演算的CRM系统的业务流程建模
2.This paper expands the Pi calculus in order to address a formalized description of the BPEL4WS program.通过对pi演算进行扩充以形式化描述BPEL4WS程序,给出了扩充pi演算的语法和操作语义,并用pi演算的通讯并发结构表示BPEL4WS规范的link结构。
3.The paper puts forward a pi calculus encoding for fault and compensation processing in the Web Services Composition Language BPEL4WS in order to verify the BPEL4WS language automatically.本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。

英文短句/例句

1.Verification of Web Servies Composition Based on Pi-Calculus;基于Pi演算的Web服务组合的验证
2.Research on Formal Verification of Web Services Flow Based on Pi-Calculus;基于Pi演算的服务流验证方法研究
3.Modeling BPEL4WS Program with Pi Calculus and Case Study;Pi演算建模BPEL4WS程序及实例研究
4.Lifecycle of Modeling Business Process Based on Pi Calculus用Pi演算为业务过程建模的生命周期
5.Application of Typed Pi Calculus in Web Service Choreography类型化Pi演算在Web服务组合中的应用
6.Study on Verification Method for Web Service Compositional Compatibility Based on Pi-Calculus;基于Pi演算的Web服务组合兼容性验证方法研究
7.Research on Description and Verification of Traffic Web Services Based on Pi-Calculus基于Pi演算的交通Web服务组装的描述和验证
8.Research on Agent Interactions Based on Pi-Calculus;基于Pi-演算的Agent交互模式研究
9.Research on Petri Nets Semantics Translation for Finite Pi Calculus有限PI演算的Petri网语义转换研究
10.Business process model of CRM system based on PI calculus基于PI演算的CRM系统的业务流程建模
11.Verifying the Accuracy of Web Services Using Pi-calculus基于Pi-演算的服务组合正确性验证
12.Modeling and Application of Wireless Vending Machine System Based on Pi-Calculus;基于Pi-演算的无线自动售货机系统建模与应用
13.Model and Verify the Mobile Communication Service Based on PI-calculus;基于PI-演算的移动通信服务的建模与验证
14.MODELLING BUSINESS PROCESS OF PI CALCULUS ADAPTED TO CRM SYSTEM适用于CRM系统的PI演算的业务流程建模
15.Modeling the mobile communication service based on PI-calculus基于PI-演算的移动通信服务研究与建模
16.Some Gradient Learning Algorithms for Pi-Sigma Neural Networks;Pi-Sigma神经网络的几种梯度学习算法
17.Research on Pi-Sigma Neural Networks Learning Algorithms;Pi-Sigma神经网络的学习算法研究
18.A Fast Algorithm for Stabilizing First-order Plus Dead-time Processes Using Digital PI Controller一阶时滞过程的数字PI快速镇定算法

相关短句/例句

pi-calculuspi-演算
1.Verifying Web services substitution using Pi-calculus;基于Pi-演算的Web服务可替换性验证
2.Workflow Patterns Description in Term of Pi-calculus;基于Pi-演算的工作流模式描述
3.Specification and verification of WS-CDL choreography based on Pi-calculus;基于Pi-演算的WS-CDL编舞的描述和验证
3)pi-calculuspi演算
1.PI-calculus Modeling of Multicast Protocol Verified with MWB;多播协议PI演算建模与MWB检测
2.Improved method of automated Web service composition using Pi-calculus;一种改进的基于Pi演算的Web服务自动组装方法
3.Research on Formal Verification of Web Services Flow Based on Pi-Calculus;基于Pi演算的服务流验证方法研究
4)pi-like Calculus类pi演算
1.Formal Research of Electronic Payment Protocol Based on pi-like Calculus;基于类pi演算的电子支付协议安全性形式化研究
5)asynchronous PI-calculus异步PI演算
1.Properties analysis for Web services long running transaction based on asynchronous PI-calculus;基于异步PI演算的Web服务长事务协议性质分析
6)Applied pi calculus应用pi演算