收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于高级Petri网的住院医师培训工作流系统建模与实现

杨雪  
【摘要】: 目前,政府机构及企事业单位都呈现出从以人力为主的办公模式到以工作流技术为中心的自动化办公模式的转变趋势,工作流管理系统实现了企业业务流程自动化管理,提高企业的工作效率和工作质量。为使住院医师培训系统能够协调并发运行,流程步骤能够正确无误执行,需要一种有效的、形式化的建模技术为系统构建模型。形式化建模方法可对模型进行清晰、易懂、无二义性的定义和形式化分析。Petri网是作为研究离散、并发系统的有力工具,是最主要的工作流建模和分析方法。 研究了高级Petri网的工作流建模及分析方法、工作流模型的描述及实现方法,并详细描述了住院医师工作流系统的建模-分析-实现完整的开发过程。在工作流建模方面,将高级Petri网的颜色扩展技术和跨组织Petri网技术相结合的综合建模技术为系统建模,并通过对称库所和变迁合并过程推导出初级颜色集合,实现了从传统Petri网到高级Petri网模型的稳步过度。在验证模型性能方面,给出了分级验证法验证跨组织结构模型性能。组织内采用不变量验证法验证合理性;组织问采用归约-可达图方法验证关联关系可达性。最后在模型描述方面,给出一种前驱-后继编码描述法描述Petri网模型,将形式化的Petri网图形转变为规则性编码,以XML文件描述各个节点的属性,使Petri网模型在住院医师培训系统中得到实际应用。 采用着色跨组织高级Petri网建模技术为住院医师培训系统构建模型提高了住院医师培训系统的执行效率;并通过不变量法和归约-可达图法验证法确保了组织内部和组织间无死锁,从而实现培训计划准确无误的进行。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 熊劲磊;;图形化工作流过程定义工具的设计[J];电脑知识与技术;2005年35期
2 孙明;张世栋;洪晓光;;支持工作流的DBMS模型[J];计算机科学;2005年04期
3 刘春国;;基于工作流的配电管理信息系统设计[J];计算机工程;2008年16期
4 谷彩连;;基于工作流的电力营销管理信息系统的研究[J];电脑开发与应用;2009年11期
5 孙佳伟;;网格工作流访问控制研究[J];电脑知识与技术;2009年29期
6 杨海军;;地铁工程测量管理系统中工作流的研究与设计[J];河北北方学院学报(自然科学版);2009年05期
7 孙佳伟;;网格环境中的工作流访问控制模型研究[J];福建电脑;2010年02期
8 古平;朱庆生;曾一;付鹤岗;;面向过程的软件工程课程质量辅助评价与控制研究[J];计算机教育;2010年24期
9 帅仕麟;对"XML-to-SQL"基本通用化转换法的探讨及实现[J];电脑编程技巧与维护;2005年05期
10 Mossa Ghurab,欧阳松,杨科学;文件处理中的工作流管理系统[J];企业技术开发;2005年08期
11 孟宪伟;王玮;李跃婷;吴庆;;基于组织的工作流访问控制模型研究[J];电力信息化;2005年05期
12 林明;;基于SOA的流程协同技术[J];软件世界;2006年06期
13 耿爱丽;孙建红;祁笑雅;;基于工作流的AUTOBANK管理系统设计与实现[J];现代情报;2006年09期
14 李少鹏;马晓明;武红敢;;基于工作流技术的全国森林植物检疫管理系统的设计[J];林业资源管理;2006年05期
15 雷萍;吕英华;余阳;;基于数据挖掘的工作流过程优化研究[J];中山大学学报论丛;2007年02期
16 王命延;彭建文;;T-RBAC访问控制模型及其约束描述语言[J];南昌大学学报(理科版);2007年03期
17 刘金民;;工作流的助手[J];软件世界;2007年13期
18 夏媛;李建华;;基于历史数据分析的工作流仿真环境研究[J];计算机仿真;2007年12期
19 曾维江;范玉顺;;一种基于路由表的工作流动态性能优化方法[J];计算机工程与应用;2008年05期
20 赵海燕;曹健;李明禄;;基于多Agent和工作流的业务过程仿真环境[J];计算机应用与软件;2008年11期
中国重要会议论文全文数据库 前10条
1 刘红岩;何军;;工作流:计算机支持的协同工作处理[A];第十五届全国数据库学术会议论文集[C];1998年
2 李晖;王海洋;王文;;面向事务的工作流活动模型[A];第十七届全国数据库学术会议论文集(技术报告篇)[C];2000年
3 李书生;闻立杰;王建民;吕少熊;;基于代理的工作流邦联及子流调用框架[A];第26届中国数据库学术会议论文集(B辑)[C];2009年
4 赵韩;高先圣;;基于工作流的数据访问控制技术[A];2004“安徽制造业发展”博士科技论坛论文集[C];2004年
5 连杰鑫;刘家茂;顾宁;;基于协作依赖的工作流过程优化[A];第二十届全国数据库学术会议论文集(研究报告篇)[C];2003年
6 段紫辉;唐世渭;杨冬青;李红燕;;基于状态与规则集的工作流执行模型[A];第十九届全国数据库学术会议论文集(研究报告篇)[C];2002年
7 吴宇进;刘家茂;李炜;顾宁;;支持输入反馈和健壮性增强的网格工作流自动生成方法[A];第二十一届中国数据库学术会议论文集(研究报告篇)[C];2004年
8 徐洸;杨伟锋;唐桂芬;;基于工作流的抢险救灾空中力量辅助决策系统设计与实现[A];第十三届中国管理科学学术年会论文集[C];2011年
9 周建涛;叶新铭;李平;;网格环境中基于SOA的工作流系统架构研究[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
10 靳绍聪;王建民;闻立杰;曹大海;;一种基于推荐系统的工作流资源分配机制[A];第二十三届中国数据库学术会议论文集(技术报告篇)[C];2006年
中国博士学位论文全文数据库 前10条
1 高磊;P2P工作流系统中的资源搜索及负载均衡优化研究[D];山东大学;2010年
2 朱锦泉;可适应工作流模型及其实现机制研究[D];吉林大学;2005年
3 於光灿;协作环境中访问控制模型研究[D];华中科技大学;2008年
4 李向宁;业务过程管理理论与若干关键技术研究[D];西北大学;2007年
5 硕良勋;基于网格的地球物理计算流系统研究[D];中国地质大学(北京);2008年
6 马增治;汽车制造供应链系统建模及性能分析[D];吉林大学;2008年
7 杨涛;基于本体的农业领域知识服务若干关键技术研究[D];复旦大学;2011年
8 卢亚辉;工作流系统的访问控制模型及其安全性分析的研究[D];清华大学;2008年
9 汪文元;基于工作流的兵力调度技术研究[D];国防科学技术大学;2005年
10 柯飞帆;面向分布应用的工作流管理系统研究与实现[D];南京航空航天大学;2006年
中国硕士学位论文全文数据库 前10条
1 张宏;PDM环境下的动态工作流管理技术的研究[D];华中科技大学;2004年
2 程刚;基于XPDL的工作流建模研究与实现[D];大连理工大学;2006年
3 薛峰;软件配置管理中变更管理技术的研究[D];大连海事大学;2006年
4 刘鑫;基于XML数据库的工作流系统的研究与设计[D];西北工业大学;2006年
5 尤卫军;Ego平台与Quartz系统集成[D];吉林大学;2008年
6 杨琦;基于工作流的教务管理系统的研究与应用[D];合肥工业大学;2008年
7 赵洁;支持动态进化的工作流系统的设计[D];山东大学;2005年
8 金铭月;基于SOAP的分布式工作流管理系统研究[D];哈尔滨理工大学;2005年
9 杨钊;CSCW与工作流系统的结合应用研究[D];天津大学;2005年
10 李振华;基于工作流理论的企业级数据挖掘系统设计[D];吉林大学;2006年
中国重要报纸全文数据库 前10条
1 中国石油勘探开发研究院西北分院 柏东明 曾丽花 郭以东;定制企业工作流服务[N];计算机世界;2011年
2 李蓉 本报记者  吕松华;天元携神州数码ERP谱写绿色篇章[N];大众科技报;2006年
3 刘学;重庆移动缩短客户投诉处理时间[N];人民邮电;2006年
4 高级架构师 杨洪波;SOA和BPM结合的三种方法[N];中国计算机报;2007年
5 邹洪强;应用系统的另类整合[N];计算机世界;2005年
6 孟文;升级管理 升级视野[N];国际商报;2008年
7 中国建设银行湖北分行信息技术部李涛、娄国伟、曾钦祥、吴安平、童海涛;实现多任务域工作流[N];计算机世界;2004年
8 华通;多功能的复合应用管家[N];中国计算机报;2007年
9 青岛市委市政府计算机中心 戴雪冰;保障政府审批透明化[N];计算机世界;2007年
10 工作流资深专家 刘航;中国企业迈向流程公司的十个路标[N];中国计算机报;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978