期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
4
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
GSCoL:OGSA框架下的网格服务组合语言
被引量:
2
1
作者
吕庆中
刘梅彦
麦中凡
《计算机工程与应用》
CSCD
北大核心
2004年第3期7-11,44,共6页
网格计算领域一个重要进展就是采用WEB服务计算模型作为其基本的体系结构,这就是开放网格服务体系结构(OGSA),它已经逐渐成为一种重要的分布式计算基础实施。对网格服务的使用者和提供者来说,一种全新的以网格服务集成和通过组装已有网...
网格计算领域一个重要进展就是采用WEB服务计算模型作为其基本的体系结构,这就是开放网格服务体系结构(OGSA),它已经逐渐成为一种重要的分布式计算基础实施。对网格服务的使用者和提供者来说,一种全新的以网格服务集成和通过组装已有网格服务来创建新的增值服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中一个重要课题。鉴于此,该文提出了一个OGSA框架下的网格服务组合语言GSCoL,讨论了GSCoL的设计,并介绍了在OGSA参考实现GT3核心的基础上完成的GSCoL的概念验证原型。
展开更多
关键词
Web
服务
服务组合语言
网格
服务
OGSA
GLOBUS
TOOLKIT
网格计算
分布式计算
在线阅读
下载PDF
职称材料
一种基于接口匹配的组合Web服务描述语言
2
作者
聂世群
于守健
+1 位作者
乐嘉锦
刘伟
《计算机应用与软件》
CSCD
2009年第1期72-75,共4页
从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。...
从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL)。
展开更多
关键词
WEB
服务
组合
服务
描述
语言
接口
WSDL
在线阅读
下载PDF
职称材料
Web服务组合处理系统的研究与实现
被引量:
5
3
作者
张煜
葛声
+1 位作者
孙海龙
马殿富
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2005年第4期397-401,共5页
单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现...
单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.
展开更多
关键词
WEB
服务
服务
组合
工作流
处理引擎
Web
服务组合语言
在线阅读
下载PDF
职称材料
组合服务安全性检查方法研究
4
作者
顾小林
卞艺杰
+2 位作者
浦徐进
曹文彬
蒋勋
《统计与决策》
CSSCI
北大核心
2013年第23期65-67,共3页
文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开...
文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开放工作流网络建模,借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能,实验结果表明组合服务安全性检查方法是正确的和有效的。
展开更多
关键词
线性时态逻辑
进程元
语言
简单
服务组合语言
物联网
在线阅读
下载PDF
职称材料
题名
GSCoL:OGSA框架下的网格服务组合语言
被引量:
2
1
作者
吕庆中
刘梅彦
麦中凡
机构
北京航空航天大学计算机工程系
出处
《计算机工程与应用》
CSCD
北大核心
2004年第3期7-11,44,共6页
基金
国家自然科学基金项目资助(合同号:60173018)
文摘
网格计算领域一个重要进展就是采用WEB服务计算模型作为其基本的体系结构,这就是开放网格服务体系结构(OGSA),它已经逐渐成为一种重要的分布式计算基础实施。对网格服务的使用者和提供者来说,一种全新的以网格服务集成和通过组装已有网格服务来创建新的增值服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中一个重要课题。鉴于此,该文提出了一个OGSA框架下的网格服务组合语言GSCoL,讨论了GSCoL的设计,并介绍了在OGSA参考实现GT3核心的基础上完成的GSCoL的概念验证原型。
关键词
Web
服务
服务组合语言
网格
服务
OGSA
GLOBUS
TOOLKIT
网格计算
分布式计算
Keywords
Web Service,Service composition,Grid Service,OGSA,Globus Toolkit
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种基于接口匹配的组合Web服务描述语言
2
作者
聂世群
于守健
乐嘉锦
刘伟
机构
河南科技大学电子信息工程学院
东华大学计算机科学与技术学院
出处
《计算机应用与软件》
CSCD
2009年第1期72-75,共4页
基金
上海市科委基金项目(05DZ11C06)。
文摘
从基于WSDL的服务接口描述语言入手,分析了Web服务组合的类型和消息依赖关系。将服务组合分为顺序组合、替换组合、混合式组合三种类型;结合这些类型,将组合服务中的消息依赖定义为消息映射依赖、消息合成依赖和消息分解依赖三种关系。在此基础上,提出了一种轻量级的组合服务描述语言(CWSDL)。
关键词
WEB
服务
组合
服务
描述
语言
接口
WSDL
Keywords
Web service Composite service description language Interface Web service description language(WSDL)
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
TP393.09 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
Web服务组合处理系统的研究与实现
被引量:
5
3
作者
张煜
葛声
孙海龙
马殿富
机构
北京航空航天大学计算机学院
出处
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2005年第4期397-401,共5页
基金
国家 8 63计划资助项目 (2 0 0 1AA113 0 3 0
2 0 0 1AA115 110
2 0 0 1AA414 0 2 0 )
文摘
单个Web服务难以满足实际应用的需求,为了解决互联网应用的集成和协作问题,需要把独立的Web服务组合起来以实现复杂的业务逻辑功能.通过分析服务组合的处理机制,基于传统工作流技术,使用IBM的WSFL语言作为服务组合描述语言,设计并实现了一个面向Web服务组合语言的通用的Web服务组合处理系统.这是一个多层结构的系统,它由Web服务平台、服务组合处理引擎、JMX注册管理中心、远程管理控制台以及处理引擎配置工具五部分构成;它为WSFL语言所描述的服务组合流程提供了一个运行引擎,同时提供了一个基于JMX的管理控制台,通过它可以对正在运行的流程实例以及历史数据进行控制和管理.该系统为基于Web服务的应用集成和协作提供了一个统一的运行管理环境.
关键词
WEB
服务
服务
组合
工作流
处理引擎
Web
服务组合语言
Keywords
web services
web services composition
workflow
processing engine
WSFL
分类号
TP393.09 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
组合服务安全性检查方法研究
4
作者
顾小林
卞艺杰
浦徐进
曹文彬
蒋勋
机构
河海大学商学院
江南大学江苏省食品安全研究基地
南京大学信息学院
出处
《统计与决策》
CSSCI
北大核心
2013年第23期65-67,共3页
基金
国家自然科学基金资助项目(70901034)
教育部人文社科研究规划基金(12YJA630007)
+3 种基金
中央高校基本科研业务费专项资金资助项目(JUSRP21101)
江南大学校人文社科预研项目(2010wyy005)
江南大学江苏省食品安全研究基地项目(10SPJD006)
江南大学自主科研计划学科交叉创新团队基金(JUSRP31107)
文摘
文章针对组合服务安全性检查方法未对服务进行分类处理的问题,将服务分为基本服务和扩展服务,基本服务采用进程元语言建模,借助线性时态逻辑表示基本服务的常规安全标准,通过SPIN模型检查基本服务符合常规安全标准的情况;扩展服务在开放工作流网络建模,借助FIONA模型检查服务、组合服务及其服务交互的安全性。通过智能家居药物管理系统的案例验证方法的正确性和效率性能,实验结果表明组合服务安全性检查方法是正确的和有效的。
关键词
线性时态逻辑
进程元
语言
简单
服务组合语言
物联网
分类号
O212 [理学—概率论与数理统计]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
GSCoL:OGSA框架下的网格服务组合语言
吕庆中
刘梅彦
麦中凡
《计算机工程与应用》
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
2
一种基于接口匹配的组合Web服务描述语言
聂世群
于守健
乐嘉锦
刘伟
《计算机应用与软件》
CSCD
2009
0
在线阅读
下载PDF
职称材料
3
Web服务组合处理系统的研究与实现
张煜
葛声
孙海龙
马殿富
《北京航空航天大学学报》
EI
CAS
CSCD
北大核心
2005
5
在线阅读
下载PDF
职称材料
4
组合服务安全性检查方法研究
顾小林
卞艺杰
浦徐进
曹文彬
蒋勋
《统计与决策》
CSSCI
北大核心
2013
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部