期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于行为效果的服务可替换性分析
被引量:
6
1
作者
刘莹
张一川
+2 位作者
张斌
张明卫
朱志良
《计算机研究与发展》
EI
CSCD
北大核心
2010年第8期1442-1449,共8页
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服...
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.
展开更多
关键词
服务可替换性
服务
行为
行为效果
有色PETRI网
可替换
性
判定
下载PDF
职称材料
一种考虑消息类型的服务可替换性验证方法
2
作者
刘伟
杨勇
张亮
《计算机工程》
CAS
CSCD
2012年第13期40-43,共4页
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换...
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。
展开更多
关键词
WEB
服务
描述语言
服务
契约
形式化
服务
相容
性
服务可替换性
下载PDF
职称材料
基于Petri网的Web服务描述及其可替换性分析
被引量:
4
3
作者
郭峰
魏光
《计算机集成制造系统》
EI
CSCD
北大核心
2013年第6期1423-1432,共10页
为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发...
为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。
展开更多
关键词
WEB
服务
PETRI网
服务可替换性
互模拟
下载PDF
职称材料
基于多元Pi-演算的Web服务组合描述与验证
被引量:
7
4
作者
胡静
饶国政
冯志勇
《天津大学学报(自然科学与工程技术版)》
EI
CAS
CSCD
北大核心
2013年第6期520-525,共6页
验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出...
验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
展开更多
关键词
多元Pi-演算
Web
服务
验证
Web
服务可替换性
下载PDF
职称材料
题名
基于行为效果的服务可替换性分析
被引量:
6
1
作者
刘莹
张一川
张斌
张明卫
朱志良
机构
东北大学软件学院
东北大学信息科学与工程学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2010年第8期1442-1449,共8页
基金
国家自然科学基金项目(60773218
60903009)
国家"八六三"高技术研究发展计划基金项目(2009AA01Z122)~~
文摘
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分析的判定方法对于服务替换的正确建立和替换后组合服务的可靠执行具有重要作用.
关键词
服务可替换性
服务
行为
行为效果
有色PETRI网
可替换
性
判定
Keywords
service replaceability
service behavior
behavior effect
colored Petri net
replaceability determination
分类号
TP316.4 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
一种考虑消息类型的服务可替换性验证方法
2
作者
刘伟
杨勇
张亮
机构
复旦大学计算机科学技术学院
出处
《计算机工程》
CAS
CSCD
2012年第13期40-43,共4页
基金
国家自然科学基金资助项目(60873115)
文摘
针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。
关键词
WEB
服务
描述语言
服务
契约
形式化
服务
相容
性
服务可替换性
Keywords
Web Service Description Language(WSDL)
service contract
formalization
service compatibility
service substitutability
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于Petri网的Web服务描述及其可替换性分析
被引量:
4
3
作者
郭峰
魏光
机构
北方工业大学信息工程学院
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2013年第6期1423-1432,共10页
基金
国家自然科学基金资助项目(61070030
61111130121)~~
文摘
为解决服务组合中的Web服务可替换性问题,在工作流网、开放网等Petri网模型的基础上,提出一种适合面向服务系统的Petri网模型———WS_Net。该模型包含了Web服务的两部分内容:内部流程和外部接口。WS_Net可以准确描述顺序、循环、并发、调用、选择五种常见的服务组合方式。在Petri网互模拟等价的基础上定义了WS_Net内网的关于接口变迁的互模拟等价关系,关于接口变迁互模拟等价的WS_Net可以实现上下文无关的相互替换并保证替换前后组合服务的行为是一致的。在Petri网化简技术的基础上提出了WS_Net的化简规则,证明了这些化简规则能够保持WS_Net化简前后的接口互模拟等价特性。在实际应用中能够通过化简的方法降低Web服务可替换性分析的复杂度。
关键词
WEB
服务
PETRI网
服务可替换性
互模拟
Keywords
Web services
Petri nets
services substitution
bisimulation
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
基于多元Pi-演算的Web服务组合描述与验证
被引量:
7
4
作者
胡静
饶国政
冯志勇
机构
天津大学计算机科学与技术学院
出处
《天津大学学报(自然科学与工程技术版)》
EI
CAS
CSCD
北大核心
2013年第6期520-525,共6页
基金
国家自然科学基金资助项目(61003080)
教育部科技发展中心网络时代科技论文快速共享专项研究课题资助项目(2011117)
文摘
验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
关键词
多元Pi-演算
Web
服务
验证
Web
服务可替换性
Keywords
polyadic Pi-calculus
Web service verification
Web services replace-ability
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于行为效果的服务可替换性分析
刘莹
张一川
张斌
张明卫
朱志良
《计算机研究与发展》
EI
CSCD
北大核心
2010
6
下载PDF
职称材料
2
一种考虑消息类型的服务可替换性验证方法
刘伟
杨勇
张亮
《计算机工程》
CAS
CSCD
2012
0
下载PDF
职称材料
3
基于Petri网的Web服务描述及其可替换性分析
郭峰
魏光
《计算机集成制造系统》
EI
CSCD
北大核心
2013
4
下载PDF
职称材料
4
基于多元Pi-演算的Web服务组合描述与验证
胡静
饶国政
冯志勇
《天津大学学报(自然科学与工程技术版)》
EI
CAS
CSCD
北大核心
2013
7
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部