--《》年论文

【摘要】：为了更好地对组合服务的控制流进行分析及验证,本文提出了一种基于并发的BPEL控制流模型.首先给出了该模型的定义,并通过把BPEL中选择结构的控制流转换为具有相同语义的并发结构控制流来实现对该模型结构的简化.在此基础上,给出了3个与并发模型密切相关的属性:无死锁性、意义完全性及无冲突性的定义,并分别讨论了这3个属性的验证方法及其意义.最后,通过一个组合服务实例证明了该模型及验证方法的有用性.

下载App查看全文

下载全文更多同类文献个人查重>>智能排版>>

CAJ全文下载

(如何获取全文？欢迎：购买知网充值卡、在线充值、在线咨询)

CAJViewer阅读器支持CAJ、PDF文件格式

	【相似文献】
	【相似文献】

中国期刊全文数据库

前20条

1	文梅;任巨;伍楠;苏华友;荀长庆;张春元;;流化H.264编码的数据并行方法[J];国防科技大学学报;2011年03期
2	骆翔宇;谭征;苏开乐;吴立军;;一种基于认知模型检测的Web服务组合验证方法[J];计算机学报;2011年06期
3	黄亮;姚放吾;金仙力;;Apache ODE环境下Web服务组合技术的研究[J];计算机技术与发展;2011年07期
4	李波;袁保宗;;基于阴影流和3D MAP-MRF的运动阴影消除[J];信号处理;2011年07期
5	唐伟;赵书河;;基于GVF和Snake模型的高分辨率遥感图像四元数空间道路提取[J];遥感学报;2011年05期
6	赵卫虎;孟相如;李明讯;;一种基于M/D/1排队模型的可用带宽测量算法[J];测控技术;2011年07期
7	胡同森;张茜;田贤忠;;基于双向流的门限机会中继策略[J];计算机系统应用;2011年06期
8	丁漪杰;李孝忠;;基于着色Petri网的知识流建模与分析[J];系统仿真学报;2011年S1期
9	夏媛媛;马立云;王晓原;;基于混沌蚁群算法的动态用户最优配流方法[J];山东理工大学学报(自然科学版);2011年03期
10	徐丽;蔡方凯;江守亮;;城市交通连续平衡网络设计问题的量子进化算法[J];电子元器件应用;2011年06期
11	邹兆国;郝泳涛;;基于行为流知识库的概念设计框架[J];电脑知识与技术;2011年19期
12	;[J];;年期
13	;[J];;年期
14	;[J];;年期
15	;[J];;年期
16	;[J];;年期
17	;[J];;年期
18	;[J];;年期
19	;[J];;年期
20	;[J];;年期

中国重要会议论文全文数据库

前10条

1	张功源;李必信;邱栋;吉顺慧;;一种基于并发的BPEL控制流模型的分析及验证[A];第六届中国测试学术会议论文集[C];2010年
2	卫东华;石志强;吴志美;;基于事件流模型的网络故障管理系统[A];2003年通信软件技术学术年会论文集[C];2003年
3	余峰;汤庸;潘炎;;一种工作流模型的挖掘方法[A];第二十四届中国数据库学术会议论文集（研究报告篇）[C];2007年
4	高军;王海洋;;面向事务的工作流模型在用电管理系统中的应用[A];第十六届全国数据库学术会议论文集[C];1999年
5	葛威;林志文;王聪;韦海军;;基于多信号流模型的建模信息描述方法[A];2011下一代自动测试系统学术研讨会论文集[C];2011年
6	华山;李红燕;;面向领域的工作流模型的设计[A];第二十届全国数据库学术会议论文集（技术报告篇）[C];2003年
7	任永杰;黄锦辉;刘文卓;;适合中国本土化环境的工作流模型与描述语言[A];第十六届全国数据库学术会议论文集[C];1999年
8	苏达权;陈雪;;张裂大陆边缘的下地壳流模型研究[A];中国地球物理学会年刊2002——中国地球物理学会第十八届年会论文集[C];2002年
9	尚宁;杨珉;程尊平;高传善;汪卫;朱扬勇;;IPMA:基于移动代理的P2P普适工作流模型[A];第二十一届中国数据库学术会议论文集（技术报告篇）[C];2004年
10	常小慧;李宏伟;;基于C#的GML文档解析[A];中国地理信息系统协会第八届年会论文集[C];2004年

中国博士学位论文全文数据库

前10条

1	吴江霞;Web组合服务QoS属性预测方法研究[D];北京邮电大学;2008年
2	张曼;面向服务的业务流程建模与验证研究[D];西安电子科技大学;2012年
3	邓娜;BPEL流程生命周期中若干关键问题研究[D];北京邮电大学;2011年
4	刘沛清;挑射水流对岩石河床的冲刷机理研究[D];清华大学;1994年
5	牛健植;长江上游暗针叶林生态系统优先流机理研究[D];北京林业大学;2003年
6	李庆华;基于顾客价值创新的企业战略定位研究[D];浙江大学;2002年
7	杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
8	程金花;长江三峡花岗岩区林地坡面优先流模型研究[D];北京林业大学;2005年
9	付丽娜;信牌驱动工作流模型的安全结构与仿真技术研究[D];西北大学;2012年
10	赵英霖;天红口服液治疗急性脑梗死风痰瘀阻证临床研究及对线栓大鼠局灶脑缺血再灌流模型的影响[D];南京中医药大学;2003年

中国硕士学位论文全文数据库

前10条

1	张晓雯;基于BPEL的工作流事务处理的研究与实现[D];解放军信息工程大学;2009年
2	赵广建;支持Web服务动态调用的BPEL工作流研究[D];燕山大学;2010年
3	尹哲;基于BPEL的移动支付处理系统构建[D];复旦大学;2010年
4	钱忠山;基于BPEL的医疗信息交换系统[D];哈尔滨工业大学;2011年
5	崔硕;工作流模型结构验证及运行仿真的研究与实现[D];华北电力大学;2012年
6	郭蓉蓉;应用于移动支付的BPEL编译器的设计与实现[D];北京邮电大学;2010年
7	廖克兰;基于构件和BPEL的融合业务生成环境的设计与实现[D];北京邮电大学;2011年
8	苗潇绚;面向融合业务的BPEL业务执行引擎的设计与实现[D];北京邮电大学;2011年
9	黄宇;基于BPEL的服务组合动态优化机制研究[D];重庆大学;2012年
10	王仁;基于服务体执行流模型的MiniOSEK操作系统设计与实现[D];中国科学技术大学;2010年

中国重要报纸全文数据库

前10条

1	田志娟;建设有黄河特色的一流模型[N];中国水利报;2003年
2	港湾网络公司;迎接智能型网络时代[N];计算机世界;2002年
3	柯永建刘新平王守清;风险定量分析[N];中华建筑报;2007年
4	张中桥;西京医院发现新型人工心脏材料[N];中国医药报;2006年
5	陈春华;生物医药企业——如何让风投的阳光照耀你[N];医药经济报;2007年
6	柴晓路;动态安置每个Web服务棋子[N];计算机世界;2002年
7	吕德群焦磊;河南油田开发应用点状注水井调驱技术[N];中国石化报;2006年
8	Martin T Sosnoff;IBM应向Google学习[N];计算机世界;2007年
9	;思博伦通信服务IMS互操作性测试[N];人民邮电;2007年
10	李先波;泰安市城市供水水源地家底摸清[N];地质勘查导报;2007年

	快捷付款方式		订购知网充值卡	订购热线	帮助中心
	微信支付支付宝银行卡	知网卡在线购卡更多>>	免费送卡上门银行汇款购卡邮局汇款购卡	400-819-9993 010-62982499 010-62783978	常见问题在线咨询阅读器下载	充值中心知网卡新手指南