行业论文：鉴于有色网的BPEL过程考证本领的接洽

BPEL4WS（Business Process Execution Language for Web Service，简称BPEL）是构造和实行Web效劳过程设置谈话。惟有杰出的构造Web Service的过程，供给宁静的过程操纵囊括扶助实物处置、扶助特殊处置，本领更灵验的开拓适用的交易功效。BPEL4WS规范的开拓即是为了实行Web Service的构造。BPEL4WS扩充了Web Service的交互模子，进而供给了更高档次的过程工作处置。BPEL动作交易过程设置的谈话，功效宏大，运用精巧。然而它不足情势化的表面普通。在交易过程重组或比拟搀杂的过程建立模型中，不许径直经过BPEL文献决定过程设置的精确性，比方不不妨创造过程中的不行达震动。暂时的百般BPEL平台供给BPEL语法的查看，大局部平台仅能运用过程仿真的本领由用户查看所设置的过程能否生存题目。本课题根源于“产业化工程中线主线工程树立消息处置体例”，该名目中波及到财政、工程、财产、侨民环境保护等消息的处置、多个部分和单元的交易交互以及百般交易处置过程的处置。在该名目中，为了保护体例的盛开性和可扩充性，沿用了Web Service本领以及BPEL来构造鉴于Web Service的交易过程。对准BPEL生存的考证题目，过程对BPEL过程构造的接洽以及对Petri网表面在处事流范围的运用的接洽，正文开始提出了一种把BPEL过程变换为有色网模子的本领，把BPEL过程的基础震动和构造化震动按照其语义变换为Petri网表白，并运用有色网的脸色汇合表白过程中波及的数据，保护变换后网模子的消息完备。其次，鉴于正文提出的变换思绪和本领，实行了一个鉴于XSLT（eXtensible Stylesheet Language Transformation）本领的变换东西，把BPEL过程文献变换为PNML（Petri Net Markup Language）文献方法，进而不妨运用现有的扶助PNML文献的Petri网领会东西对过程举行领会，获得过程的本质，考证过程的精确性，保护在过程设置阶段创造过程生存的题目。正文实行的变换东西仍旧运用在产业化工程项手段过程设置阶段，对名目中的各BPEL过程举行了变换和考证，不妨创造过程设置中的不行达震动等题目。该东西面向BPEL规范，具备通用性，不妨运用在其余用到BPEL的名目中。