死路径消除语义下的BPEL过程建模与分析.pdf

软件与算法 Software and Algorithms 死路径消除语义下的BPEL过程建模与分析$ 陈 莹 \邢 建 春 \王 洪 达 \杨 启 亮 (1.解放军理工大学国fe工.程学_院扛雜亩貧2__mo〇7;2.讀袁太学计算机敏件新技术国家篥惠实验室，扛赛南貪s i 腿 摘 要 : 针 对 .BPEL过 程 在 苑 路 径 謂 除 语 义 下 建 模 与 分 析 不 够 完 善 的 问 题 ，提 出 了 一 种 新 的 BPEL过 程 建 模 与 分 析 方 法 。该方 法 建 立 了 餐 BPEL. 死路径_消除语义转化.为普通if-then-*=lse 的规.则，进 而 可 以 利 用 着 也 Petr 网(:ePN_t .形武化地对BPEL.过程进行 _模 ,并 通 过 CPN.-T w ls对 BPEI .过 輕 的 建 模 进 行 自 动 分 析 及 验 证 。案.例分析表明，该，方法具有一定.的实用性.和可行性.，能.够帮 助软件工叔人复更好_地(.测试、调 试 和 维 护 BP_E t 餐 序 s 关 键 词 ：Web服务组合;；BPEL程序依赖图:；疙路径语.义消除；着 色 Pett _网 中 图 分 类 号 ：TP3.11.5 文 献 标 识 码 ：A DOI ； 10. 19358/j . issn . 1674-7720.2017.06.008 引 用 格 式 :陈 莹 ，邢 _ , 王 撰 达 ，等 .死 路 径 消 除 语 义 ，下 的 BPEL过 程 建 樣 if 分 析 [刀 .微型机视应用,2017 ,36(6U 22-25. Modeling and analyzing BPEL processes under dead path elimination semantics Chen Y in g 1, X ing Jianchun1 , W ang Hongda1 , Yang Q iliang1,2 (1 . College of Defense E ngineering, P LA U niversity of Science and Technology, N anjing 2 1 0 0 0 7 , C h in a ； 2. State K ey Laboratory fo r N ovel Software Technology, N anjing U n ive rsity, N anjing 2 1 0 0 9 3 , C hina) Abstract ：A im in g at the incom pleteness of BPE L processes m odeling and analysis under dead path elim in ation sem antic, this paper proposes a new BPE L process m odeling and analysis method. F irs tly , this method puts forw ard a set o f ru le s, realizing the transform ation from BPE L under death path elim ination sem antic to ordinary if-then-else form . T h e n , this method establishes the form al model of BP E L process using Colored P etri Net ( C P N ) . F in a lly , the autom atic analysis and verification of BPE L process m odel is accom plished w ith CPN-Tools. Case study shows that the method has p ra ctica b