论文部分内容阅读
BPMN(BusinessProcessModelingNotation)验证是BPMN模型在实现或转化成其它语言前，通过某种方法或技术发现模型中存在的问题。这是BPMN模型成功实现的关键。本文主要研究BPMN编排正确性的验证问题，探索基于Pi演算的BPMN编排验证方法。本文通过对各种服务交互模式的Pi演算描述的研究，建立起Pi演算描述BPMN编排的算法。并根据Pi演算的转换语义和自动推演等理论来识别和验证BPMN编排中的语义错误。Pi演算自动验证工具MWB应用广泛，但它难于集成到其它系统，所以本文根据对BPMN编排描述的特点及Pi演算转换语义提出了简化的推演算法。最后，本文基于Eclipse基金中的STPBPMN项目，实现了基于Pi演算的BPMN编排验证系统原型。