之后,可以得出可达标识图(见图2)。图2中三条虚线暂时可以不考虑,是为了后面的分析。对该可达图进行可达性、有界性、活性、完整性及前进性分析如下: (1) 该组合服务是完全可达的 从M0开始的状态可达集R(M0)=
之后,可以得出可达标识图(见图2)。图2中三条虚线暂时可以不考虑,是为了后面的分析。对该可达图进行可达性、有界性、活性、完整性及前进性分析如下:
(1) 该组合服务是完全可达的 从M0开始的状态可达集R(M0)={M0,M1,M2,M3,M4,M5,M6,M7,M8}。状态集MS={M0,M1,M2,M3,M4,M5,M6,M7,M8}。可见,Mi∈MS,均有Mi∈R(M0),即该组合服务中任一个状态都是从M0可达。
图2 服务组合实例的可达标识图
(2) 该组合服务是有界的 在可达树中,每一个位置上的托肯数未超过1,因此该组合服务是安全的。
(3) 该组合服务是活的 从图2可以看出,从M0开始,Ti∈T(T是所有变迁的集合)都至少可以被从M0开始的激发序列fire一次,可见该组合服务的Petri网是活的。
(4) 该组合服务具有完整性 由图2可见,该组合服务的所有状态都从M0可达并且可以到达终止状态M8。
(5) 该组合服务具有前进性 在可达树中,任意状态之间没有出现无意义的循环。
由定义4知,该服务组合模型是合理的。
执行算法2后,可以得到如图2所示的带并发标记可达标识图(虚线即并发标记),把虚线等同普通弧考虑,费用作为弧上的权值,目标问题转化为求i到o的最短路径问题。采用Floyd(弗洛伊德)算法[9]找出最短路径,也就是最终所得,费用最廉的组合结构序列。 南粤论文中心(WWW.NYLW.NET)
算法3复杂度为O(n3), 根据此算法, 图2得到的组合结构序列为T1·T2·((T5·T6)‖T3)·T4,G[0,8]=135(0代表M0,8代表M8),由组合结构序列,参照变迁所指原子服务,可以生成BPEL抽象流程模板。抽象流程可以用来呈现可执行流程的某些方面,通过抽象手段使得人们易于理解和沟通;同时以简单的抽象流程作为设计流程的起点,通过不断精化和改进,构建出复杂的可执行流程。抽象流程还可以用来实现协议匹配,来判断两个业务伙伴是否能够互相交互。BPEL抽象流程模板如下
4结论
Web服务组合是Web服务的一个重要研究方向。本文采用了Petri网技术对Web组合进行描述,并对组合服务的可达性、安全性、有界性、活性、完整性和前进性等特性进行了验证分析,利用可达标识图抽取变迁之间以及变迁序列之间的并发关系,它能够根据用户需求自动设计出性能最优的组合方案,从而转换为BPEL抽象模板。
参考文献:
[1] 董文莉, 胡建华.基于 BPEL 的 Web Service组合的数据流分析测试方法[J].软件学报, 2009, 20(8):2 102-2 112.
[2] RAO J, KUNGAS P,MATSKIN M. Logic-based Web services composition:From service description to process model[C]∥Proceedings of the IEEE International Conference on Web Services(ICWS),San Diego,California,2004:446-453.
[3] SIRIN E,PARSIA B,WU D,et al.HTN planning for Web Service composition using SHOP2 [J]. Journal of Web Semantics,2004,1(4):377-396.
[4] LANGQHA,SUSYW.AND/OR graph and search algorithm for discovering composite Web services[C]∥Int’1 Journal of Web Services Research,2005,2(4):46-64.
[5] 门鹏,段振华.一种基于Petri网的自动Web服务组合算法[J].西安电子科技大南粤论文中心(WWW.NYLW.NET)学学报:自然科学版, 2008, 35(4):609-613.
[6] 张佩云,黄波,孙亚民. 基于Petri网的Web服务组合模型描述和验证[J].系统仿真学报, 2007,19(12):2 872-2 876.
[7] 吴哲辉.Petri网导论[M]青岛:机械工业出版社,2006:80-130.
[8] 刘文彬,刘美桃.一种费用最廉的Web服务动态组合算法[J].科学技术与工程,2008,8(1):159-161.
[9] 严蔚敏,吴伟民.数据结构(C语言版)[M].北京:清华大学出版社,2006:45-98.(责任编辑：南欧)转贴于南粤论文中心: http://www.nylw.net(南粤论文中心__代写代发论文_毕业论文带写_广州职称论文代发_广州论文网）
顶一下
(0)
0%
踩一下
(0)
0%
版权声明：因本文均来自于网络，如果有版权方面侵犯,请及时联系本站删除.
