基于Petri网的Web服务组合流程的验证.pdfVIP

科技信息 计算机与网络 基于Pe 网昀Web服务组合流程硇验证 安徽新华学院信息工程学院 沈桂芳 [摘 要]web服务组合是面向服务计算下的构建应用的主要方法。而当前web服务组合的方法由于缺乏有效的验证机制，有时会 返回很多无效的结果，降低了服务组合应用的效率。为了解决这些问题，本文基于pe 网的对服务组合流程进行建模，同时引入一 种验证算法以验证组合流程 的正确性。 [关键词]weh服务 面向服务的计算 服务组合 Petri网 1、序言 近年来 ，面向服务的计算 (sOc)已经成为分布式环境下 (如网格 或对等网络)解决集成异构应用问题的主要方法。s0c下的服务作为软 。叫一。。一I三董。一I三萤；I—oI三营 件实体被定义，研究主要集中在一个服务如何与其它服务协作完成某 s。qu锄ce spJ；l sp】it-Jojn Unordered 个应用任务上。因而服务组合被作为面向服务计算下构建应用的主要 方式。Intemet的异构和动态的特性要求基于web的服务能够按要求实 现服务，即现有的服务能够协同工作以满足用户的要求 。 。≤；。：==昌 。===o L。 目前关于服务组合的研究项 目，包括HP实验室的eFJnwl引，加利福 尼亚伯克利大学的Mni服务组合，斯坦福大学的sw0RD ，它们都只 Choice If_Then—Else Iterate Repeat—Until 是典型的加强服务编制，忽略了用户和服务的上下文。另外，请求者也 图1基于控制结构的Pe试 许会由于上述方法中的缺乏组合服务的过程验证而得到无效的组合结 可达树是用来描述所有从初始状态开始的可达状态。在可达树中， 果。因此，本文提出了一种基于Pe 网组合服务建模机制 ，同时引入 代表M。和它所有可达的后继节点中：M。代表树的根结点；叶子节点对 一 种验证算法以验证服务组合流程的正确性。 应系统的最终状态；弧代表相关的转换。从根结点到一个确定的节点的 2、过程验证器 路径代表一个可执行的序列。符号m代表某个节点位置处的有效令牌 过程验证器的主要功能是验证中介注册代理生成的服务执行队列 数为无穷。本文的方法是通过检查流程网的状态和某个位置节点的有 是否可行，并检查队列中是否存在服务之间的不兼容。 效令牌数，来实现构造可达树过程中的cs模型的验证。 定义 1．一个假定的事件是一条 xML消息产生的。如果 web服务 算法 1．一个 cs模型的验证算法 ws要求输入事件消息x在输出事件消息Y之前，而web服务ws要 输入：由Pe 网表示的cs模型 求输入事件消息Y在输出事件消息x之前，这样一个顺序关系将导致 输出：可达树 TfPN) ws。和ws：之间的无效组合。这种现象称之为服务组合的不兼容性。 方法： 过程验证器将组合服务转换为对应的 tri网，并通过检查PN模 步骤 l：初始化 r(PN)的根结点r，令M=‰； 型的活跃度来判断是否存在死锁 (详见第三节)。如果存在死锁，服务执 步骤 2：x是一个叶子节点当且仅当下列条件满足： 行层将用中介层返回的服务列表中的可供选择的兼容服务替换掉服务 (a)M不存在激活的转换，例如，Vt∈T—+]M “)； A或