收藏本站
《小型微型计算机系统》 2007年12期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

事务性服务组合的过程模型及良构性判定

任怡  管剑波  吴泉源  戴华东  吴庆波  
【摘要】:松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.

手机知网App
【引证文献】
中国期刊全文数据库 前3条
1 陈玉军;赵金辉;;网格计算环境下企业事务工作流建模研究[J];商场现代化;2009年02期
2 高数;;网格计算环境下企业事务工作流建模研究[J];现代经济信息;2009年11期
3 林宝平;顾乃杰;李青;;基于流程的Web服务发现[J];小型微型计算机系统;2010年07期
中国博士学位论文全文数据库 前1条
1 吕国斌;云计算环境下的科学工作流关键技术研究[D];中国地质大学;2012年
【参考文献】
中国期刊全文数据库 前1条
1 丁柯 ,金蓓弘 ,冯玉琳;事务工作流的建模和分析[J];计算机学报;2003年10期
【共引文献】
中国期刊全文数据库 前10条
1 洪眉,许炜,彭卫;基于Saga模型的事务工作流实现机制[J];兵工自动化;2004年05期
2 黄涛;丁晓宁;魏峻;;基于应用语义的网构软件松弛事务模型研究[J];中国科学E辑:信息科学;2006年10期
3 董云卫;郝克刚;;一种乐观嵌套工作流事务模型[J];计算机科学;2005年08期
4 董云卫;郝克刚;;乐观嵌套工作流事务模型的形式化描述[J];计算机科学;2006年07期
5 吴修国;;迁移工作流中MI的迁移策略研究[J];计算机科学;2012年06期
6 韩月娟;赵雷;吕强;杨季文;;一个基于SOFM的柔性化审批应用方案的设计[J];计算机工程;2006年21期
7 王睿;李从心;;事务性工作流中的长事务处理方法研究[J];计算机工程;2007年04期
8 张晓雯;黄永忠;李占峻;;基于Web Service的工作流补偿机制[J];计算机工程;2009年24期
9 陈传波;孔雄飞;;基于消息反演的动态工作流引擎的研究与实现[J];计算机工程与科学;2007年05期
10 陈树根;姜新文;宋狄;;Web服务事务模型的形式化建模[J];计算机应用;2006年S2期
中国博士学位论文全文数据库 前10条
1 吴修国;面向目标的迁移工作流建模方法研究[D];山东大学;2010年
2 董云卫;工作流管理系统的事务建模研究[D];西北大学;2004年
3 于万钧;工作流管理技术研究[D];吉林大学;2004年
4 张朝辉;面向企业的工作流管理技术[D];吉林大学;2005年
5 田珂;开放网络环境下工作流管理系统的技术研究[D];电子科技大学;2006年
6 杨公平;迁移工作流系统中的工作流域组织与迁移实例调度研究[D];山东大学;2007年
7 郑然;网格计算环境下工作流关键技术的研究[D];华中科技大学;2006年
8 刘怡;基于工作流的连锁超市生鲜货品营运流程管理研究[D];华中科技大学;2007年
9 邬少飞;基于WEB服务的动态虚拟企业工作流的研究[D];华中科技大学;2009年
10 吕国斌;云计算环境下的科学工作流关键技术研究[D];中国地质大学;2012年
中国硕士学位论文全文数据库 前10条
1 张晓雯;基于BPEL的工作流事务处理的研究与实现[D];解放军信息工程大学;2009年
2 张茜茜;基于XPDL的事务工作流和工作流验证的研究和实现[D];北京邮电大学;2011年
3 王江华;基于工作流的临床信息系统的研究[D];太原科技大学;2011年
4 王佳;分布式动态监控系统的设计和实现[D];解放军信息工程大学;2009年
5 王乐乐;基于MOSS的工作流技术应用研究[D];燕山大学;2010年
6 原琳杰;石油勘探开发数据管理系统[D];华中科技大学;2011年
7 衡铁刚;面向疑点核实的数据路径追踪技术研究[D];哈尔滨工程大学;2011年
8 张敬波;工作流事务模型研究[D];大庆石油学院;2004年
9 乔梁;基于J2EE的分布式多引擎工作流系统设计[D];吉林大学;2004年
10 侍连岗;基于Web Services事务性组合研究[D];南京理工大学;2004年
【同被引文献】
中国期刊全文数据库 前10条
1 王勇;毛国君;代桂平;侯亚荣;方娟;;组合网格服务的信任度估算算法[J];北京工业大学学报;2009年10期
2 任怡;吴泉源;戴华东;吴庆波;;一种基于QoS的事务工作流并发调度算法[J];电子学报;2007年04期
3 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期
4 杜栓柱,谭建荣,陆国栋;一个基于TWF-net的扩展时间工作流模型及其应用[J];计算机研究与发展;2003年04期
5 周建涛,史美林,叶新铭;工作流过程建模中的形式化验证技术[J];计算机研究与发展;2005年01期
6 张静;王海洋;崔立真;;基于Pi演算的跨组织工作流建模研究[J];计算机研究与发展;2007年07期
7 苑迎春;李小平;王茜;;基于串归约的网格工作流费用优化方法[J];计算机研究与发展;2008年02期
8 徐亮;张莉;樊志强;;一种基于UML的实时工作流建模方法研究[J];计算机研究与发展;2010年07期
9 官荷卿;;Web服务事务的研究综述[J];计算机科学;2005年05期
10 李国中;刘书雷;吴秋云;景宁;;动态服务聚合流程定义元模型及其应用[J];计算机科学;2007年02期
中国硕士学位论文全文数据库 前1条
1 靖红叶;基于Pi演算的Web服务组合的验证[D];太原理工大学;2008年
【二级引证文献】
中国期刊全文数据库 前2条
1 蹇崇军;;一种改进的支持外部Web服务集成的过程模型[J];桂林理工大学学报;2012年04期
2 蹇崇军;洪欣;;一种支持外部Web服务集成的过程模型[J];计算机工程;2012年02期
中国博士学位论文全文数据库 前1条
1 臧雪柏;面向汽车驾驶模拟器的网格计算关键技术研究[D];吉林大学;2009年
中国硕士学位论文全文数据库 前1条
1 翁俊;基于移动GIS的电力营销系统的研究与设计[D];厦门大学;2009年
【二级参考文献】
中国期刊全文数据库 前2条
1 李红臣,史美林,陈信祥;工作流系统中的业务过程描述及分析[J];计算机研究与发展;2001年07期
2 罗海滨,范玉顺,cims.tsinghua.edu.cn,吴澄;工作流技术综述[J];软件学报;2000年07期
【相似文献】
中国期刊全文数据库 前10条
1 胡佳琦,胡和平,罗明,卢正鼎;一种基于用户过程的知识发现建模方法[J];华中理工大学学报;1998年01期
2 顾新建,孙静,丁勇,祁国宁;基于Web的企业过程模型仿真系统[J];计算机集成制造系统-CIMS;2003年06期
3 余军合;全生命周期产品和过程模型集成技术研究[J];工程设计学报;2005年03期
4 张多利,高明伦,李丽,程作仁;基于功能信息的验证工程学过程模型研究[J];微电子学与计算机;2005年10期
5 曾清华;李青;;基于扩展的UML活动图的质量工作流建模[J];航空制造技术;2006年09期
6 胡勇;谢康;肖静华;;软件项目风险管理的协同过程模型[J];现代管理科学;2007年03期
7 桑海峰;王福利;苑玮琦;何大阔;;诺西肽发酵过程中的混合建模[J];仪器仪表学报;2007年01期
8 苏海云;李仲学;;基于业务流程再造(BPR)的信息弹性协同的构建[J];中国管理信息化(综合版);2007年06期
9 牛芳;李东;;信息系统规划过程特征与有效性关系实证研究[J];管理世界;2007年02期
10 刘丛军;武忠;;组织的知识应用过程研究[J];现代情报;2008年01期
中国重要会议论文全文数据库 前10条
1 李烨;;企业战略性业务转型的一个过程模型及其混沌特征分析[A];现代工业工程与管理研讨会会议论文集[C];2006年
2 邹慧君;梁庆华;郭为忠;何有钧;姚燕安;;基于运动状态变换特性矩阵的运动求解过程模型[A];第十二届全国机构学学术研讨会论文集[C];2000年
3 史正祥;汪霖;贾连兴;;MSF在军用软件开发中的应用[A];'2008系统仿真技术及其应用学术会议论文集[C];2008年
4 胡勇;肖静华;庞家峰;谢康;;软件项目风险管理的协同过程模型[A];信息经济与国民经济增长方式的转变——中国信息经济学会2006年学术年会论文集[C];2006年
5 赵雯;王悦;李烁;廖馨;;复杂产品总体设计过程集成环境在大飞机设计中的应用[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
6 唐杨军;戴牡红;;软件测试过程及其改进技术[A];2008通信理论与技术新进展——第十三届全国青年通信学术会议论文集(上)[C];2008年
7 黄福鑫;郑康锋;胡影;张玲;;一种基于渗透图的信息安全风险过程模型[A];第十三届中国科协年会第11分会场-中国智慧城市论坛论文集[C];2011年
8 冯文强;邹志云;任夫健;;过程仿真培训系统的历史、现状和发展趋势[A];工业自动化应用实践——全国(第五届)炼钢、连铸和轧钢自动化学术会议论文集[C];2002年
9 李姗琦;孙永宣;高隽;谢昭;;层次Dirichlet过程模型下的目标分析与识别[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
10 李嵩山;李彤;李志勇;;软件过程模型的复用[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
中国重要报纸全文数据库 前10条
1 ;Alunorf改造2#热轧铝带轧机过程自动化系统[N];中国有色金属报;2004年
2 特约撰稿 杨文嘉;从“过程模块化”到“数据模块化”[N];民营经济报;2007年
3 王昕 熊光楞 王计斌;并行工程过程管理[N];计算机世界;2001年
4 海青;运用EFSOP技术优化电炉冶炼[N];世界金属导报;2005年
5 石微;LEONARDO工业软件系统在玻璃生产过程控制中的应用[N];中国建材报;2006年
6 王世栋;经济生产型钢最新技术(二)[N];世界金属导报;2002年
7 王宏安 冯梅;石化行业MES解析[N];计算机世界;2006年
8 钢铁研究总院科技信息室;意将建不锈钢CSP连铸机[N];中国冶金报;2001年
9 李国英;深入研究黄土高原土壤侵蚀规律[N];黄河报;2006年
10 李杰;三种设施作物生长发育过程模拟和仿真技术研究[N];科技日报;2007年
中国博士学位论文全文数据库 前10条
1 霍保世;产品研发过程与发生机理研究[D];北京交通大学;2008年
2 杨煜俊;网络化协同产品开发理论及其关键技术研究[D];华中科技大学;2005年
3 杜红;面向临床路径实施的知识重构研究[D];天津大学;2004年
4 肖郑进;面向企业应用的工作流精简建模研究[D];浙江大学;2006年
5 王会良;大学技术转移研究[D];天津大学;2008年
6 杜湘瑜;基于综合集成的虚拟样机测试与评估理论和方法研究[D];国防科学技术大学;2005年
7 任怡;分布异构环境中事务工作流技术的研究[D];国防科学技术大学;2005年
8 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
9 李永奎;建设工程生命周期信息管理(BLM)的理论与实现方法研究[D];同济大学;2007年
10 王斌君;工作流过程模型的层次研究及其分析[D];西北大学;2002年
中国硕士学位论文全文数据库 前10条
1 周俊鹏;支持软件过程自动化的工作流引擎的设计和实现[D];国防科学技术大学;2005年
2 高颖;试论我国个人所得税征管的完善[D];苏州大学;2007年
3 薛萍;基于心理契约的餐饮业员工流失控制研究[D];合肥工业大学;2008年
4 张洋;基于工作流的业务过程管理系统的设计开发[D];电子科技大学;2008年
5 魏家瑞;基于工作流技术的办公自动化系统的研究与实现[D];内蒙古工业大学;2009年
6 曹大海;基于着色Petri网的图形化工作流建模工具的设计与实现[D];清华大学;2005年
7 范俊杰;基于心理契约的知识型员工流失控制研究[D];合肥工业大学;2007年
8 胡海涛;Folksonomy在网络学习资源管理中的应用研究[D];山东师范大学;2008年
9 王一丹;模块化理论在产品创新中的应用[D];北京化工大学;2008年
10 曹军武;项目管理在培训中的应用[D];华北电力大学(北京);2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026