期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
基于MDA的语义Web服务的组合与验证 被引量:1
1
作者 朱正东 蓝荣贵 +1 位作者 陈彦萍 李增智 《微电子学与计算机》 CSCD 北大核心 2010年第11期4-9,共6页
针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的... 针对语义组合Web服务的验证问题,研究了模型验证相关技术、统一模型语言(UML),提出了基于模型驱动架构(MDA)的组合方法.该方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模,实现了语义组合Web服务的UML描述,然后将该描述转换为Promela语言代码,在Promela代码之后增加LTL的声明,使用SPIN工具进行正确性、安全性和活性验证.该模型保证了组合过程的正确性. 展开更多
关键词 UML 语义web服务 组合验证模型 mda
在线阅读 下载PDF
基于MDA的Web服务合成
2
作者 刘峰 谭庆平 杨艳萍 《计算机科学》 CSCD 北大核心 2006年第8期138-143,共6页
随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题,针对Web合成的动态行为建模部分,提出... 随着已有Web服务数量的不断增加,如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地,利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题,针对Web合成的动态行为建模部分,提出建立基于UML的平台无关Web服务动态行为模型的方法,并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。 展开更多
关键词 web服务合成 mda 动态行为模型
在线阅读 下载PDF
A New Approach to Development of Composite Web Services 被引量:1
3
作者 YANG Yan-ping TAN Qing-ping YU Jin-shan LIU Feng 《Wuhan University Journal of Natural Sciences》 EI CAS 2006年第1期211-216,共6页
With the requirement for complex Web Services steadily increasing, there is a growing interest for reusing basic, existing Web Services to composite new ones. We present a composite Web Services development approach d... With the requirement for complex Web Services steadily increasing, there is a growing interest for reusing basic, existing Web Services to composite new ones. We present a composite Web Services development approach driven by model driven architecture (MDA) ,using UML(Unified Modeling Language) class diagram to model structure HM (Plateform Independent Platform) and UML activity diagram to model behavior PIM, then by model transformation converting the PIMs to specific Web Services specification platforms and execution platform to get the corresponding PSMs (platform specific models). The main contributions of this paper are the all-around solution to Web Services composition development and the transformation rules for structure and behavior model of Web Services between PIMs and PSMs. 展开更多
关键词 web service composition mda model transformation UML
在线阅读 下载PDF
基于MDA的Web服务动态组合的研究
4
作者 王雪萍 宋旭东 刘晓冰 《计算机工程与设计》 CSCD 北大核心 2009年第13期3107-3110,3147,共5页
针对目前Web服务动态组合方面出现的技术问题,给出了基于MDA的Web服务组合的方法。MDA具有将功能需求与具体实现技术分离的优势,因此可以有效地解决Web服务动态合成的可靠性、灵活性、复用性问题。在给出了结合MDA思想的服务合成体系框... 针对目前Web服务动态组合方面出现的技术问题,给出了基于MDA的Web服务组合的方法。MDA具有将功能需求与具体实现技术分离的优势,因此可以有效地解决Web服务动态合成的可靠性、灵活性、复用性问题。在给出了结合MDA思想的服务合成体系框架的基础上,分析了UML类图与WSDL语言元模型、UML活动图与WS-BPEL语言元模型的对应关系以确定模型到代码的转换规则。最后以某制造企业的案例验证该技术的可行性。 展开更多
关键词 模型驱动架构 业务流程执行语言 web服务 元模型 动态组合
在线阅读 下载PDF
一种语义接口匹配的地理信息Web服务动态组合方法 被引量:2
5
作者 邬群勇 许贤彬 王钦敏 《福州大学学报(自然科学版)》 CAS CSCD 北大核心 2011年第5期699-706,共8页
根据接口匹配和语义本体的思想,提出一种基于语义接口匹配的地理信息Web服务动态组合方法.该方法通过把服务抽象为带有语义信息的输入输出接口的实体,利用接口间的语义匹配实现地理信息服务动态组合.并给出了基于语义接口匹配的地理信息... 根据接口匹配和语义本体的思想,提出一种基于语义接口匹配的地理信息Web服务动态组合方法.该方法通过把服务抽象为带有语义信息的输入输出接口的实体,利用接口间的语义匹配实现地理信息服务动态组合.并给出了基于语义接口匹配的地理信息Web服务动态组合框架,以及相应的接口参数匹配和语义匹配的解决方案,提出从参数和语义两个角度对接口可匹配性进行判断,在保证链接服务的可行性与可靠性前提下,达到动态服务组合.最后,实现了一个动态服务组合原型系统,测试验证所提出的动态服务组合方法. 展开更多
关键词 语义接口匹配 地理信息 web服务 动态组合模型
原文传递
面向动态工作流的Web服务组合模型研究 被引量:6
6
作者 周燕 姜浩 《计算机技术与发展》 2008年第1期63-66,69,共5页
把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服... 把Web服务与工作流相结合,将Web服务作为工作流中的各项任务,通过Web服务的动态组合技术,建立面向动态工作流的服务组合模型。对Web服务描述进行了扩展,提出了一个基于层次结构的服务发现模型,支持Web服务开发与部署的分离,并通过Web服务的动态查找,对符合要求的可用服务器,引入服务评价函数,根据服务器服务份额、价格策略以及信任度等因素对服务器进行综合评定,实现复合服务在运行时的动态部署与绑定。并通过工作流引擎对各项子任务的交互与完成进行相应控制,最终实现Web服务的动态绑定模型的执行框架。 展开更多
关键词 动态工作流 web服务组合 组合模型
在线阅读 下载PDF
Web服务组合在水利领域中的应用 被引量:1
7
作者 程永上 王志坚 《计算机工程与应用》 CSCD 北大核心 2008年第7期209-212,共4页
随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组... 随着水利信息化的发展,如何实现不断增加的异构系统的应用集成成为一个新的研究课题。而使用基于模型驱动架构MDA的Web服务组合技术,能够更好地实现水利领域的应用集成。按照MDA方法,给出了使用Petri网来建立Web服务组合的模式,以及组合模型正确性验证的方法,并提出了将Petri网模型影射到可执行的BPEL4WS的方法。通过一个实例,说明了基于MDA的Web服务组合技术在水利领域应用集成中的作用。最后进行了总结,指出了下一步工作。 展开更多
关键词 mda web服务 web服务组合 水利
在线阅读 下载PDF
基于领域本体的Web服务动态组合模型 被引量:3
8
作者 汪清明 《计算机应用》 CSCD 北大核心 2009年第7期1957-1959,共3页
给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接... 给出了领域本体、Web服务及服务组合的形式化描述,综合基于业务流程的动态服务组合和基于服务接口匹配的服务组合方法,提出了一种基于领域本体的Web服务动态组合模型。该模型首先把服务请求分解为业务流程,再对业务流程的每个服务按接口匹配方法分解为组合服务。以客户订购产品为例,说明了领域本体的建立方法和Web服务动态组合模型的应用方法。 展开更多
关键词 领域本体 web服务 动态服务组合 组合模型
在线阅读 下载PDF
模型驱动的Web服务合成 被引量:3
9
作者 季磊 《计算机工程》 CAS CSCD 北大核心 2007年第18期100-102,共3页
随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态建模部分,提出了建立Web服务静态结构平台无关和平台相关模型... 随着已有Web服务数量的不断增加,如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法,针对Web合成的静态建模部分,提出了建立Web服务静态结构平台无关和平台相关模型的方法,给出了二者之间的转换规则。 展开更多
关键词 web服务合成 mda 静态结构模型
在线阅读 下载PDF
一种支持Web服务合成的行为建模方法
10
作者 全立新 《科学技术与工程》 2007年第17期4296-4300,共5页
Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实... Web服务之间所蕴含的语义依赖关系,是面向自动Web服务合成的行为建模的关键。基于服务调用的历史信息,通过不动点函数演绎推理出Web服务之间依赖关系的方法,并给出了基于图模型构建服务合成的行为模型的方法以及服务合成向导的方法。实验表明,在一定的数据量内,建立服务合成行为模型的性能呈线性变化,给出的方法是可行和有效的,可以作为自动Web服务合成的支撑技术。 展开更多
关键词 web服务 服务合成 行为模型 最小不动点 频繁度
在线阅读 下载PDF
模型驱动的Web服务组合的QoS属性的研究 被引量:1
11
作者 陈营 李绪蓉 谢强 《计算机与数字工程》 2013年第1期76-78,100,共4页
为反映组合Web服务的服务质量(QoS),文章在用模型驱动的方法对Web服务组合进行研究的基础上探讨了如何对Web服务进行QoS属性拓展,给出了拓展的WSDL元模型。通过引入模型驱动的思想,解决了Web服务对QoS属性描述不足的问题。并通过对BPEL... 为反映组合Web服务的服务质量(QoS),文章在用模型驱动的方法对Web服务组合进行研究的基础上探讨了如何对Web服务进行QoS属性拓展,给出了拓展的WSDL元模型。通过引入模型驱动的思想,解决了Web服务对QoS属性描述不足的问题。并通过对BPEL元模型的分析,得出了组合服务在各种结构模型情况下的QoS属性的计算方法。 展开更多
关键词 模型驱动 web服务组合 服务质量 元模型
在线阅读 下载PDF
模型驱动架构的语义组合Web服务的验证
12
作者 蓝荣贵 王勇 +1 位作者 朱正东 李增智 《计算机工程与应用》 CSCD 北大核心 2011年第8期51-55,共5页
针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的... 针对语义Web服务的组合与验证问题,提出了基于模型驱动架构(MDA)的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模,使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法,选择可用的子Web服务确定最合适的组合Web服务,并将该组合UML模型转化为可验证的Promela语言,使用SPIN工具进行验证,通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率,保证了组合过程的正确性,还能利用模板与语义匹配度实时发现与选择可用的Web服务。 展开更多
关键词 语义web服务 组合验证模型 模型驱动架构(mda) 语义匹配度
在线阅读 下载PDF
基于UML活动图的Web服务合成动态行为建模方法研究
13
作者 赵夏雷 《计算机与数字工程》 2010年第3期191-196,共6页
描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系... 描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。 展开更多
关键词 web服务合成 动态行为建模 模型转换 UML活动图
在线阅读 下载PDF
一种基于角色的分布式动态服务组合方法 被引量:18
14
作者 刘必欣 王玉峰 +1 位作者 贾焰 吴泉源 《软件学报》 EI CSCD 北大核心 2005年第11期1859-1867,共9页
服务组合是开放环境中实现跨组织敏捷应用集成的重要技术.许多研究采用集中的服务组合引擎管理组合服务的执行,在系统的可伸缩性、消息传输效率及自治性等方面存在局限.针对集中结构的上述问题,提出一种基于角色的分布式动态服务组合方... 服务组合是开放环境中实现跨组织敏捷应用集成的重要技术.许多研究采用集中的服务组合引擎管理组合服务的执行,在系统的可伸缩性、消息传输效率及自治性等方面存在局限.针对集中结构的上述问题,提出一种基于角色的分布式动态服务组合方法,通过划分组合服务的全局流程模型产生各个角色的本地流程模型,从而使得组合服务的控制逻辑及执行负载能够对等地分布到多个结点.讨论了本地流程模型的生成算法及部署与执行机制.模拟实验结果表明,与集中式结构相比,该方法能够更有效地支持大规模并发访问以及大数据量的消息转输,有助于提高组合服务的可伸缩性. 展开更多
关键词 web服务 动态服务组合 角色 全局流程模型 本地流程模型 模型分解 动态服务 组合方法 基于角色 分布式
在线阅读 下载PDF
一个基于WS-CDL的服务编排行为模型及角色映射 被引量:2
15
作者 尤殿龙 申利民 +1 位作者 王辉 耿大伟 《小型微型计算机系统》 CSCD 北大核心 2014年第7期1561-1566,共6页
Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的WS-CDL映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型... Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的WS-CDL映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型符合分散式服务编制由各个成员服务独立处理交换信息的特点,通过引入角色映射这一中间环节,解决了因WS-CDL和BPEL在语法上不具有一一对应关系而无法完全直接转换的问题.最后,给出了面向角色的服务编排协议映射的实例分析过程,并通过开发的原型系统,验证了映射规则的正确性和算法的可实现性. 展开更多
关键词 web服务组合 服务编排协议 行为模型 WS-CDL 角色映射
在线阅读 下载PDF
基于服务质量的动态服务组合研究
16
作者 吴海波 邓木生 陈新喜 《计算机科学》 CSCD 北大核心 2011年第10期78-80,共3页
Web服务技术近年来发展迅速,由于Web服务的质量问题,采用率一直很低。在Web服务动态组合的项目中分析了Web服务的QoS问题,提出了一种QoS计算模型和QoS优化计算方法,该方案具有支持Web服务动态绑定、自动化及半自动化执行和基于QoS的Web... Web服务技术近年来发展迅速,由于Web服务的质量问题,采用率一直很低。在Web服务动态组合的项目中分析了Web服务的QoS问题,提出了一种QoS计算模型和QoS优化计算方法,该方案具有支持Web服务动态绑定、自动化及半自动化执行和基于QoS的Web服务最优化选择等特点,最后给出了实现原型。 展开更多
关键词 web服务 动态组合 QOS模型
在线阅读 下载PDF
WSCP/R-net:一种新的服务动态聚合流程建模与分析模型
17
作者 刘书雷 陈荦 景宁 《信号处理》 CSCD 北大核心 2009年第10期1502-1509,共8页
服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基... 服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析。 展开更多
关键词 服务动态聚合 流程建模和分析 流程定义元模型 WSCP/R—net 健壮性 组合特性
在线阅读 下载PDF
环境模型驱动的服务组合方法
18
作者 蔡广军 赵彬 +1 位作者 赵旭辉 刘勇 《电脑知识与技术》 2015年第5期208-212,共5页
针对服务组合动态、开放、复杂度高的特点,提出了一种环境模型驱动的服务组合方法.该文用环境模型中服务作用下客体的变化来描述服务功能,用客户期望的环境变化描述客户需求,构建了一种独立于服务实现和具体客户的组合环境;然后以环境... 针对服务组合动态、开放、复杂度高的特点,提出了一种环境模型驱动的服务组合方法.该文用环境模型中服务作用下客体的变化来描述服务功能,用客户期望的环境变化描述客户需求,构建了一种独立于服务实现和具体客户的组合环境;然后以环境模型为基础分解需求和组合服务.实验结果分析表明,该文方法可以有效提高服务组合的效率. 展开更多
关键词 服务组合 环境 模型驱动 动态开放 行为
在线阅读 下载PDF
动态服务聚合流程定义元模型及其应用 被引量:4
19
作者 李国中 刘书雷 +1 位作者 吴秋云 景宁 《计算机科学》 CSCD 北大核心 2007年第2期91-94,共4页
适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容,传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此... 适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容,传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此基础上,基于扩展的工作流网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了现有的基于基本工作流网的服务聚合建模技术所不能解决的不确定路径选择和服务的动态变化性问题。文章以城市危机应急处理的Web服务流程构建为例说明了WSCP/R-net应用的有效性和可行性。 展开更多
关键词 动态服务聚合 流程建模 流程定义元模型 扩展工作流网 WSCP/R-net
在线阅读 下载PDF
一种动态服务组合中的相容性模型 被引量:1
20
作者 冯兴智 姚学斌 +2 位作者 吴泉源 贾焰 周斌 《计算机研究与发展》 EI CSCD 北大核心 2008年第z1期426-432,共7页
异构服务组合是不同应用领域间Web服务可用性和可应用性的关键点,尤其是电子商务和电子政务应用.组合设计者尝试进行完美的组合匹配但在实际中不可能找到完全相容的服务.提出一种相容性模型,确保Web服务能够正确组合,避免意想不到的运... 异构服务组合是不同应用领域间Web服务可用性和可应用性的关键点,尤其是电子商务和电子政务应用.组合设计者尝试进行完美的组合匹配但在实际中不可能找到完全相容的服务.提出一种相容性模型,确保Web服务能够正确组合,避免意想不到的运行时失效.通过一套从语法、语义和非功能属性3个层次定义的规则来进行相容性检查.同时引入相容度的概念来度量部分和完全相容,提出一种松弛相容函数将Web服务间的相容程度转化成数量值.最后通过实验来分析相容性阈值对服务成功组合率的影响. 展开更多
关键词 动态服务组合 相容性模型 相容度 松弛函数
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部