基于协同的服务组合与验证

发布时间：2018-04-20 00:41

  本文选题：OWL-S + 服务自动组合　； 参考：《沈阳理工大学》2014年硕士论文

【摘要】：语义Web服务（Semantic Web Services，SWS）是用语义Web标记语言来描述服务的技术，它使Web服务成为计算机可以理解的实体，从而支持服务的自动发现、执行和组合等。本文研究的是基于协同的服务组合与验证，主要目标是在Agent系统上实现Web服务的协同工作，，完成自动组合，生成相应的组合序列。本文主要成果有以下四个方面： （1）深入研究了语义Web本体语言OWL及语义Web服务描述语言OWL-S，并通过本体开发工具Protégé来开发本体，运用OWL-S Editor插件同Protégé开发工具来开发OWL-S，并通过购书服务的实例实现了OWL本体的开发和实现了OWL-S的服务描述。 （2）采用将OWL-S模型和状态演算相结合的一种服务自动组合方法，用状态演算描述语言Golog语言描述OWL-S服务，以电子商务中购书为例进行分析，分析出所涉及的原子服务，然后根据原子服务的协同交互运用Golog语言进行描述组合，并生成了相应的序列。 （3）设计了一种基于多Agent系统平台的Web服务组合模型，并进行了实例研究分析模拟。通过电子商务购书实例的演示系统初步验证了基于协同的服务组合的可行性。 （4）采用Pi演算算法对服务组合方法及产生的序列进行进一步验证，并运用Pi演算算法对Web服务可能的行为动作进行描述，验证出了上述服务所产生的服务序列是兼容的。
[Abstract]:Semantic Web Services (Web) is a technique that uses semantic Web markup language to describe services. It makes Web services become an entity that can be understood by computers, thus supporting the automatic discovery, execution and composition of services. This paper focuses on collaborative service composition and verification. The main goal of this paper is to realize the collaborative work of Web services on Agent system, to complete the automatic composition and to generate the corresponding composition sequence. The main achievements of this paper are as follows: (1) the semantic Web ontology language (OWL) and semantic Web Services description language (OWL-S) are deeply studied, and the ontology is developed through the ontology development tool Prot 茅 g 茅. Using OWL-S Editor plug-in and Prot 茅 g 茅 development tool to develop OWL-S. the OWL ontology development and OWL-S service description are realized by the example of book purchase service. In this paper, an automatic service composition method which combines OWL-S model with state calculus is used to describe OWL-S service by state calculus description language (Golog), and the atomic services involved are analyzed by taking the purchase of books in electronic commerce as an example. Then the Golog language is used to describe the composition according to the cooperative interaction of atomic services, and the corresponding sequences are generated. A Web service composition model based on multiple Agent system platform is designed, and an example is given to analyze and simulate the model. The feasibility of service composition based on collaboration is preliminarily verified by the demonstration system of e-commerce book purchase. The Pi calculus algorithm is used to further verify the service composition method and the generated sequence, and the Pi calculus algorithm is used to describe the possible behavior of the Web service. It is verified that the service sequence generated by the above services is compatible.
【学位授予单位】：沈阳理工大学
【学位级别】：硕士
【学位授予年份】：2014
【分类号】：TP393.09

【相似文献】

相关期刊论文 前10条

1 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期

2 王勇;张煜;尹瑞;;Web服务组合中商业事务处理的研究[J];小型微型计算机系统;2006年01期

3 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期

4 蒋运承;汤庸;;服务组合的质量估计模型[J];小型微型计算机系统;2006年08期

5 刘必欣;周斌;贾焰;;Web服务组合支撑平台StarService Flow的研究与实现[J];计算机工程与科学;2006年12期

6 陈红;;基于参考网的Web服务组合模型[J];计算机应用;2006年12期

7 单保华;韩燕波;李厚福;胡海涛;;一种验证业务级服务组合可执行能力的方法[J];计算机科学;2006年03期

8 廖志军;高春鸣;;基于π演算的异构Web服务组合的互操作[J];中国科技信息;2007年06期

9 周宇;张鹏程;李必信;;一种Web服务组合的数学模型[J];东南大学学报(自然科学版);2007年04期

10 王国法;孙晓亭;王昆;;Web服务组合中的服务选择研究[J];计算机与信息技术;2007年06期

相关会议论文 前10条

1 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集（研究报告篇）[C];2006年

2 吴亮;袁兆山;;基于模糊Petri网的语义Web服务组合[A];全国第20届计算机技术与应用学术会议（CACIS·2009）暨全国第1届安全关键技术与应用学术会议论文集（上册）[C];2009年

3 赵慧杰;;Web服务的组合计划与优化[A];2007年中国智能自动化会议论文集[C];2007年

4 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年

5 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年

6 付晓东;邹平;;基于元流程的Web服务组合例外处理模型[A];第二十六届中国控制会议论文集[C];2007年

7 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年

8 徐明迪;赵恒;张焕国;;面向可靠性的动态Web服务组合选择策略研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年

9 周献中;吴奎;萧毅鸿;;基于蚁群算法的Web服务自动组合[A];决策科学与评价——中国系统工程学会决策科学专业委员会第八届学术年会论文集[C];2009年

10 徐其兴;余镇危;;一种基于移动Agent的服务组合模型[A];2006年全国开放式分布与并行计算学术会议论文集（二）[C];2006年

相关重要报纸文章 前5条

1 本报记者 张茜 通讯员 孟庆超;打好服务组合拳助力民企大发展[N];莱芜日报;2014年

2 记者 俞永均 通讯员 方平原 王芬;外经贸部门打出金融服务组合拳[N];宁波日报;2012年

3 高智 本报记者 王彤;许昌保险业:亮出服务组合拳[N];中国保险报;2014年

4 沈建苗 编译;利用现有服务构建SOA应用[N];计算机世界;2006年

5 记者 萧雨林 通讯员 张兴汉 郭毕;打好服务组合拳 提质增效站排头[N];襄阳日报;2014年

相关博士学位论文 前10条

1 冯名正;Web服务组合关键技术研究[D];东南大学;2006年

2 何丰;语义Web服务组合若干关键技术研究[D];东华大学;2008年

3 周涛;基于策略的服务组合关键技术研究及应用[D];浙江大学;2012年

4 吴钟;面向多边协同的Web服务组合市场决策与优化管理研究[D];武汉理工大学;2013年

5 胡佳;语义Web服务自动组合及验证的研究[D];天津大学;2010年

6 马小宁;铁路信息共享的Web服务组合关键技术研究[D];北京交通大学;2010年

7 包力;Web服务组合形式化建模与验证研究[D];大连海事大学;2009年

8 刘莉平;动态Web服务组合关键技术研究[D];中南大学;2011年

9 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年

10 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年

相关硕士学位论文 前10条

1 刘磊;Web服务组合的性质检验与实现[D];电子科技大学;2009年

2 史斌;对等模式下个性化Web服务组合和匹配算法研究[D];山东大学;2009年

3 陈阳;Web服务组合模型及相关技术的研究[D];哈尔滨工程大学;2008年

4 周真建;语义Web服务组合的挖掘[D];南昌大学;2009年

5 魏守贤;动态服务组合在社区服务平台中的研究与应用[D];浙江工商大学;2011年

6 朱嘉鲁;基于移动Agent的Web服务组合[D];中国科学院研究生院（成都计算机应用研究所）;2006年

7 褚娟;Web服务组合的全局约束分析[D];山东大学;2007年

8 宋驰;基于用户偏好的启发式Web服务组合的研究与实现[D];北京邮电大学;2008年

9 张健;普适环境下一种分布式可靠服务组合机制研究[D];上海交通大学;2010年

10 余洋;Web服务组合的调解技术研究与应用[D];解放军信息工程大学;2011年

本文编号：1775498