[1]孙爱玲.基于流演算的语义Web服务组合研究[J].江西师范大学学报(自然科学版),2016,40(06):648-652.
　SUN Ailing.The Research on Semantic Web Services Composition Based on Fluent Calculus[J].Journal of Jiangxi Normal University:Natural Science Edition,2016,40(06):648-652.
点击复制

基于流演算的语义Web服务组合研究()
分享到：

《江西师范大学学报》（自然科学版）[ISSN:1006-6977/CN:61-1281/TN]

卷:
40
期数:
2016年06期
页码:
648-652
栏目:
出版日期:
2016-12-01

文章信息/Info

Title:
The Research on Semantic Web Services Composition Based on Fluent Calculus
作者:
孙爱玲
南通大学现代教育技术中心,江苏 南通 226019
Author(s):
SUN Ailing
Modern Educational Technology Centre,Nantong University,Nantong Jiangsu 226019,China
关键词:
Web服务组合;  语义Web;  流演算;  Web服务;  OWL-S
Keywords:
web services composition;  semantic web;  fluent calculus;  web service;  ontology web language for services
分类号:
TP 393
摘要:
针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.
Abstract:
According to not considering the dynamics of the Internet environment and randomness of Web service during the existing semantic Web service composition methods,the theory of fluent calculus is proposed to research the semantic Web services composition.First of all,the Web service input,output,precondition and result and so on are mapped for the action formalization description based on fluent calculus.Then the rules are defined from the atomic processes and composite processes of OWL-S to fluent calculus.Then,a combined sequence of Web service is derived by formally reasoning with compositing Web services as the goal.So the correct and effective service composition schemes are dynamically formed.Finally,a session arrangement example is applied to validate the above theory.Result shows that it is feasible.

参考文献/References:

[1] 崔华,应时,袁文杰,等.语义Web服务组合综述 [J].计算机科学,2010,37(5):21-25.
[2] Charif Y,Sabouret N.An overview of semantic web services composition approaches [J].Electronic Notes in Theoretical Computer Science,2006,146(1):33-41.
[3] 苑迎春,王克俭,韩宪忠,等.基于工作流的Web服务组合多视图模型 [J].计算机集成制作系统,2010,16(1):30-36.
[4] 徐萌,陈俊亮,彭泳,等.基于服务关系的服务本体生成 [J].软件学报,2007,19(4):545-556.
[5] 刘祥.基于工作流和Agent的Web服务柔性组合技术 研究及应用 [D].南京:南京理工大学,2013.
[6] 史忠植,常亮.基于动态描述逻辑的语义Web服务推理 [J].计算机学报,2008,31(9):1599-1611.
[7] 王杰生,李舟军,李梦军.用描述逻辑进行语义Web服务组合 [J].软件学报,2008,4(19):967-980.
[8] Broy M,Kruger I H,et al.A formal model of service [EB/OL].
[2015-10-17].https://www.researchgate.net/publication/220403835_A_formal_model_of_services.
[9] 江卓.基于智能规划的自适应动态Web服务组合研究 [D].重庆:重庆大学,2015.
[10] 贾静兰.语义Web服务自动组合方法 [D].武汉:华中师范大学,2015.
[11] 杨爱琴.基于流演算的多Agent通信动作的研究 [J].计算机工程与设计,2010,31(1):221-224.
[12] Martin D,Paolucci M,Mcilraith S,et al.Bring semantics to Web services with OWL-S [J].World Wide Web,2007(10):243-277.
[13] 耿耘,蒋严冰,郭岩,等.基于组合验证的Web页面抽取算法研究 [J].江西师范大学学报:自然科学版,2013,37(3):142-147.
[14] 魏丹丹,邱乐兴.基于Web3.0的网络教学个性化服务平台构建 [J].江西师范大学学报:自然科学版,2013,37(6):584-586.
[15] 张晓丹,李静,张秋霞,等.语义Web本体语言OWL2研究 [J].电子设计工程,2015,23(16):28-31.
[16] 何涛,覃国蓉,梁永生,等.基于语义Web的软件需求验证工具研究 [C].International Conference on Intelligent Computation and Induwtrial Application,2011.

备注/Memo

备注/Memo:
收稿日期:2016-01-15基金项目:国家自然科学基金(61171132)资助项目.作者简介:孙爱玲(1972-),女,湖北鄂州人,实验师,主要从事管理信息系统的开发与人工智能的研究.
更新日期/Last Update: 1900-01-01