×

兹马思-数学第一资源

动态服务外包的三级过程规范:从Petri网到ebXML和WFPDL。(英语) Zbl公司 1283.90021
Ehrig,Hartmut(ed.)等人,《基于通信系统的Petri网技术》。Petri网研究进展。柏林:斯普林格出版社(ISBN 3-540-20538-1/pbk)。计算机科学课堂讲稿2472264-280(2003)。
摘要:服务外包是一种业务模式,在这种模式中,组织的一部分业务流程由服务提供商执行。在动态市场中,服务提供商在流程制定过程中是动态选择的。动态订立的电子合同规定了当事人之间的合作。本合同包括一个为服务匹配和跨组织过程制定而量身定制的过程规范,因此必须符合市场和规范标准。然而,过程制定依赖于组织内部的过程规范,这些规范必须符合组织中可用的基础设施。本文提出了一个基于动态契约的服务外包过程规范框架。该框架将两个过程规范级别通过第三个概念级别联系起来。Petri网用于概念过程描述,而外部和内部层次分别基于ebXML标准的工作流管理技术。我们展示了如何将框架放在跨组织流程支持的基础设施环境中。
整个系列请参见[Zbl 1028.00015].
理学硕士:
90B70型 运筹学中的组织理论与人力规划
68Q60型 规范和验证(程序逻辑、模型检查等)
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
软件:
WFPDL公司
PDF格式 BibTeX公司 XML 引用
全文: 内政部