基于Pi演算的OWl-s的Web服务的自动组合 |
| |
引用本文: | 李延红,岳厚光.基于Pi演算的OWl-s的Web服务的自动组合[J].信息与电脑,2011(4):42-43. |
| |
作者姓名: | 李延红 岳厚光 |
| |
作者单位: | 山东经济学院计算机科学与技术学院; |
| |
摘 要: | Web服务组合研究领域的一个重要的问题是如何形式化描述Web服务组合,如何验证服务组合的正确性。Web服务组合的形式化模型可以用来检查、验证Web服务组合以保证组合的正确性。针对目前最主要的一种语义Web服务组合的规范WEB本体论语言(Ontology Web Langage-Semantic,简称OWL-S),给出基于Pi演算的形式化描述,定义了Pi演算和OWl-S之间的概念映射,并给出了OWl-S的基于Pi演算的形式化模型,最后通过一个案例给出了模型验证的方法。
|
关 键 词: | Web服务 Web服务组合 WEB本体论语言 Pi演算 |
本文献已被 CNKI 等数据库收录! |
|