在以服务为主体的互联网下,单一的服务已经远远不能满足人们的需求。将多个服务组合来满足需求成为研究的重点。文章在研究现有方法的基础上,总结出此类问题的一般思路,并介绍每个环节中的各个方法,而后对各种方法进行对比。最后为今后的研究做出展望。

总第 2 3 7期 21第 7 0 2年期

计算机与数字工程

Co u e mp tr& Diia gn eig gtl En ie rn

Vo . 0 No 7 14 .

13

基于遗传算法 We b服务组合的一般过程

杨溢龙王伟茹杨静

贵阳 5O2) 5O 5 (贵州大学计算机科学与信息学院摘

展望。

要

在以服务为主体的互联网下，单一的服务已经远远不能满足人们的需求。将多个服务组合来满足需求成为研究的重点。文章

在研究现有方法的基础上，总结出此类问题的一般思路，并介绍每个环节中的各个方法，而后对各种方法进行对比。最后为今后的研究做出关键词 We b服务组合；遗传算法

T 33 P 9

中图分类号

S r e fW e e v c mp s t n Ba e n Ge e i g rt m u v y o b S r ie Co o ii s d o n tc Al o i o h

YANG l n W ANG W e r YANG i g Yi g o iu Jn

( le eo mp t rS in ea d I f r to Guz o ie st Colg fCo u e ce c n n o main, ih u Un v riy,Guia g 5 0 2 ) y n 5 0 5

Abs rc No da s sn l b s rieha ear a y n ufle h e u rme t. o mut—e vcs mu th o ta t wa y, igewe e vc v le d otfli d t e rq ie n s S lis rie s e c mhi d .Thi a e l ne sp p r c n l d h o ma t o o s leti s u nd rrs ac igt ure tme h d . e h a iu f eh dh v e nc mp rd i e o cu et en r lmeh d t ov h sis eu e ee rhn hec rn t o s Th n t ev ro so t o a eb e o a e nd— m ti . e s, l t ec r e two ksh v e n s mm aid Th n p tig fr r h u u ewo k al Atlat al h u rn r a eb e u s re . e u tn o wad t ef t r r . K y or W e e vc o p sto e W ds b s r iec m o iin,g n tcag rt e ei l

o i hm

Cl s it e TP3 3 a s NU Tb r 9

1引言

在以服务为主体的互联网下，一的服务已经远远不 单

需求，分析过程要参考 W e服务业务流程执行语言此 b

( sn s o e s Ex c t n La g a e o e e v c, Bu i e s Pr c s e u i n u g f r W b S r ie o

B E 4 S中的规定的四种流程结构进行：序、行、 P LW )顺并分

能满足人们的需求。将多个服务组合来满足需求成为研究

的重点。在进行大量文献研究基础上，文总结出一般化 本

支、环[。循

同样可以采用自底向上的方式，从元需求出发，各先将个元需求进行组合，合式进行相关性判定 _。但此方式组 8]只有在需求较小时，率较高；需求较多时，法一次性效而无识别元需求。

的服务组合过程。首先，据用户需求，依进行需求的划分， 分解成多个子需求，再将各个子需求逐层精化后，得到元需

求，而后将相同功能的服务与每个元需求进行关联，而依 继据相容性判定准则，不相容的服务除去，后根据非功能将之

性需求，在可能的组合中求出最优，最后将此组合返回给用户进行服务组合的评价，根据这个评价可以进行组合的修

正。但由于 w e服务描述本身表达的不清晰性， b目前有基

3 We b服务与元需求的关联

在将原任务识别之后，需要根据 WS ( bS ri s DL We evc e

Decit nL n ug ) e务描述语言中所描述的 W e sr i ag a eW b服 po b

于语义 we b的解决方式， We将 b服务描述成为服务本体，

然后在这个基础上进行验证和推理。本文主要讨论是基于

服务的功能性需求 F把相同 F D, D的 We b服务与元需求进

行关联 D一f( ,, n。记录在二元组 ( iw ) w,… g) u D,构

遗传算法的 we组合， b所以这种方式这里不进行过多的阐

述。

成的集合 s中，其中 D为元需求，为 We,,] ,… 构

成的向量。

2元需求识别

本节主要介绍元任务的识别过程，过程可以看成是此

4流程的验证与简化

将整个集合 S

进行形式化方法描述。

目前常见方式有 4:类 1 )基于操作语义的方式：如演算、 S C P等。

软件工程自顶向下需求分析的过程，根据用户的需求 D, 自顶向下的分解出每个子需求，然后再将各个子需求逐层精化，得到各个元需求 (,,, )元需求为不可再分的 D Dz… ,

2基于指称语义的方式： B方法、 C S自动机等。 )如 R O、

*收稿日期：0 2年 1 1 21月 2日，回日期：0 2 2月 2 修 21年 4日

基金项目：贵州省科学技术基金(编号：合 J[0 0 2 9号)工业科技攻关项目(黔科字 2 13 o 4;编号：0 0 2 1筑科合同字第 1 5;阳市科—号)贵 7

学技术计划项目(编号：筑科合同(0 1 0 ) 42号)贵州大学研究生创新基金( 2 1 2 1大一—;编号：理工 2 10 6资助。 023) 作者简介：杨溢龙，硕士，男，研究方向：软件工程，形式化方法，机器学习。王伟茹，,女硕士，研究方向：密码学。杨静，,女教授，研究方向：件工程与形式化方法。软