论文摘要：处事流进程建立模型透彻化及适用化的商量

处事流处置体例继数据库处置体例和人机界面处置体例之后，被称为运用软硬件的第三次辨别。它已变成构成新颖运用体例，更加是处事在Internet 情况下的运用体例不行或缺的要害构成局部。这种辨别不只使人们对那些辨别的软硬件成份能举行深刻的接洽，并且那些老练的软硬件元件不妨简单的结构所有运用，减少了软硬件复用性。暂时，在并行工程，企业进程处置，企业筹备进程重组，供给链处置，赶快创造等范围都发展了处事流运用本领的接洽。 处事流建立模型本领是处事流运用本领中的一个要害接洽范围。怎样直觉透彻的刻画百般企业运用中的搀杂进程；怎样对处事流进程模子举行灵验的考证，并为用户定位和窜改缺点供给扶助消息；怎样由面向用户的处事流进程模子机动天生进程设置接口的实行谈话BPEL，进而更好的扶助企业进程重组和操纵的精巧性。这是处事流进程建立模型透彻化及适用化的题目，也是正文重要的接洽实质。 正文重要应用了Petri 网本领，分割数学表面及XML 本领，从处事流形式透彻化刻画，模子的情势化考证，机动天生底层刻画谈话BPEL 三个上面打开，接洽了处事流进程建立模型透彻化及适用化的题目，重要革新点为：(1) 以受限Petri 网模子WF_net 动作扩充东西，经过减少关系数据变量元素，窜改工作的焚烧前提和实行准则，提出了一个不妨掩盖已有的20 种处事流形式的透彻化刻画模子EPNet，并给出了这20 种处事流形式的EPNet 刻画计划。(2) 贯串Petri 网和WF_net 的已有领会本领和关系功效，提出了从语法，论理，语义三个档次来考证EPNet 模子精确性的情势化本领及实行算法，并给出了关系的表明。EPNet 的分层考证法不只不妨用来确定模子能否精确，并且还能供给缺点领会汇报，在确定水平上不妨扶助建立模型者定位缺点，窜改模子。(3) 以Petri 网化简表面和组件表面为按照，提出了一种由EPNet 机动天生BPEL 代码的变换本领EPNet2BPEL，并给出了不妨掩盖处事流形式的基础组件及其映照本领，进而经过EPNet2BPEL 不妨变换由处事流形式形成的一切EPNet。该本领天生的BPEL代码不只具备较好的可读性，并且证领会该BPEL 代码不妨维持源模子的精确性。 其余，正文在关系东西的实行上面，以EPNet 关系表面和本领为普通，贯串软硬件工程的道理，面向东西的软硬件开拓本领和安排形式的思维，安排并发端实行了处事流进程建立模型东西EPTool。EPTool 的重要功效囊括：图形化建立模型，情势化考证及机动天生BPEL代码。在运用试验上面，以国度常识产权局表面安排部的交易进程建立模型为运用后台，运用EPNet 企业进程建立模型本领实行了所有表面交易体例的进程建立模型计划。 试验表白，正文在处事流进程建立模型本领中所博得的功效，不只具备接洽价格，并且具备适用价格，不妨动作关系接洽参考和运用的普通。