(最新)基于fca的web服务动态组合及管理方法研究

《(最新)基于fca的web服务动态组合及管理方法研究》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、陈平，刘建勋，覃事刚：基于计FC算A机的工W程eb与服务设动计态C组om合p及ute管r理En方gin法ee研rin究gandDesign2010,31(21)4611信息化技术基于FCA的Web服务动态组合及管理方法研究陈平，刘建勋，覃事刚(湖南科技大学知识处理与网络化制造湖南省普通高校重点实验室，湖南湘潭411201)摘要：为实现Web服务的动态组合及管理，分析了该领域的研究现状，针对存在的问题，运用形式概念分析相关理论来研究Web服务的组合管理，对候选Web服务的输入输出数据关系进行形式化建模，有效地利用消息依赖关系实现服务的组合请求。提出了利用二分图求得所有形式概念的算法，建立服

2、务格及计算服务组合关系的算法，设计并实现了原型系统以满足Web服务的动态组合及管理。关键词：Web服务;服务组合;形式概念分析;服务管理;二分图;服务格中图法分类号：TP393.09文献标识码：A文章编号：1000-7024(2010)21-4611-04ResearchonapproachofFCA-basedwebservicesdynamiccompositionandmanagementCHENPing,LIUJian-xun,QINShi-gang(KeyLaboratoryofKnowledgeProcessingandNetworkedManufacture,HunanUn

3、iversityofScienceandTechnology,Xiangtan411201,China)Abstract：Toimplementdynamiccompositionandmanagementofwebservices,thesituationofstudyonthisdomainisreported.Aimedattheseexistingproblems,usingrelevanttheoriesofformalconceptanalysistostudywebservicescompositionandmanagement.Mode-lingtheinputandou

4、tputdatarelationsdependencyofcandidatewebservices,thenimplementedtherequestsofservicescompositionbyuseofmessages’dependencyvalidly.Somealgorithmsincludingfindingalloftheformalconceptmakeuseofbi-graph,buildingserviceslatticeandcalculatingrelationsofservicescompositionaredesigned.Lastly,aprototypes

5、ystemisdesignedandimplementedtosatisfywebservicesdynamiccompositionandmanagement.Keywords：webservices;servicescomposition;formalconceptanalysis;servicesmanagement;bigraph;servicesgrid动态服务组合的主要研究方法有两类：一类是用工作0引言流[5-7]表示组合服务，这类方法的建模和验证常使用Petri网[8-9]Web服务是部署在Web上的软件组件或应用程序，提供和时序逻辑等形式化的方法；另一类是借助人工智能的思

6、想，[1]如语义Web[10-11]，本体[12]。然而，这些方法几乎都没有研究服务了某种特定的功能服务，可以在Web上发布、发现与使用。Web服务所执行的功能可以是从简单的请求到复杂的商业过组合源的管理问题，实际上，建立服务组件之间的联系，并进程中的任何事，然而单个Web服务的功能有限，难以满足实际行概念描述和分类，对于服务选择的效率、准确性及服务组合应用中的多种多样的需求，因此，将共享的Web服务组合起的容错性都有很大的裨益。本文针对Web服务的组合管理问来，形成功能丰富的企业级服务流程以达到企业的商业目标，题，提出了基于FCA的Web服务动态组合管理方法，它以Web已经成为Web服

7、务发展过程中的一个重要步骤。Web服务组服务搜索引擎WSSE(webservicessearchengine)搜索到得Web合，指的是从互联网中选取相对简单、可用的Web服务，并将服务作为服务组合管理的Web服务来源，利用形式概念分析它们组合成新服务的技术[2-3]。根据Web服务组合发生的时(FCA)这一数学工具，通过对Web服务及服务间的关系进行形间，Web服务组合可以分为静态组合和动态组合，前者的组合式化定义，利用形式概念分析