期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一种基于条件Pi演算的组合服务柔性演化模型
被引量：
2
1
作者
刘涛
曾国荪
《计算机科学》
CSCD
北大核心
2011年第B10期230-238,共9页
组合服务应当具有适应所处环境和商业规则不断变化的能力。现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性。尽管已有很多扩展,但是组合服务的动态适应正确性还缺乏保障。提出了一种基于条件Pi演算的组合服务柔性...
组合服务应当具有适应所处环境和商业规则不断变化的能力。现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性。尽管已有很多扩展,但是组合服务的动态适应正确性还缺乏保障。提出了一种基于条件Pi演算的组合服务柔性演化机制。通过增加归属操作符和条件控制符对经典Pi演算进行扩展,使之与事件-条件-动作模式更好地结合起来,从而提出了一种描述组合服务流程的方法。从分析组合服务各种变化的场景出发,提出了11种基本的变化场景及其不同的柔性演化模式,对每种模式进行了形式化描述和分析。该方法能够保证组合服务的可变性和适应正确性。
展开更多
关键词
条件Pi演算
服务自适应
柔性演化模式
在线阅读
下载PDF
职称材料
题名
一种基于条件Pi演算的组合服务柔性演化模型
被引量：
2
1
作者
刘涛
曾国荪
机构
同济大学计算机科学与技术系
同济大学嵌入式系统与服务计算教育部重点实验室
出处
《计算机科学》
CSCD
北大核心
2011年第B10期230-238,共9页
基金
863项目(2007AA01Z425
2009AA012201)
+5 种基金
973专项(2007CB316502)
国家自然基金项目(90718015)
NSFC-微软亚洲研究院联合资助项目(60970155)
教育部博士点基金项目(20090072110035)
上海市优秀学科带头人计划项目(10XD1404400)
高效能服务器和存储技术国家重点实验室开放基金项目(2009HSSA06)资助
文摘
组合服务应当具有适应所处环境和商业规则不断变化的能力。现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性。尽管已有很多扩展,但是组合服务的动态适应正确性还缺乏保障。提出了一种基于条件Pi演算的组合服务柔性演化机制。通过增加归属操作符和条件控制符对经典Pi演算进行扩展,使之与事件-条件-动作模式更好地结合起来,从而提出了一种描述组合服务流程的方法。从分析组合服务各种变化的场景出发,提出了11种基本的变化场景及其不同的柔性演化模式,对每种模式进行了形式化描述和分析。该方法能够保证组合服务的可变性和适应正确性。
关键词
条件Pi演算
服务自适应
柔性演化模式
Keywords
Conditional Pi calculus
Service adaptation
Flexible evolution pattern
分类号
TP393 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一种基于条件Pi演算的组合服务柔性演化模型
刘涛
曾国荪
《计算机科学》
CSCD
北大核心
2011
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
