检索结果-维普期刊中文期刊服务平台

支持多实例模式的动态工作流研究被引量：4: 1; 作者许甸李建华 +1 位作者刘星沙夏媛《计算机应用》 CSCD 北大核心 2006年第12期3033-3036,共4页; 为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实... 展开更多; 关键词动态工作流建模多实例模式工作流引擎; 在线阅读下载PDF 职称材料

多实例工作流模式的π演算形式化被引量：4: 2; 作者梁爱南李长云黄贤明《计算机应用》 CSCD 北大核心 2007年第1期219-220,224,共3页; 多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。; 关键词 Π演算 ECA规则多实例工作流模式; 在线阅读下载PDF 职称材料

一种基于BPEL4WS的多实例工作流模式的解决方案: 3; 作者刘利范磬亚徐汀荣《计算机应用与软件》 CSCD 北大核心 2008年第1期165-167,175,共4页; 多实例MI(Multiple Instances-MI)是一种重要的工作流模式,不能完全被BPEL4WS(Business Process Execution Languagefor Web Service)规范支持,很多情况下,在BPEL4WS流程中无法直接有效实现。在结合了BPEL4WS流程与伙伴之间的不同交互... 展开更多; 关键词 BPEIAWS 多实例模式通信模式角色代理并发; 在线阅读下载PDF 职称材料

基于π演算的多实例工作流模式的建模方法: 4; 作者梁爱南李长云黄贤明《计算机应用与软件》 CSCD 北大核心 2008年第5期65-66,71,共3页; π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。; 关键词工作流建模 Π演算 ECA规则多实例工作流模式; 在线阅读下载PDF 职称材料

题名支持多实例模式的动态工作流研究被引量：4: 1; 作者许甸李建华刘星沙夏媛; 机构中南大学信息科学与工程学院中南大学现代教育技术中心; 出处《计算机应用》 CSCD 北大核心 2006年第12期3033-3036,共4页; 文摘为了解决多实例模式给工作流的建模和实现带来的动态语义和数据共享冲突问题,在对多实例模式进行深入分析的基础上,讨论了一种具有动态性的建模方法。这种基于XPDL的过程定义方案支持各种多实例活动并且具有较强的动态性,能与不同的实现引擎兼容。同时,提出了一种活动多实例动态组装的活动执行部件设计方案,其中活动实例管理器的设计解决了动态执行多实例活动和数据共享问题。该方案在工作流引擎Shark中得到实现,改进后的Shark表明这种建模方法和引擎设计思想较好地解决了多实例的建模和实现问题,也提高了流程的动态性。; 关键词动态工作流建模多实例模式工作流引擎; Keywords dynamic workflow modeling multiple instances pattern workflow engine; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名多实例工作流模式的π演算形式化被引量：4: 2; 作者梁爱南李长云黄贤明; 机构湖南工业大学计算机科学与技术系; 出处《计算机应用》 CSCD 北大核心 2007年第1期219-220,224,共3页; 基金湖南省自然科学基金资助项目(05JJ30122) 湖南省教育厅科研项目(052520) +1 种基金湖南工业大学博士基金; 文摘多实例工作流模式是一类重要的工作流模式。π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。对π演算进行了研究,提出了以π演算作为工作流形式化的基础,利用π演算对多实例工作流模式进行了详细的描述。; 关键词 Π演算 ECA规则多实例工作流模式; Keywords π-calculus ECA rule multiple instance workflow patterns; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种基于BPEL4WS的多实例工作流模式的解决方案: 3; 作者刘利范磬亚徐汀荣; 机构苏州大学计算机科学与技术学院; 出处《计算机应用与软件》 CSCD 北大核心 2008年第1期165-167,175,共4页; 文摘多实例MI(Multiple Instances-MI)是一种重要的工作流模式,不能完全被BPEL4WS(Business Process Execution Languagefor Web Service)规范支持,很多情况下,在BPEL4WS流程中无法直接有效实现。在结合了BPEL4WS流程与伙伴之间的不同交互模式的基础上,对BPEL4WS流程中出现的多实例模式的类型重新进行了讨论。在重点探讨了MP-MI模式(Multiple Partners-MultipleInstances)之后,在BPEL4WS流程与伙伴之间引入了一个"角色代理层"的概念,并在此基础上提出了一个针对MP-MI的有效的解决方案,并给出了具体实现说明。; 关键词 BPEIAWS 多实例模式通信模式角色代理并发; Keywords BPEL4WS Pattern of multiple instances Communication patterns Role agent Concurrence; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于π演算的多实例工作流模式的建模方法: 4; 作者梁爱南李长云黄贤明; 机构湖南工业大学计算机系; 出处《计算机应用与软件》 CSCD 北大核心 2008年第5期65-66,71,共3页; 基金湖南省自然科学基金(05JJ30122) 湖南省教育厅科研项目(052520) 湖南省教育厅优秀青年项目(06B023); 文摘 π演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。根据π演算的语法,利用π演算对多实例工作流模式进行了建模。提出的方法具有较强的语义表达能力,同时使过程模型的语义更加精确。; 关键词工作流建模 Π演算 ECA规则多实例工作流模式; Keywords Workflow modeling at-calculus ECA rule MUltiple instance workflow patterns; 分类号 TP311 [自动化与计算机技术—计算机软件与理论] TP391.9 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料