期刊文献+
共找到28篇文章
< 1 2 >
每页显示 20 50 100
一种面向服务流程异常处理的策略描述语言 被引量:2
1
作者 王权于 应时 +2 位作者 吕国斌 罗俊沣 文静 《计算机科学》 CSCD 北大核心 2012年第2期148-153,共6页
策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,... 策略描述语言是策略驱动的面向服务流程异常处理方法的基础和前提。针对目前已有策略语言在描述面向服务流程异常处理逻辑方面的不足,提出了一种新的面向服务流程异常处理的策略描述语言WS-Policy4BPEH。它在Web服务策略框架的基础上,扩展了ECA对规则执行影响的描述,定义了多种面向服务流程的异常处理动作模式,能够详细、准确地描述异常及异常处理方式、返回方式和传播方式。WS-Policy4BPEH采用XML作为元语言,因此具有良好的可扩展性。 展开更多
关键词 面向服务流程 异常处理 策略描述语言
在线阅读 下载PDF
测试流程描述语言的设计与实现 被引量:5
2
作者 孟晨 《兵工学报》 EI CAS CSCD 北大核心 2007年第1期91-93,共3页
针对测试流程描述的实际需求,设计了测试流程描述语言(TFDL)。介绍了该语言的设计思想、具体组成、程序结构和具体语句的语法结构,以及该语言的开发实现过程。该语言具有可移植性、硬件无关性、可扩展性、可兼容性、使用简便等特点,能... 针对测试流程描述的实际需求,设计了测试流程描述语言(TFDL)。介绍了该语言的设计思想、具体组成、程序结构和具体语句的语法结构,以及该语言的开发实现过程。该语言具有可移植性、硬件无关性、可扩展性、可兼容性、使用简便等特点,能够满足通用ATS软件对TPS可移植和可复用的要求,大大简化了测试软件的开发过程,并且大大降低了软件维护的难度。 展开更多
关键词 计算机软件 测试流程描述语言 翻译器
在线阅读 下载PDF
网格工作流流程描述语言的研究和设计
3
作者 张雪剑 邵伟民 朱峰 《计算机工程与设计》 CSCD 北大核心 2007年第13期3205-3208,共4页
针对网格服务的工作流技术,在分析Web服务工作流流程描述语言BPEL(businessprocessexecutionlanguage)的基础上设计了网格工作流流程描述语言——GBPEL,给出了该语言的总体语法框架图。对GBPEL的几个主要部分:活动、通知链接机制、错误... 针对网格服务的工作流技术,在分析Web服务工作流流程描述语言BPEL(businessprocessexecutionlanguage)的基础上设计了网格工作流流程描述语言——GBPEL,给出了该语言的总体语法框架图。对GBPEL的几个主要部分:活动、通知链接机制、错误处理机制、生命周期、伙伴等的设计在功能和特点方面进行了详细分析说明,并给出了一个使用GBPEL描述的流程实例片段。 展开更多
关键词 工作流流程描述语言 工作流流程描述 网格服务工作流流程描述语言 活动 通知链接机制 生命周期 伙伴
在线阅读 下载PDF
基于语法描述语言的在线手绘流程图识别
4
作者 陈泉 施大鹏 +2 位作者 冯桂焕 赵小燕 骆斌 《计算机科学》 CSCD 北大核心 2015年第B11期113-118,共6页
提出了一种基于语法描述语言来对草图的结构和组成符号进行识别的方法。该方法将整个识别过程分为3步:首先,使用具有空间和时序约束的动态规划对笔画序列进行自由组合;然后通过神经网络分类器对笔画组合进行识别,生成候选符号集;最后,... 提出了一种基于语法描述语言来对草图的结构和组成符号进行识别的方法。该方法将整个识别过程分为3步:首先,使用具有空间和时序约束的动态规划对笔画序列进行自由组合;然后通过神经网络分类器对笔画组合进行识别,生成候选符号集;最后,基于流程图构成的语法规则,对候选符号进行筛选,最终通过语法解析获得识别结果。在FCinkML数据上对该方法进行验证,结果表明了该方法的有效性。 展开更多
关键词 草图理解 手绘流程 语法描述语言 神经网络
在线阅读 下载PDF
基于本体的网络服务描述元模型的建立与分析
5
作者 刘晓光 金烨 《上海交通大学学报》 EI CAS CSCD 北大核心 2005年第S1期113-117,共5页
为实现网络服务的自动匹配、集成及运行时的实时监控,提出了一个基于本体的网络服务描述元模型,该模型弥补了网络服务描述语言(WSDL)在语义描述方面的不足,为网络服务提供了一个比较完整、全面的描述,能够较好地支持网络服务自动匹配、... 为实现网络服务的自动匹配、集成及运行时的实时监控,提出了一个基于本体的网络服务描述元模型,该模型弥补了网络服务描述语言(WSDL)在语义描述方面的不足,为网络服务提供了一个比较完整、全面的描述,能够较好地支持网络服务自动匹配、集成及运行时实时监控. 展开更多
关键词 网络服务 网络服务描述语言 本体 元模型
在线阅读 下载PDF
网格工作流描述语言及相关工具的研究和设计 被引量:1
6
作者 李伟 邵伟民 王鹏 《计算机工程与设计》 CSCD 北大核心 2008年第14期3562-3564,3568,共4页
网格工作流描述语言是网格工作流中一个很重要的部分。针对目前Web服务商业流程描述语言BPEL4WS描述网格服务工作流缺少表示性的不足,提出并设计了网格工作流描述语言(GridBPEL)中的网格服务生命周期部分,开发完善了网格工作流流程定义... 网格工作流描述语言是网格工作流中一个很重要的部分。针对目前Web服务商业流程描述语言BPEL4WS描述网格服务工作流缺少表示性的不足,提出并设计了网格工作流描述语言(GridBPEL)中的网格服务生命周期部分,开发完善了网格工作流流程定义工具(GridWF_editor)的基本模块和关键类库,为网格工作流的进一步研究与应用奠定了基础。 展开更多
关键词 网格工作流 描述语言 网格服务 生命周期 工作流流程定义工具
在线阅读 下载PDF
网络服务技术在轨道交通综合监控系统中的应用 被引量:1
7
作者 王耀军 周超英 汪鹏 《城市轨道交通研究》 北大核心 2010年第12期47-49,53,共4页
针对在轨道交通综合监控系统开发中各承包商所面临的选择开发平台及开发语言的困扰问题,提出了采用Web Services(网络服务)技术来解决。首先分析了Web Services中的两大关键技术:WSDL(网络服务描述语言)和SOAP(简单对象访问协议)。然后... 针对在轨道交通综合监控系统开发中各承包商所面临的选择开发平台及开发语言的困扰问题,提出了采用Web Services(网络服务)技术来解决。首先分析了Web Services中的两大关键技术:WSDL(网络服务描述语言)和SOAP(简单对象访问协议)。然后,以集成闭路电视系统为例,规划了系统总体架构。最后,通过反复研究和测试,解决了系统开发中的关键问题:Web Services与综合监控系统之间的通信,并成功地应用到了深圳地铁3号线的综合监控系统项目开发中。 展开更多
关键词 网络服务 简单对象访问协议 网络服务描述语言 综合监控系统 闭路电视系统
在线阅读 下载PDF
基于Web服务的流程工业遗留系统的信息集成 被引量:11
8
作者 李相育 钱宇 李秀喜 《计算机集成制造系统》 EI CSCD 北大核心 2005年第10期1387-1391,共5页
为了实现流程工业遗留系统的有效集成,提出了一种基于Web服务的流程工业遗留系统信息集成模型。首先,分析流程工业遗留系统的特点,确定遗留系统要公开的数据及功能,再利用Web Service Wrapper技术将其包装为Web服务;然后,企业可以根据... 为了实现流程工业遗留系统的有效集成,提出了一种基于Web服务的流程工业遗留系统信息集成模型。首先,分析流程工业遗留系统的特点,确定遗留系统要公开的数据及功能,再利用Web Service Wrapper技术将其包装为Web服务;然后,企业可以根据自身的集成目标,动态地集成这些分布在不同区域的Web服务,该模型对遗留系统采用包装的方法,保证了遗留系统在集成平台中仍保持原先的安全稳定性;最后,通过在建立Mini-Plant的计算机信息集成平台上的实际应用,验证了该集成技术的有效性及实用性。 展开更多
关键词 遗留系统 网络服务 简单对象访问协议 网络服务描述语言
在线阅读 下载PDF
一种策略驱动的BPEL流程异常处理描述方法
9
作者 王权于 应时 +3 位作者 吕国斌 文静 程银海 陈莹 《计算机科学》 CSCD 北大核心 2014年第11期216-226,共11页
针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结... 针对如何提高BPEL流程的异常处理描述能力的问题,提出了一种策略驱动的BPEL流程异常处理描述方法。首先设计了一种新型的BPEL流程异常处理策略描述语言BPEH/PDL,并基于着色Petri网提出了BPEH/PDL异常处理策略的形式化描述方法。最后结合制造执行系统领域的汽车装配流水线管理系统,讨论了基于BPEH/PDL的BPEL流程异常处理策略的应用过程,以供参考。 展开更多
关键词 BPEL流程 异常处理 策略描述语言 着色PETRI网
在线阅读 下载PDF
Web服务业务流程一致性验证
10
作者 吴明晖 熊向辉 应晶 《计算机应用研究》 CSCD 北大核心 2010年第10期3758-3762,共5页
在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web... 在Web服务业务流程建模和实现过程中,Web服务编排从全局角度描述了Web服务参与者之间的协作和交互过程;Web服务编制描述了单个Web服务参与者与其他参与者的交互,两者的结合能有效提高服务流程建模和实现的效率以及准确性,但必须解决Web服务编排和服务编制的一致性验证问题。提出了一种基于CSP(communication sequence process)的Web服务编排语言WS-CDL(Web service choreography description lan-guage)和Web服务编制规范WS-BPEL(Web service business process execution language)间的一致性验证方法。该方法将WS-CDL和WS-BPEL均转换为CSP语言;然后基于CSP的模型检测工具PAT(process analysis toolkit)进行两者的一致性检查;最后通过一个完备的案例对该方法进行了验证,结果表明了该方法的有效性。 展开更多
关键词 Web服务编排 Web服务编制 Web服务编排描述语言 WEB服务业务流程执行语言 通信序列进程 一致性
在线阅读 下载PDF
基于语义Web服务内部流程接口匹配的服务组合算法 被引量:1
11
作者 邱爽 王亚东 刘永壮 《高技术通讯》 CAS CSCD 北大核心 2012年第6期596-603,共8页
针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合,导致组合成功率低的问题,提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言(OWL—S)并... 针对基于服务一级粗粒度的语义Web服务组合方法无法有效地发现满足用户需求的潜在的服务组合,导致组合成功率低的问题,提出了基于语义Web服务内部流程接口匹配的自动服务组合方法。该方法利用基于语义的Web服务描述语言(OWL—S)并在领域本体的支持下对Web服务语义进行描述,对服务与服务流程进行区分,将服务流程作为组合操作对象,通过计算不同的Web服务内部流程接口之间语义关联程度,遵从后继服务流程选择策略自动地生成能够满足用户需求的流程组合方案,并通过反向检索组合流程,消除组合方案中冗余的服务流程。通过一系列的仿真实验对该组合方法的成功率、效率等方面进行了验证,结果证明了该方法可以更加有效地根据用户请求自动生成服务组合方案。 展开更多
关键词 语义WEB服务 服务组合 Web服务本体描述语言(OWL-S) 领域本体 服务流程
在线阅读 下载PDF
一种验证Web服务流程的新方法 被引量:1
12
作者 王晨 王红兵 许迅 《计算机应用研究》 CSCD 北大核心 2008年第12期3785-3789,共5页
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可... 在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可对Web服务流程进行验证,以确保所提供的Web服务是完全正确的。然而,针对这两种语言的验证方法较少被人们注意。提出一种验证Web服务流程的方法,该方法使用时序行为逻辑(TLA)建模服务流程,然后,利用模型检验(model checking)技术验证模型的某些属性。实验证明该方法效果良好,有相当的探索与实用价值。 展开更多
关键词 时序逻辑语言 Web服务本体描述语言 WEB服务业务流程执行语言 WEB服务组合验证 工作流模型分析
在线阅读 下载PDF
面向跨组织业务流程的服务组合策略 被引量:1
13
作者 蒋军 冯志勇 《计算机工程与设计》 CSCD 北大核心 2007年第15期3678-3681,共4页
动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑。传统的集中规划的组合方式不能很好适应开放环境所提要求。提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口... 动态服务组合为跨组织业务流程的快速开发提供了重要技术支撑。传统的集中规划的组合方式不能很好适应开放环境所提要求。提出一种基于分布式层次任务网络的服务组合策略,分析了实现该策略的组件的结构和功能,并定义组件间的Web服务接口,给出该策略下跨组织流程的开发方式,并以应用实例说明该策略对开放组织之间业务流程开发的有效支持。 展开更多
关键词 网络服务 动态服务组合 层次任务网络 分布式规划 跨组织业务流程
在线阅读 下载PDF
组合Web服务建模工具的设计与实现 被引量:4
14
作者 崔航 马殿富 +1 位作者 王勇 杜宗霞 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2003年第10期943-946,共4页
通过分析IBM提出的Web服务流程描述语言 (WSFL) ,设计并实现了一个基于WSFL的组合Web服务建模工具 (CWSMT) .该工具还可与Web服务运行环境相结合 ,将图形化的建模结果转换为可部署、可运行的组合Web服务 ,实现组合Web服务的建模。
关键词 网络服务 组合网络服务 网络服务流程描述语言 建立模型
在线阅读 下载PDF
使用BPEL4WS设计业务流程的研究 被引量:9
15
作者 史少锋 李安渝 《计算机应用与软件》 CSCD 北大核心 2006年第7期52-54,共3页
首先介绍W eb服务的概念、特点及其在商业应用中的不足,从而引出为什么要整合W eb服务;接着介绍了BPEL4W S的概念以及它与W eb服务的其它规范的关系;随后结合一个简单的例子,详细讲述了如何使用BPEL设计业务流程。
关键词 WEB服务 Web服务的业务流程执行语言 Weh服务描述语言 业务流程
在线阅读 下载PDF
采用动作时序逻辑的Web服务组合方法 被引量:2
16
作者 周宁 刘慧 +1 位作者 王红兵 谢俊元 《计算机科学与探索》 CSCD 2011年第3期208-220,共13页
基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。 展开更多
关键词 网络服务组合 动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)
在线阅读 下载PDF
面向Web服务的BPEL的研究与实现 被引量:4
17
作者 宋波 李妙妍 《计算机工程与设计》 CSCD 北大核心 2007年第9期2212-2214,2219,共4页
BPEL简化了将多个Web服务合成到一个新的复合服务(业务流程)中的操作过程。但如果要进一步提高BPEL流程的开发效率,还需要一个可视化的解决方案。通过一个开发实例的具体实现过程,对基于BPEL进行Web服务合成的原理和方法进行了深入的研... BPEL简化了将多个Web服务合成到一个新的复合服务(业务流程)中的操作过程。但如果要进一步提高BPEL流程的开发效率,还需要一个可视化的解决方案。通过一个开发实例的具体实现过程,对基于BPEL进行Web服务合成的原理和方法进行了深入的研究,并由此提出了基于Oracle BPEL流程管理器实现Web服务合成的解决方案,介绍了在该环境下部署和测试一个BPEL流程的方法。 展开更多
关键词 业务流程执行语言 WEB服务合成 WEB服务描述语言 OracleBPEL流程管理器
在线阅读 下载PDF
运用ILASII2.O实现网上流通服务新举措 被引量:2
18
作者 吕红梅 《现代情报》 2003年第2期118-118,120,共2页
本文详细分析了ILASII2.0的网上流通服务功能:注册、预约和续借、催还以及荐购的详细操作方 法,并指出了其不足之处.以便ILASII2.0的网上服务功能更完善、更贴近用户。
关键词 图书馆 ILASⅡ2.0 网上流通服务 服务功能 操作流程 网络服务
在线阅读 下载PDF
面向服务架构的实现模型 被引量:3
19
作者 兰建忠 刘义 柴跃廷 《计算机集成制造系统》 EI CSCD 北大核心 2008年第7期1306-1312,共7页
归纳了面向服务架构的关键元素,分析了各个元素的实现规范及其关系,并提出了一个以服务为核心、根据标准化的信息技术构建的面向服务架构的实现模型。分析了该模型各个层次的特性及功能,并设计了该模型中企业服务总线层和流程层的实现机... 归纳了面向服务架构的关键元素,分析了各个元素的实现规范及其关系,并提出了一个以服务为核心、根据标准化的信息技术构建的面向服务架构的实现模型。分析了该模型各个层次的特性及功能,并设计了该模型中企业服务总线层和流程层的实现机制,介绍了该模型在一个基于面向服务架构的第三方知识服务交易平台中的应用。 展开更多
关键词 面向服务的架构 实现模型 网络服务 信息技术 业务流程执行语言
在线阅读 下载PDF
公共文化服务的五个难题 被引量:3
20
作者 杨永恒 《人民论坛》 北大核心 2011年第21期53-53,共1页
一是现在网络传播方式与传统方式融合的问题。这种融合不是简单把原来的公共文化服务的内容直接搬到网络服务当中来,而是带来服务的理念、服务的手段,也包括内容、业务流程方面的变革。这是第一个需要解决的问题,也是需要在公共文化... 一是现在网络传播方式与传统方式融合的问题。这种融合不是简单把原来的公共文化服务的内容直接搬到网络服务当中来,而是带来服务的理念、服务的手段,也包括内容、业务流程方面的变革。这是第一个需要解决的问题,也是需要在公共文化服务建设当中重点解决的问题。 展开更多
关键词 公共文化服务 网络服务 传统方式 传播方式 业务流程 服务建设 内容
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部