摘要
针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。
Due to the poor expression ability and the difficulty to verify the soundness of workflow model, the paper maps the workflow notion defined by Workflow Management Coalition (WfMC) to WorkFlow net (WF-net). Through applying unified resource manager and the introduction of colored Petri net, the paper gets colored WF-net, which is simple and easy to computerize. Based on the definition of two adjustment mappings, which are proved not to destroy structure properties and system behaviors, the paper adjust the WF-net to a complete Extended Free Choice net (EFC-net).After adjustment, the soundness of all WF-net models can be verified in polynomial time.
基金
国家自然科学基金资助项目(79870005)
香港RGC联合资助项目(7991061987)。~~
