期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Web服务组合的互模拟验证
被引量:
2
1
作者
袁勇福
高春鸣
刘荣胜
《计算机应用》
CSCD
北大核心
2006年第10期2466-2469,共4页
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互...
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
展开更多
关键词
Π-演算
商业流程可执行语言
开互模拟
on-the-fly算法
模型验证
下载PDF
职称材料
题名
Web服务组合的互模拟验证
被引量:
2
1
作者
袁勇福
高春鸣
刘荣胜
机构
湖南师范大学数学与计算机科学学院
出处
《计算机应用》
CSCD
北大核心
2006年第10期2466-2469,共4页
基金
湖南省重点科技攻关项目(05GK2002)
湖南省自然科学基金资助项目(03JJY6023)
文摘
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
关键词
Π-演算
商业流程可执行语言
开互模拟
on-the-fly算法
模型验证
Keywords
π-ealculus
BPEIMWS
open-bisimulation
on-the-fly
model-ehecking
分类号
TP18 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Web服务组合的互模拟验证
袁勇福
高春鸣
刘荣胜
《计算机应用》
CSCD
北大核心
2006
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部