1.
Verification of Web Servies Composition Based on Pi-Calculus;
基于Pi演算的Web服务组合的验证
2.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
3.
Verification and Reduction of Web Service Composition Based on Petri-Net;
基于Petri网的Web服务组合验证与化简
4.
Hierarchical Petri Net Based Modeling and Verification of Web Service Composition;
基于分层Petri网的Web服务组合建模与验证
5.
Study on Verification Method for Web Service Compositional Compatibility Based on Pi-Calculus;
基于Pi演算的Web服务组合兼容性验证方法研究
6.
Modeling and Verification of Semantic Web Service Composition Based on Fuzzy Petri Net
基于模糊Petri网的语义Web服务组合建模与验证
7.
Verification Mechanism for Web Service Composition Based on Extended Colored Petri Net
一种基于扩展颜色Petri网的Web服务组合验证机制
8.
Modeling and Verifying Composite Web Services Based on Semantic Annotated Petri Nets
语义标记Petri网的组合Web服务建模与验证(英文)
9.
Authentication method of Web service combination formalization based on petri net
Web服务组合形式化验证方法研究
10.
Semantic consistency verification of Web service composition
Web服务组合语义一致性验证研究
11.
Research and Analysis on Model for Web Service Composition Based on Workflow Petri Net;
Web服务组合工作流建模分析及Petri网验证
12.
Object-oriented MSVL and Its Application to Verification of Composite Web Services
面向对象MSVL语言及其在组合Web服务验证中的应用
13.
A Teaching Experiment Research based on WEB Server and DNS Server;
基于Web服务器和DNS服务器组合实验教学的探讨
14.
Research on Description and Verification of Traffic Web Services Based on Pi-Calculus
基于Pi演算的交通Web服务组装的描述和验证
15.
Service Tuple Chain-based Approach for Web Service Composition
基于服务元组链的Web服务组合方法
16.
Research on Dynamic Web Service Composition and Performance Analysis with QoS Assurences;
保证服务质量的动态Web服务组合及其性能分析研究
17.
Dynamic Web Service Composition Based on Service Feature;
基于服务特性的动态Web服务组合研究
18.
Verification of Web Service Orchestration Based on Concurrent Transaction Logic
基于并发事务逻辑的Web服务编制验证