一种基于条件Pi演算的组合服务柔性演化模型
组合服务应当具有适应所处的环境和商业规则不断变化的能力．现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性．尽管已有很多扩展，但是组合服务的动态适应正确性还缺乏保障。本文提出了一种基于条件Pi演算的组合服务柔性演化机制．通过增加归属操作符和条件控制符对经典Pi演算进行了扩展，使之与事件-条件-动作模式能够更好的结合起来，从而提出了一种描述组合服务流程的方法．从分析组合服务各种变化的场景出发，提出了11种基本的变化场景及其不同的柔性演化模式，对每种模式进行了形式化描述和分析．我们的方法能够保证组合服务的可变性和适应正确性．
条件Pi演算 服务自适应 柔性演化模式
刘涛 曾国荪
同济大学 计算机科学与技术系，上海 200092 同济大学 嵌入式系统与服务计算教育部重点实验室，上海 200092
国内会议
哈尔滨
中文
455-465
2010-08-10（万方平台首次上网日期，不代表论文的发表时间）