检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

bpel流程间死锁检测研究

计算机学报 2011年第12期34卷 2427-2434页

作者：黄俊飞杨学红宫云战北京邮电大学网络与交换技术国家重点实验室北京100876

bpel流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性... 详细信息

bpel流程的正确性问题越来越受到广泛关注.作为一种支持并发机制的Web服务组合语言,不正确地使用并发和同步操作或不正确的交互都可能会使单一流程内部或流程间产生死锁.死锁问题是一类常见的并发缺陷,可能严重影响系统的可靠性与可用性.更为严重的是,对于业务流程组合这种可靠性和安全性要求极高的系统,一旦发生死锁,将会对业务系统产生严重的后果.为此作者在分析bpel特性和死锁特征的基础上,提出了一种可在bpel流程设计阶段检测流程死锁的方法,从而提高流程的可靠性,减少系统的维护代价.文中提出了一种从全局出发进行分析的方法,结合流程间执行的上下文信息,可以有效检测流程间的通信死锁,该方法也适用于其它与流程执行上下文相关的缺陷检测.

关键词： bpel 死锁流程摘要组合服务

在线全文

学校读者我要写书评

暂无评论

bpel静态流程切片技术研究

系统工程与电子技术 2009年第1期31卷 241-244,F0003页

作者：鲍亮宋胜利陈胜陈平胡圣明崔伟勇西安电子科技大学软件工程研究所陕西西安710071

提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造bpel控制流图,在此基... 详细信息

提出了业务流程切片的概念和对应的静态切片算法。流程切片是根据给定的活动和活动引用的变量(称为切片准则),分析出在整个流程中能够影响切片准则的流程片段。介绍了静态切片算法在给定切片准则的前提下,首先构造bpel控制流图,在此基础上生成活动依赖图,并对活动依赖图进行分析,从而确定流程中影响切片准则的活动序列(流程片段)。其结果已经在流程分析、优化和并行化等方面起到了重要作用,效果较好。

关键词： bpel 流程切片流程片段静态切片算法

基于K-means的云化分布式bpel引擎放置机制

在线全文

学校读者我要写书评

暂无评论

通信学报 2014年第5期35卷 49-56页

作者：林荣恒吴步丹赵耀杨放春北京邮电大学网络与交换技术国家重点实验室北京100876

针对分布式bpel引擎在云中的放置问题开展研究,提出了一种基于K-means的分布式bpel引擎放置机制,该机制将bpel引擎放置问题模型化为相关最优化数学模型,并且将该模型映射到K-means算法进行求解。该机制还讨论了算法在不同网络拓扑随机... 详细信息

针对分布式bpel引擎在云中的放置问题开展研究,提出了一种基于K-means的分布式bpel引擎放置机制,该机制将bpel引擎放置问题模型化为相关最优化数学模型,并且将该模型映射到K-means算法进行求解。该机制还讨论了算法在不同网络拓扑随机图、树形网络拓扑的应用。最后利用统计软件R进行了相关实验仿真,仿真结果显示该放置机制可优化服务调用所占用的带宽资源。

关键词： bpel 服务引擎 K-means 分布式计算云计算

在线全文

学校读者我要写书评

暂无评论

死路径语义下bpel路径敏感性缺陷分析

软件学报 2012年第3期23卷 504-516页

作者：杨学红黄俊飞宫云战北京邮电大学计算机科学与技术系北京100876

软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于bpel的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是bpel提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.... 详细信息

软件缺陷是衡量软件测试充分性的一项重要指标,为了提高基于bpel的组合Web服务流程的可靠性和健壮性,提出了一种死路径语义下路径敏感的缺陷检测方法.死路径是bpel提供的特殊语义,不具有任何执行信息,但是可以连接两个可执行路径片段.为了避免死路径对检测精度的影响,将死路径和路径条件有机地结合起来,采用了变量的抽象取值范围来表示流程的执行状态,即属性状态条件.通过状态条件中变量抽象取值范围为空来识别不可达路径及死路径,并在汇合节点进行了属性状态条件的合并.采用一个既与死路径相关又与执行路径相关的未初始化变量的缺陷检测贯穿整个分析与验证过程,进而说明了该方法的有效性.

关键词： bpel 死路径清除路径敏感分析数据流分析缺陷检测

Test Case Generation for bpel-Based Web Service Composition Using Colored Petri Net

在线全文

学校读者我要写书评

暂无评论

Test Case Generation for BPEL-Based Web Service Composition ...

作者： Hosney Jahan 南京理工大学

学位级别：硕士

当前Web服务在集成应用方面扮演着越来越关键的角色,但单个服务已无法满足用户的需求,需要通过组合现有服务来创建新服务,因此服务组合的概念应运而成。业务流程执行语言(bpel)是一种通过业务流程的方式描述服务组合的语言,参与服务间... 详细信息

当前Web服务在集成应用方面扮演着越来越关键的角色,但单个服务已无法满足用户的需求,需要通过组合现有服务来创建新服务,因此服务组合的概念应运而成。业务流程执行语言(bpel)是一种通过业务流程的方式描述服务组合的语言,参与服务间的交互使得bpel结构比较复杂,因此保证组合服务过程交互的一致性及其功能正确性非常必要,测试是提高bpel代码质量的有利途径。有色Petri网(CPN)是一种形式化方法,能够处理基于bpel的Web服务测试需求,它为建模、验证和测试bpel结构提供一种强大的数学背景。本文将CPN方法应用于基于bpel的Web服务组合中,提出一种有效可行的测试用例生成方法。为生成可行的测试用例并减少测试用例生成时间,我们将基于可达图的测试技术和基于控制流图的测试技术结合起来,给出相应的算法和转换规则。在将bpel过程转换成CPN模型之后,首先根据CPN模型构造可达图以获取所有的可行状态,然后应用转换规则根据可达图构造控制流图以获取测试路径,最后根据测试路径的约束生成测试数据。我们开发实现该测试用例生成方法的原型工具,并通过两个实例研究说明所提方法的有效性和可行性。

关键词： bpel Web服务组合 CPN 测试路径生成测试数据生成测试用例生成

基于bpel的RESTful Web服务异步交互及组合研究

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

计算机工程与科学 2013年第4期35卷 29-36页

作者：铁威黄志球王进南京航空航天大学计算机科学与技术学院江苏南京210016

RESTful Web服务由于其轻量级和明确语义等特性,已成为云计算环境下发布服务的首要方法。但是,由于RESTful Web服务仅支持同步的交互方式,面对复杂业务逻辑时,难以通过服务组合的方式来满足业务需求。针对这些问题,提出了一种基于回调的... 详细信息

RESTful Web服务由于其轻量级和明确语义等特性,已成为云计算环境下发布服务的首要方法。但是,由于RESTful Web服务仅支持同步的交互方式,面对复杂业务逻辑时,难以通过服务组合的方式来满足业务需求。针对这些问题,提出了一种基于回调的RESTful Web服务异步交互方式,通过扩展bpel元模型,增加了bpel对异步RESTful Web服务组合的支持,并设计实现了扩展后的bpel执行引擎。

关键词： RESTful Web服务异步交互 bpel 服务组合

基于时序可中断π演算的bpel和bpel4People建模

在线全文

学校读者我要写书评

暂无评论

北京大学学报（自然科学版） 2012年第2期48卷 209-216页

作者：金暐王捍贫朱梅霞北京大学信息科学技术学院北京100871

为了形式化地定义bpel和bpel4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πi... 详细信息

为了形式化地定义bpel和bpel4People的语义,提出了一个π演算的变种——πit演算。相对于传统的π演算,πit演算可以描述中断事件和时间事件,从而拥有更好的建模表达能力。介绍了πit演算的语法和语义,定义了一类强互模拟关系来判定πit演算进程间的行为等价,然后使用πit演算对bpel和bpel4People的活动进行了建模。该形式化模型有助于在bpel和bpel4People程序的设计阶段对其可靠性和一致性进行验证。

关键词： bpel bpel4People π演算时序可中断

在线全文

学校读者我要写书评

暂无评论

bpel应用程序验证模型研究

计算机科学 2009年第4期36卷 163-165页

作者：闻晓张为群杨阳黄娟西南大学计算机与信息科学学院软件学院重庆400715

在Web服务应用中,bpel是一种基于流程的描述业务行为的语言。为了验证以bpel构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并... 详细信息

在Web服务应用中,bpel是一种基于流程的描述业务行为的语言。为了验证以bpel构建的应用程序是否满足某些性质,提出了BVM模型来表达应用程序的语义,然后运用模型检测方法进行形式化验证。实验结果表明,以上方法在设计阶段能有效地发现并排除错误。

关键词： Web服务组合 bpel 有限自动机形式化验证

bpel中基于有限状态自动机的Web服务自动组合

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2007年第4期28卷 742-747页

作者：于守健李卫民吴国文乐嘉锦东华大学计算机科学与技术学院上海200051

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现bpel中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态... 详细信息

提出了一种基于有限状态自动机的Web服务自动组合方法,该方法能够自动实现bpel中抽象业务流程与Web服务的绑定.以有限状态自动机模型形式化地定义了业务流程的外模式和内模式,将Web服务组合问题转化为有限状态自动机问题.利用有限状态自动机的笛卡儿积运算,得出了服务组合系统的行为描述.在此基础上,提出了组合服务存在性的判定依据,进一步给出了组合服务的计算方法,设计并实现了一个演示系统.

关键词：业务流程 Web服务组合有限状态自动机 bpel