期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
类型化的Web服务组合形式化模型
被引量：
3
1
作者
辜希武
卢正鼎
《计算机科学》
CSCD
北大核心
2008年第1期128-134,共7页
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过...
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法。
展开更多
关键词
类型化模型
WEB服务组合
Web服务商业流程执行语言
在线阅读
下载PDF
职称材料
基于多元Pi-演算的Web服务形式化描述模型及其验证
被引量：
2
2
作者
胡静
冯志勇
《计算机应用研究》
CSCD
北大核心
2011年第8期2999-3003,共5页
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生...
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。
展开更多
关键词
WEB服务
Web服务组合功能验证
类型
化
的形式
化
描述
模型
多元Pi-演算
在线阅读
下载PDF
职称材料
题名
类型化的Web服务组合形式化模型
被引量：
3
1
作者
辜希武
卢正鼎
机构
华中科技大学计算机科学技术学院
出处
《计算机科学》
CSCD
北大核心
2008年第1期128-134,共7页
基金
国家自然科学基金资助项目(项目编号:60403027)
湖北省自然科学基金(项目编号:2005ABA258)
软件工程重点实验室开放基金(项目编号:SKLSE05-07)
文摘
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法。
关键词
类型化模型
WEB服务组合
Web服务商业流程执行语言
Keywords
Typed model, Web service composition, Business process execution language for Web services
分类号
TP393.4 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于多元Pi-演算的Web服务形式化描述模型及其验证
被引量：
2
2
作者
胡静
冯志勇
机构
天津大学计算机科学与技术学院
出处
《计算机应用研究》
CSCD
北大核心
2011年第8期2999-3003,共5页
基金
天津市科技支撑计划重点资助项目(08ZCKFGX00700)
应用基础及前沿技术研究计划资助项目(08JCZDJC19800)
文摘
Web服务组合在运行时多发生由于类型不匹配而产生的错误,为了有效地避免这种错误,在多元Pi-演算的基础上提出了Web服务形式化描述模型。通过基本类型定义、语法定义和判定规则说明单个Web服务的类型良好性,通过操作语义说明Web服务发生组合时的类型良好性;给出Web服务可替换性定义,并在此定义基础上说明如何进行Web服务组合的功能验证。提出的类型化Web服务形式化描述模型,准确说明了Web服务组合运行时的类型良好性,以及Web服务组合的功能验证方法。最后通过例子说明,提出的定义和判断方法的有效性。
关键词
WEB服务
Web服务组合功能验证
类型
化
的形式
化
描述
模型
多元Pi-演算
Keywords
Web service
Web service composition function verification
typed formal description model
polyadic Pi-calculus
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
类型化的Web服务组合形式化模型
辜希武
卢正鼎
《计算机科学》
CSCD
北大核心
2008
3
在线阅读
下载PDF
职称材料
2
基于多元Pi-演算的Web服务形式化描述模型及其验证
胡静
冯志勇
《计算机应用研究》
CSCD
北大核心
2011
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
