| Autor: |
Zhenyu Lu, Ji Gao, Jian Xiang, Zhijun Zheng, Xueqin Jiang, Jieqing Ai, Yu Jin, Yanbin Peng, Lv Ye |
| Rok vydání: |
2009 |
| Předmět: |
|
| Zdroj: |
2009 International Conference on E-Business and Information System Security. |
| DOI: |
10.1109/ebiss.2009.5137943 |
| Popis: |
With the number of services increasing in a rapid speed in the Internet, it becomes a research hotspot to discover target service according to the service requirement. When single service can not satisfy the service requirement, services can be composed to provide complex function. There are already a lot of service composition methods, so it is crucial to provide a method to verify the correctness of composite service. This paper proposes a pi-calculus based automatic method to verify it. Experiment data shows that with the importing of the new verification method, the precision of service discovery process has been improved. |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
