孟庆丰 李海波

面向过程的资源组合排斥冲突检测方法

孟庆丰 李海波

(华侨大学计算机科学与技术学院 福建 厦门 361021)

由于云制造环境下服务于业务过程的资源集中可能存在相互排斥的资源，在运行阶段可能会产生资源冲突。针对这种情况，提出了面向业务过程的资源组合排斥冲突检测方法。以工作流模型为基础，提出资源服务链模型(RSCM)并分析在资源服务链模型中可能出现排斥冲突的情况；提出有效子图的概念。最后基于资源服务链模型和有效子图，提出面向过程的资源组合冲突检测算法。实验结果表明，该算法能有效地检测出面向过程的资源组合过程中因资源排斥关系而产生的资源冲突。

云制造 业务过程 资源组合 冲突检测

0 引 言

云制造是一种利用网络和云制造服务平台，按用户需求组织网上制造资源(制造云)，为用户提供各类按需制造服务的一种网络化制造新模式[1]。资源组合是指将云制造环境下能够完成特定制造任务所需的各类制造资源聚集在一起，为资源虚拟化提供支持，从而提高云制造中资源的利用率，实现资源增值[2]。云制造环境下，制造资源因具有多样性、异构性、分散性、协同性和专业性等特点[3-5]，资源之间存在着排斥关系、依赖关系、可替换关系等关系[6]。其中，资源排斥关系可能会导致业务过程执行失败：一方面，在建模阶段，如果将相互排斥的资源组合在一起，在运行阶段，业务过程就可能会产生资源冲突(称为排斥冲突)；……