语义Web服务组合的形式化描述与验证研究 |
| |
引用本文: | 程永上,王志坚.语义Web服务组合的形式化描述与验证研究[J].计算机科学,2008,35(4):40-43. |
| |
作者姓名: | 程永上 王志坚 |
| |
作者单位: | 河海大学计算机与信息工程学院,南京,210098 |
| |
基金项目: | 国家自然科学基金
,
国家重点基础研究发展计划(973计划)
,
江苏省自然科学基金 |
| |
摘 要: | Web服务组合是Web服务的主要研究方向之一,对语义Web服务组合进行形式化描述并进行分析和验证是组合服务正确运行的保证.本文首先给出了基于有色Petri网的语义Web服务形式化模型,形式化描述了OWL-S的ServiceModel中8种基本的Web服务组合模式,利用这些组合模式可以构造出满足需求的组合Web服务.然后,对服务组合形式化模型的正确性分析和验证进行研究后,给出了组合模型语法正确性、可达性、活性和有界性的算法.最后,通过一个具体的建模实例展示了Web服务组合的Petri网建模.
|
关 键 词: | Web服务 Web服务组合 Petri网 建模 验证 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|
点击此处可从《计算机科学》下载全文 |
|