| 基于流演算的语义Web服务组合研究 |
| |
| 引用本文： | 孙爱玲. 基于流演算的语义Web服务组合研究[J]. 江西师范大学学报(自然科学版), 2016, 40(6): 648-652 |
| |
| 作者姓名： | 孙爱玲 |
| |
| 作者单位： | 南通大学现代教育技术中心,江苏 南通 226019 |
| |
| 摘 要： | 针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.
|
| 关 键 词： | Web服务组合 语义Web 流演算 Web服务 OWL-S |
The Research on Semantic Web Services Composition Based on Fluent Calculus |
| |
| SUN Ailing. The Research on Semantic Web Services Composition Based on Fluent Calculus[J]. Journal of Jiangxi Normal University (Natural Sciences Edition), 2016, 40(6): 648-652 |
| |
| Authors: | SUN Ailing |
| |
| Affiliation: | Modern Educational Technology Centre,Nantong University,Nantong Jiangsu 226019,China |
| |
| Abstract: | |
| |
| Keywords: | web services composition semantic web fluent calculus web service ontology web language for services |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《江西师范大学学报(自然科学版)》浏览原始摘要信息 |
|
点击此处可从《江西师范大学学报(自然科学版)》下载全文 |
