期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于Pi-演算的Web服务组合的描述和验证
被引量：
107
1
作者
廖军
谭浩
刘锦德
《计算机学报》
EI
CSCD
北大核心
2005年第4期635-643,共9页
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态...
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.
展开更多
关键词
PI-演算
进程代数
WEB
服务
服务
组合
服务形式化
在线阅读
下载PDF
职称材料
基于B方法的Web Service组合描述和验证方法
被引量：
1
2
作者
王帅强
万建成
+1 位作者
侯金奎
冯仕红
《计算机工程》
CAS
CSCD
北大核心
2007年第19期19-22,41,共5页
对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够...
对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。
展开更多
关键词
WEB
SERVICE
B方法
服务形式化
服务
组合
在线阅读
下载PDF
职称材料
题名
基于Pi-演算的Web服务组合的描述和验证
被引量：
107
1
作者
廖军
谭浩
刘锦德
机构
电子科技大学计算机科学与工程学院
出处
《计算机学报》
EI
CSCD
北大核心
2005年第4期635-643,共9页
基金
"十五"国防预研项目基金(41315010103)资助.
文摘
形式化方法对于建模和验证软件系统是一种有效的方法,所以对 Web服务的形式化描述和验证是一个重要的研究方向.对于Web服务及其组合来说,保证其组合正确性以实现其服务增值是十分必要的.Pi 演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模.该文基于 Pi 演算对 Web服务及其组合进行形式化描述和建模.文中说明了Pi 演算与以前形式化方法的不同之处,分析了Pi 演算应用于Web服务组合需要解决的问题.讨论了Pi 演算与Web服务协议栈的对应关系,说明了利用Pi 演算建立 Web服务组合模型的规则,指出了如何寻找代理和通道.最后建立了一个实际的模型,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证.
关键词
PI-演算
进程代数
WEB
服务
服务
组合
服务形式化
Keywords
Concurrent engineering
Distributed computer systems
Formal languages
Middleware
Quality of service
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于B方法的Web Service组合描述和验证方法
被引量：
1
2
作者
王帅强
万建成
侯金奎
冯仕红
机构
山东大学计算机科学与技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2007年第19期19-22,41,共5页
基金
山东省科技发展项目(20051014)
文摘
对于Web Service及其组合来说,保证其组合的正确性是十分必要的。B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法。该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证。
关键词
WEB
SERVICE
B方法
服务形式化
服务
组合
Keywords
Web Service
B-method
formal service
service composition
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于Pi-演算的Web服务组合的描述和验证
廖军
谭浩
刘锦德
《计算机学报》
EI
CSCD
北大核心
2005
107
在线阅读
下载PDF
职称材料
2
基于B方法的Web Service组合描述和验证方法
王帅强
万建成
侯金奎
冯仕红
《计算机工程》
CAS
CSCD
北大核心
2007
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
