一种面向服务体系结构的服务组合方案求解方法.pdfVIP

一种面向服务体系结构的服务组合方案求解方法 高 俊 沈才梁 陈 暄 浙江工业职业技术学院，浙江绍兴312008 摘要:面向服务体系结构的出现为分布式应用集成提供了一种解决方案，如何快速准确地指定具体服务或求 解出服务的组合方案的问题尚待解决。根据对抽象服务的输入/输出等功能性属性的描述，完成了抽象服务组 合流程建模，为了对抽象层粗粒度服务的求精，提出了一种基于语义Web服务和图规划技术的服务自动组合机 制，该方法将Web服务映射为规划动作的形式化描述，形式化推理得出Web服务的组合方案。在具体的服务或 方案选择上，利用服务相似度优化服务或服务组合方案的选取。最后通过模拟实验验证了该方法的有效性。 Web服务;自动组合;服务相似度;组合求精 TP311 A 1001-3695(2011)11-4184-04 10.3969/j.issn.1001-3695.2011.11.049 ApproachofsolvingforservicecompositionprogramorientedSOA GAO JunSHENCai-liang CHENXuan 2011-04-05 2011-05-05 浙江省教育研究技术规划资助项目(JB036):绍兴市教育科学规划资助项目 (SGJ11061) 作者简介:高俊(1984-)，男，湖南益阳人，讲师，硕士，CCF会员，主要研究方向为软件自适应、可信软件(republic@126.com);沈才梁(1973-)， 男，副教授，硕士，主要研究方向为可信计算;陈暄(1979-)，男，讲师，硕士，主要研究方向为人工智能. 相似度的计 图的服务 @@[1] BRAHIMM,ATHMANB,ELMAGARMIDAK.ComposingWeb servicesonthesemanticWeb[J].VLDBJournal:VeryLargeData Bases,2003,12(4):333-351. @@[2] DANILOA,BARBARAP.Adaptiveservicecompositioninflexible processes[J].IEEETransonSoftwareEngineering,2007,33 (6):369-384. @@[3]胡海涛，李刚，韩燕波.一种面向业务用户的大粒度服务组合方法 [J].计算机学报，2005，28(4):694-703. @@[4]胡佳.语义Web服务自动组合及验证的研究[D].天津:天津大 学，2010. @@[5] KUTERU,SIRINE,NAUD,etal.Informationgatheringduring planningforWebservicecomposition[J].WebSemanticsJournal, 2005,3(1):183-205. @@[6]杨艳萍.自动Web服务组合关键技术研究[D].长沙:国防科学 技术大学，2007. @@[7]陈小红，尹斌，金芝.基于问题框架的需求建模:一种本体制导的 方法[J]软件学报，2011，22(2):177-194. @@[8] YANYi-xin,XUBin,GUZhi-feng.Automaticservicecomposition usingAND/ORgraph[C]//E-CommerceandE-Servicesofthe5th IEEEConferenceonEnterpriseComputing.2008:335-338. @@[1]王维平，朱一凡，李群，等.离散事件系统建模与仿真[M].2版. 北京:科学出版社，2007. @@[2] CLARKEEM,EMERSONEA,SIFAKISJ.Modelchecking:algo rithmicverificationanddebugging[J].Communication