介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控......

介绍了XPDL 2.0规范和XPDL 1.0规范之间的差别;采用van der Aalst提出的20种工作流模式,着重分析了XPDL 1.0所不支持的九种过程控......

为解决企业间业务协同模型形式化检查的问题，将采用标准业务过程建模符号的业务模型转换为Pet“网，构造出一种可建模企业间复杂业务......

在基于标准模型驱动业务流程的开发环境中，需要把模型转换为代码。该文提出一种新的基于结构化定理的解决方法，把业务过程建模符号的......