基于Ｐｅｔｒｉ网的复合Ｗｅｂ　Ｓｅｒｖｉｃｅ构造与分析.docVIP

基于Ｐｅｔｒｉ网的复合Ｗｅｂ　Ｓｅｒｖｉｃｅ构造与分析 　　摘要:利用Petri网对工作流模型进行分析与验证是目前行之有效的一种方法。该文应用工作流思想研究Web Services的复合问题,利用Petri网技术分析Web Services 的调用过程,并对Web Services网进行形式化分析,给出Web Services复合群到工作流网的映射规则。 　　关键词:Petri网;复合Web Services;映射算法 　　中图分类号:TP311文献标识码:A文章编号:1009-3044(2009)24-6685-02 　　 　　Construction and Analysis of Composed Web Service Based on Petri Network 　　CHEN Yong 　　(Mingda Polytechnic Institute, Yancheng 224300, China) 　　Abstract: Nowadays, a efficient and effective method in workflow analysis and verification is using Petri nets. After summarized several types of web services composition, a method is proposed to compose web services by Petri. Furthermore this dissertation proposes the compose rules and introduces. 　　Key words: petri networks; composed web services; mapping algorithm 　　 　　目前,业务过程建模的方法很多,这些方法各有自身的适应领域和优缺点,对自身方法定义的过程模型合理性也提供支持。然而当经营过程较为复杂,如存在并发、冲突等情形时,利用Petri网进行工作流模型分析有明显的优势。因此,在实际应用中可以采用相应的方法进行工作流建模,而在模型分析时,通过一种具有语义不变性的映射方法将有向网络图转换为相同语义结构的Petri网,进而利用丰富Petri网理论进行模型分析[1]。 　　随着计算机分布式技术的发展,Web Services 已经成为异构系统互联的一种重要技术。目前Web Services的协同标准主要有WS-Coordination,WS-Transaction 和 IBM的工作流流语言WSFL、BPEL4WS等。WS-Coordination 规范定义了一个用来定义协调类型的可扩展框架,它提供了协调分布式应用程序的操作的协议[2]。这样的协调协议用于支持大量应用程序,包括那些需要对分布式事务的输出结果达成一致的应用程序。WS-Transaction规范提供了原子事务和业务活动等协调类型的定义,并包含了它们各自的协议。这些规范主要从Web Services协同的具体实现角度进行了叙述,没有形式化的描述和分析。本文采用Petri网技术首先探讨对Web Services 的调用过程,然后对Web Services 网进行形式化分析,并给出Web Services复合群到工作流网的映射规则。 　　 　　1 Web Service运行的Petri示意图 　　 　　在Web Service的Petri网模型中,有1个WSR、 m个WSP(可以提供n种WS服务)、一个UDDI中心(其实UDDI也可以是分布式结构的,可有多个结点组成,为了分析方便,此处假设是一个独立集中处理中心)。 　　T0:WSP1向UDDI注册服务; 　　T1:WSR向UDDI发出服务清求SR; 　　T2:根据SR1信息进行处理,分发服务请求给WSP1,找到符合要求的WSP,如果 WSP1为重要 WSP,它会定时向 UDDI汇报自己的QoS参数,即 T3变迁; 　　T3:QoSl把QoS参数返回给UDDI;若WSP1为重要WSP,则其便能条件是QoS参数定时器的触发;UDDI根据收到T3变迁的结果即最新的QoS参数来重新决定是否满足WSR1的服务请求; 　　T4:UDDI把查询及QoS协商的结果通知WSR1,如协商成功,则通知 WSR1可以和WSP1建立绑定,T5变迁开始执行:如协商不成功,要么放弃,要么等一段时间再发; 　　T5:WSR1通知WSP1开始服务请求绑定,并把相关参致,传递给WSP1:绑定后的服务请求进入眼务请求等待队列; 　　T6:表示服务进程S1从服务队列中调度服务请求,这个变迁的时间取决于服务进程的响应时间; 　　T7:表示服务