保罗·格雷芬；萨缪尔·安吉洛夫 动态服务外包的三级过程规范：从Petri网到ebXML和WFPDL。 （英语） Zbl 1283.90021号 Ehrig，Hartmut（编辑）等人，基于通信系统的Petri网技术。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-20538-1/pbk）。计算机科学课堂讲稿2472264-280（2003）。 概要：服务外包是一种业务范式，其中组织的部分业务流程由服务提供商执行。在动态市场中，服务提供商是在流程制定过程中动态选择的。双方之间的合作在动态生成的电子合同中规定。该合同包括一个针对服务匹配和跨组织流程制定而定制的流程规范，因此必须符合市场和规范标准。然而，过程制定依赖于组织内部的过程规范，这些规范必须符合组织中可用的基础设施。本文提出了一个基于动态契约的服务外包的三级流程规范框架。该框架通过第三个概念层次将两个过程规范层次联系起来。Petri网用于概念过程规范，而外部和内部层分别基于ebXML标准的工作流管理技术。我们展示了如何将框架放置在跨组织流程支持的基础设施上下文中。有关整个系列，请参见[Zbl 1028.00015号]. MSC公司： 90B70型 组织理论，运筹学中的人力规划 60年第68季度 规范和验证（程序逻辑、模型检查等） 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 软件：WFPDL公司 PDF格式BibTeX公司 XML格式引用 \textit{P.格雷芬}和\textit{S.安吉洛夫}，莱克特。票据计算。科学。2472264--280（2003年；Zbl 1283.90021） 全文： 内政部 链接