收藏本站
《全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)》2008年
收藏 | 手机打开
二维码
手机客户端打开本文

基于UML的动态工作流过程建模的研究

陈冬梅  王忠群  
【摘要】:在形式语义的支持下提出了一种动态工作流建模方法。该方法在扩展 UML 的基础上给出了两种建模机制,利用 UML 活动图和状态图对动态工作流过程进行建模。最后,本文给出一个汽车企业产品研发的建模实例说明了本方法对动态工作流建模的有效性。

手机知网App
【共引文献】
中国期刊全文数据库 前10条
1 周颖 ,郑国梁 ,李宣东;面向模型检验的UML状态机语义[J];电子学报;2003年S1期
2 白晓清,蓝秋萍,李怀忠;面向组件的软件测试技术[J];广西科学院学报;2004年02期
3 梁义芝,王延章,缪旭东,刘云飞;UML活动图的形式语义及分析[J];计算机工程与应用;2003年18期
4 张毅坤,赵明,崔杜武;基于状态机代码合成技术的状态测试数据生成[J];计算机工程;2004年15期
5 钱俊彦,古天龙,赵岭忠;Statecharts的形式化验证研究[J];计算机工程;2005年18期
6 张庆,雷航;一种基于UML状态图的面向对象类级测试模型[J];计算机工程;2005年21期
7 肖健宇;张德运;陈海诠;董皓;;基于UML状态机与B方法的高可信嵌入式软件开发[J];计算机工程;2006年08期
8 舒风笛,毋国庆,李明树;面向嵌入式实时软件的需求规约语言及检测方法[J];软件学报;2004年11期
9 朱雪阳;唐稚松;;Statecharts的组合语义与求精[J];软件学报;2006年04期
10 肖健宇,张德运,董皓,陈海诠;UML状态机到B形式化规约的转换[J];微电子学与计算机;2005年08期
中国重要会议论文全文数据库 前1条
1 陆公正;张广泉;;UML状态图中的数据流语义[A];2006年全国理论计算机科学学术年会论文集[C];2006年
中国博士学位论文全文数据库 前8条
1 董威;面向UML的模型检验研究[D];中国人民解放军国防科学技术大学;2002年
2 朱雪阳;软件体系结构形式描述研究[D];中国科学院研究生院(软件研究所);2005年
3 范年柏;程序正确性验证的几个问题[D];湖南大学;2005年
4 张义荣;基于机器学习的入侵检测技术研究[D];国防科学技术大学;2005年
5 占学德;基于UML statecharts测试方法的研究[D];上海大学;2005年
6 谭永东;自律分散系统动态进化问题研究[D];西南交通大学;2007年
7 马利民;新一代产品几何量技术规范(GPS)理论框架体系及关键技术研究[D];华中科技大学;2006年
8 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
中国硕士学位论文全文数据库 前10条
1 赵鹏;基于UML状态图的面向对象类级测试方法的研究与实现[D];暨南大学;2003年
2 陈武;UML状态机的形式化语义研究[D];西南师范大学;2004年
3 陈浩;基于消息机制的软件自动测试技术研究[D];湖南大学;2004年
4 张保国;基于UML Statechart图的软件测试用例自动生成技术研究[D];湖南大学;2004年
5 周长红;UML图的Petri网建模[D];山东科技大学;2004年
6 姚晓玲;基于SBOPN的UML模型的正确性验证[D];山东科技大学;2004年
7 张保卫;类的状态自动测试平台研究[D];西安理工大学;2004年
8 周浩宇;基于用户操作流程的软件自动测试技术研究与系统实现[D];湖南大学;2005年
9 张鹏飞;基于投影时序逻辑的片上系统形式化描述和验证[D];西安电子科技大学;2006年
10 董富江;基于GIS的社区信息管理系统的设计与实现[D];吉林大学;2006年
【相似文献】
中国期刊全文数据库 前10条
1 王江华;白尚旺;张冬;;基于动态工作流的临床路径信息系统架构研究[J];计算机与数字工程;2011年06期
2 ;[J];;年期
3 ;[J];;年期
4 ;[J];;年期
5 ;[J];;年期
6 ;[J];;年期
7 ;[J];;年期
8 ;[J];;年期
9 ;[J];;年期
10 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 陈冬梅;王忠群;;基于UML的动态工作流过程建模的研究[A];全国第19届计算机技术与应用(CACIS)学术会议论文集(上册)[C];2008年
2 金杨恒;曾伟;;基于马尔可夫决策过程和DT-Golog的动态工作流集成[A];全国第十届企业信息化与工业工程学术年会论文集[C];2006年
3 王慧娟;;浅谈安阳卷烟厂办公自动化系统[A];中国烟草行业信息化研讨会论文集[C];2004年
4 刘超;李也白;张永峰;宋磊;李天立;;电子政务中动态工作流平台的研究与设计[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(下)[C];2006年
5 付新;朱庆生;;动态工作流系统结构与应用初探[A];’2004计算机应用技术交流会议论文集[C];2004年
6 赵翠杰;彭玉青;林涛;;电子政务中动态工作流的应用研究[A];2006通信理论与技术新进展——第十一届全国青年通信学术会议论文集[C];2006年
7 龙文莉;;基于“数字海洋”框架的海域使用管理信息系统实施[A];地理学核心问题与主线——中国地理学会2011年学术年会暨中国科学院新疆生态与地理研究所建所五十年庆典论文摘要集[C];2011年
8 龙文莉;;基于“数字海洋”框架的海域使用管理信息系统建设[A];发挥资源科技优势 保障西部创新发展——中国自然资源学会2011年学术年会论文集(下册)[C];2011年
9 王铮;姜慧;;大型跨平台的档案办公综合管理系统——国内首创的基于Linux操作系统的管理软件[A];勘察设计企业信息化建设研讨会资料汇编[C];2003年
10 尚宗敏;崔立真;王海洋;;智能流程应用模式下基于流程语义库的流程自动生成方法[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
中国重要报纸全文数据库 前2条
1 ;CRM[N];中国计算机报;2003年
2 ;创智PowerCRM[N];中国计算机报;2003年
中国博士学位论文全文数据库 前5条
1 汤景凡;动态Web服务组合的关键技术研究[D];浙江大学;2005年
2 杨浩澜;动态网格计算工作流关键技术研究[D];重庆大学;2011年
3 刘兵;基于Web服务组合的网格工作流研究[D];中国科学技术大学;2007年
4 张绍华;网格工作流关键技术研究[D];复旦大学;2004年
5 杨晓辉;基于服务组织的开放Agent社会研究[D];天津大学;2012年
中国硕士学位论文全文数据库 前10条
1 方明;基于动态工作流的企业办公自动化系统的研究[D];武汉理工大学;2005年
2 詹振;基于.NET的动态工作流技术的研究与实现[D];武汉理工大学;2012年
3 梁永潮;基于SSH2动态工作流模型的研究与应用[D];西安科技大学;2011年
4 汤象峰;基于RBAC的动态工作流系统的研究与应用[D];武汉理工大学;2010年
5 王小花;基于扩展的UML活动图的工作流过程建模[D];重庆大学;2005年
6 张宏;PDM环境下的动态工作流管理技术的研究[D];华中科技大学;2004年
7 蓝贵文;办公自动化系统工作流程动态定制技术研究与实现[D];武汉大学;2003年
8 刘许伟;基于动态工作流的自适应Web服务组合[D];河北大学;2011年
9 徐建军;基于Petri网的动态工作流技术研究[D];国防科学技术大学;2004年
10 吴悦;工作流管理系统中动态完整控制模型的研究与设计[D];华东师范大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026