一种基于条件Pi演算的组合服务柔性演化模型

摘要

组合服务应当具有适应所处的环境和商业规则不断变化的能力．现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性．尽管已有很多扩展，但是组合服务的动态适应正确性还缺乏保障。本文提出了一种基于条件Pi演算的组合服务柔性演化机制．通过增加归属操作符和条件控制符对经典Pi演算进行了扩展，使之与事件-条件-动作模式能够更好的结合起来，从而提出了一种描述组合服务流程的方法．从分析组合服务各种变化的场景出发，提出了11种基本的变化场景及其不同的柔性演化模式，对每种模式进行了形式化描述和分析．我们的方法能够保证组合服务的可变性和适应正确性．