期刊文献+
共找到36篇文章
< 1 2 >
每页显示 20 50 100
基于模型驱动架构的Web Services应用开发 被引量:5
1
作者 罗荣良 朱勇 《计算机应用与软件》 CSCD 北大核心 2004年第1期110-111,104,共3页
从Webservices的观点看 ,可以用MDA核心部件UML来精确描述商务信息 ,并且这种描述方法是与实现技术无关的。本文首先介绍了非形式化模型和形式化模型的不同之处 。
关键词 模型驱动架构 webservices 体系结构 统一建模语言 软件开发
在线阅读 下载PDF
基于Web Services服务管理协议的设计与分析
2
作者 任兴田 黄小红 +1 位作者 苏玉洁 马严 《电子与信息学报》 EI CSCD 北大核心 2007年第10期2460-2465,共6页
该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性... 该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务。利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误。并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性。 展开更多
关键词 互联网服务管理 web services UML(Unified modeling language) PETRI网
在线阅读 下载PDF
基于Web Service的工作流过程模型研究 被引量:4
3
作者 金洁洁 吴海峰 尹建伟 《计算机应用研究》 CSCD 北大核心 2003年第5期47-50,共4页
工作流管理和WebService都是新兴的技术,正是将这两项技术结合起来运用于工作流过程建模上。首先分析了现有模型的弊端,接着简要介绍了WebService及其核心技术———Web服务流语言(WS FL),在此基础上提出了一个工作流过程元模型,该模型... 工作流管理和WebService都是新兴的技术,正是将这两项技术结合起来运用于工作流过程建模上。首先分析了现有模型的弊端,接着简要介绍了WebService及其核心技术———Web服务流语言(WS FL),在此基础上提出了一个工作流过程元模型,该模型由流程、活动、活动依赖三部分组成,重点介绍了流程建模的情况,同时也给出了另外两个部分的设计和说明。 展开更多
关键词 webservicE 工作流管理系统 工作流 过程模型 分布式计算 计算机网络 Internet
在线阅读 下载PDF
一种基于XML Web Service的分布式解决方案 被引量:10
4
作者 胡学骏 曾凡智 《计算机工程》 EI CAS CSCD 北大核心 2005年第13期204-205,222,共3页
介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现... 介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现方法简单的特点。提高了企业组建企业管理信息系统的效率和质量。 展开更多
关键词 XML web servicE 模式对象模型 数据集 模式定义语言
在线阅读 下载PDF
基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法 被引量:4
5
作者 鲍爱华 袁金平 +1 位作者 姚莉 张维明 《计算机集成制造系统》 EI CSCD 北大核心 2008年第9期1856-1864,共9页
针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网... 针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。 展开更多
关键词 web服务 语义web 过程语义 web服务本体描述语言 本体演化 过程模型网 着色PETRI网
在线阅读 下载PDF
一种支持Web服务合成的模型定义语言—e-SPDL 被引量:3
6
作者 杨丹 申德荣 +1 位作者 于戈 吴青泉 《计算机集成制造系统-CIMS》 EI CSCD 北大核心 2003年第10期932-936,共5页
Web服务合成是通过合成基本的Web服务为用户提供增值服务的能力。Web服务合成首先要考虑的问题是使用一种有效的建模语言来为服务合成建模,并使用合成服务定义语言来描述它。给出了基于XML的支持服务合成原型系统(e-Scope4WS)的服务合... Web服务合成是通过合成基本的Web服务为用户提供增值服务的能力。Web服务合成首先要考虑的问题是使用一种有效的建模语言来为服务合成建模,并使用合成服务定义语言来描述它。给出了基于XML的支持服务合成原型系统(e-Scope4WS)的服务合成定义语言———e_SPDL,具体介绍了其主要特点,给出了它的基本结构,并且进行了实例分析。e_SPDL基于BPEL4WS,并在此基础上进行了扩展,对服务参与者引入服务容器的概念来达到动态服务查找和动态服务替换的目的;针对BPEL4WS复杂、难用的特点和本系统的实际需要,对其进行了不失一般性和通用性的简化。 展开更多
关键词 web服务合成 建模语言 服务容器
在线阅读 下载PDF
基于扩展接口语义的Web服务匹配模型研究 被引量:3
7
作者 于守健 夏小玲 +1 位作者 乐嘉锦 黄晓虎 《计算机科学》 CSCD 北大核心 2007年第2期129-131,136,共4页
分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到... 分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到语义层,从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上,从这三个层次计算Web服务接口的语义匹配度,提出了多层次Web服务接口语义匹配模型。 展开更多
关键词 web服务 匹配模型 服务描述语言 语义 WSDL
在线阅读 下载PDF
基于OWL-S过程模型的Web服务发现方法 被引量:5
8
作者 曾一 胡延强 洪豪 《计算机工程》 CAS CSCD 2012年第17期28-31,共4页
现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的... 现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。 展开更多
关键词 web服务 web服务本体语言 过程模型 过程图 相似度 过程匹配
在线阅读 下载PDF
基于模型驱动的Web服务建模与三阶段模型转换方法 被引量:2
9
作者 王昌晶 丁希龙 +2 位作者 陈茜 罗海梅 左正康 《计算机科学》 CSCD 北大核心 2022年第S02期787-800,共14页
精确的描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。为支持Web服务建模,提出从抽象到具体4个模型:Radl-WS服务需求模型、Apla服务设计模型、Java可执行代码、WSDL/RESTful API。为支持模型转换,进一步提出一种三... 精确的描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。为支持Web服务建模,提出从抽象到具体4个模型:Radl-WS服务需求模型、Apla服务设计模型、Java可执行代码、WSDL/RESTful API。为支持模型转换,进一步提出一种三阶段转换生成Web服务可执行代码的方法:第一阶段将Radl-WS服务需求建模语言转换为Apla服务设计语言;第二阶段将Apla服务设计语言通过相关转换工具生成可执行代码;第三阶段将可执行代码封装成服务。进而研究了三阶段模型转换的语义正确性,最后通过实例,展示了所提方法的实际效果。 展开更多
关键词 代数规范 模型驱动 web服务 建模语言 模型转换
在线阅读 下载PDF
基于时序描述逻辑的Web服务本体语言过程模型语义 被引量:2
10
作者 李明 刘士仪 年福忠 《计算机应用》 CSCD 北大核心 2013年第1期266-269,共4页
针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最... 针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。 展开更多
关键词 web服务本体语言 时序描述逻辑 服务组合 形式化 过程模型 建模
在线阅读 下载PDF
Web服务组合匹配框架研究 被引量:1
11
作者 周波 曾一 +2 位作者 陈恒鑫 刘慧君 杨燕宁 《计算机工程》 CAS CSCD 北大核心 2017年第1期98-104,共7页
在现有服务发现方法中,单一考虑原子服务或服务组合的方式难以满足用户日益增长的需求。针对该问题,设计一个基于模型转换的Web服务匹配框架。在服务发现过程中综合考虑组合Web服务的执行过程信息和服务质量需求信息,为Web服务组合的匹... 在现有服务发现方法中,单一考虑原子服务或服务组合的方式难以满足用户日益增长的需求。针对该问题,设计一个基于模型转换的Web服务匹配框架。在服务发现过程中综合考虑组合Web服务的执行过程信息和服务质量需求信息,为Web服务组合的匹配设计完整的过程:将UML模型转换为过程模型,再将过程模型转换为过程图,最后计算2个Web服务组合的相似度。实验结果表明,该服务匹配框架能够有效区分组合服务,提高服务发现的准确率。 展开更多
关键词 web服务 服务组合 统一建模语言模型 过程模型 服务发现 服务匹配
在线阅读 下载PDF
类型化的Web服务组合形式化模型 被引量:3
12
作者 辜希武 卢正鼎 《计算机科学》 CSCD 北大核心 2008年第1期128-134,共7页
Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过... Web服务组合的正确性包括动态行为的匹配性和数据类型的一致性。本文定义了一个扩充的Pi-演算类型系统,同时利用该系统对BPEL4WSWeb服务组合规范建立了一个类型化的形式化模型,通过该模型能够对Web服务组合的正确性进行验证。最后通过一个案例,给出了对Web服务组合动态行为的匹配性和数据类型的一致性的验证方法。 展开更多
关键词 类型化模型 web服务组合 web服务商业流程执行语言
在线阅读 下载PDF
基于XML与Web服务的齿轮制造信息的共享与集成 被引量:1
13
作者 李聚波 邓效忠 +2 位作者 徐爱军 李天兴 高振山 《农业工程学报》 EI CAS CSCD 北大核心 2010年第7期169-174,共6页
为实现齿轮企业内各应用系统间的信息共享与集成,加快企业信息化进程,提出了基于可扩展标示语言(extensive make up language,XML)与Web服务的齿轮制造信息共享与集成解决方案。研究了齿轮企业内EXPRESS数据模型与XML模型的映射机制,实... 为实现齿轮企业内各应用系统间的信息共享与集成,加快企业信息化进程,提出了基于可扩展标示语言(extensive make up language,XML)与Web服务的齿轮制造信息共享与集成解决方案。研究了齿轮企业内EXPRESS数据模型与XML模型的映射机制,实现了产品模型数据交换标准(standard exchange of product data model,STEP)中性文件的XML转换和表达,并利用Web服务技术实现了齿轮信息共享服务平台的集成框架构建与软件开发。最后,通过圆柱斜齿轮的网络化磨削加工试验,来验证该信息共享与集成方案的可行性与实用性。试验结果表明,本文所提出的信息共享与集成方案,能有效实现齿轮企业各应用系统间的信息交流与共享,满足齿轮企业信息化建设的需求。 展开更多
关键词 web服务 信息管理 齿轮制造 信息共享 可扩展标示语言(XML) 产品模型数据交换标准(STEP) 服务平台
在线阅读 下载PDF
基于时间Petri网的Web服务建模技术研究 被引量:1
14
作者 袁志祥 《计算机工程与设计》 CSCD 北大核心 2006年第20期3801-3804,共4页
Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关... Web服务是微软和IBM公司为能够解决当前的信息的整合而提出的,是一种部署在Web上、面向Internet的、基于XML的对象/组件技术;其目标是能够自动和统一地封装服务信息、服务行为、数据表示以及商务流程。商务流程的建立对于Web服务是至关重要的,因为Web服务之间的信息协调是以商务流程为基础的。因此IBM为解决该问题,提出了Web服务流程语言(webservicesflowlanguage,WSFL)。但是IBM提出的WSFL没有能够从并发协调的角度来阐述商务流程的建模方法,所以提出利用Petri网为模型描述工具,用于描述与分析商务流程模型,同时给出Petri网与WSFL之间的转换算法,并以实例证明了该模型用于商务流程的建模方法是切实可行的。 展开更多
关键词 时间PETRI网 web服务 web服务流语言 商务流程模型 工作流 可扩展标记语言
在线阅读 下载PDF
基于顺序图的Web组合服务属性验证
15
作者 吉顺慧 李必信 周宇 《东南大学学报(自然科学版)》 EI CAS CSCD 北大核心 2011年第2期305-311,共7页
为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相... 为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的. 展开更多
关键词 web组合服务 UML建模 模型验证 SPIN
在线阅读 下载PDF
Web服务环境中的业务过程建模语言比较框架 被引量:4
16
作者 吕庆中 韩燕波 麦中凡 《计算机工程与应用》 CSCD 北大核心 2003年第23期7-12,220,共7页
基于Web服务的价值链集成越来越受到人们的重视,相应的业务过程建模语言成为研究的焦点,各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为基于Web服务的信息系统集成研究和开发中的一个重要问题。该文在分析Web服... 基于Web服务的价值链集成越来越受到人们的重视,相应的业务过程建模语言成为研究的焦点,各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为基于Web服务的信息系统集成研究和开发中的一个重要问题。该文在分析Web服务环境下系统集成的体系结构模型基础上,提出了一个Web服务环境下业务过程建模语言比较框架,作为验证,对常见的建模语言进行了比较分析和评述。 展开更多
关键词 业务过程建模语言 比较框架 web服务 系统集成
在线阅读 下载PDF
一种验证Web服务流程的新方法 被引量:1
17
作者 王晨 王红兵 许迅 《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可... 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。 展开更多
关键词 时序逻辑语言 web服务本体描述语言 web服务业务流程执行语言 web服务组合验证 工作流模型分析
在线阅读 下载PDF
基于MDA的Web服务动态组合的研究
18
作者 王雪萍 宋旭东 刘晓冰 《计算机工程与设计》 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
云制造环境下外协加工资源集成服务模式及语义描述 被引量:82
19
作者 尹胜 尹超 +1 位作者 刘飞 李孝斌 《计算机集成制造系统》 EI CSCD 北大核心 2011年第3期525-532,共8页
针对云制造环境下外协加工服务资源和服务需求信息的属性构成及分散性、异构性、动态性和组合性等特点,提出并建立了一种能促进云制造环境下外协加工资源快速共享和高效利用的、具有广域集成和分散服务特点的集成服务模式。对基于Web服... 针对云制造环境下外协加工服务资源和服务需求信息的属性构成及分散性、异构性、动态性和组合性等特点,提出并建立了一种能促进云制造环境下外协加工资源快速共享和高效利用的、具有广域集成和分散服务特点的集成服务模式。对基于Web服务建模本体的外协加工资源语义描述总体实现框架、外协加工资源本体建模、外协加工资源Web服务交互与组合机制,以及外协加工资源Web服务异构兼容调解等关键技术进行了研究,有效解决了异构外协加工资源组合和互操作问题,实现了外协加工资源供需双方的动态匹配。最后通过应用实例对以上服务模式及实现关键技术进行了试验验证。 展开更多
关键词 云制造 外协加工 资源集成 web服务 语义描述 本体 web服务建模语言
在线阅读 下载PDF
要素细化与代码实现——WSMF模型 被引量:5
20
作者 黄映辉 李冠宇 《计算机应用》 CSCD 北大核心 2008年第8期2156-2159,2169,共5页
Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层... Web服务建模框架(WSMF)的实际应用可归结为是在正确理解WSMF本质基础上的要素细化与代码实现。WSMF的本质就是基于"重用性-解耦性-语义中介协调"观点导出的Web服务、目标、中介器、本体4个顶层要素及其相互关系。WSMF的顶层要素及其相互关系由Web服务本体模型(WSMO)细化扩展为层次结构的WSMF底层要素体系。WSMF的底层要素由Web服务建模语言(WSML)做形式化描述,进而转换为XML代码。一个实际的Web服务例证了WSMF顶层要素的细化、形式化、代码化的方法与过程。 展开更多
关键词 web服务建模框架 web服务建模框架要素 web服务本体模型 web服务建模语言 web服务
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部