题名 基于Petri网的企业动态工作流研究
被引量：1
1
作者
林国福
机构
闽江学院计算机科学系
出处
《陕西科技大学学报（自然科学版）》
2010年第6期116-119,共4页
文摘
企业工作流系统需要具有很强的动态修改功能,以适应不断变化的企业动态管理需求.为了提高企业工作流系统的适应能力,加强企业工作流系统的灵活性,提出了基于Petri网的企业动态工作流模型,对工作流动态更改模型的实现进行了描述,并将传统的数据库事务处理方法引入工作流系统中,实现了企业工作流的动态更改,在不影响企业工作流最终目标的前提下,满足了企业工作流系统动态管理的需求.
关键词
PETRI网 工作流 模型 动态更改 事务
Keywords
Petri net workflow model dynamic modification transaction
分类号
TP301.2
[自动化与计算机技术—计算机系统结构]
题名 过程实例跃迁正确性判定准则研究
2
作者
李伟刚 李俊亭
机构
西北工业大学软件与微电子学院 西北工业大学管理学院
出处
《计算机工程与应用》
CSCD
北大核心
2007年第36期7-9,42,共4页
基金
陕西省科技攻关(the Science-Technology Project of Shaanxi Province of China under Grant No.2004k05-G45) 西安市信息技术专项(the Special Fund on Information Technology of Xi’an City of China under Grant No.ZX06033)
文摘
过程模型的动态更改会引起运行中的过程实例向更改后的过程模型跃迁,必须保证过程实例跃迁后运行的一致性。由于多分支结构的影响,不同过程实例的跃迁条件不易确定。研究了过程模型更改机制,通过删除、插入、修改三类元更改操作构造更改域。将过程执行历史能否重放作为过程实例跃迁正确性的判定准则,提出一种高效的过程实例精确跃迁条件评判方法,可以确定拥有不同路由结构、不同运行状态的过程实例的跃迁策略。该方法能适应多分支的过程模型,灵活性高,便于实现过程模型动态更改和实例跃迁的自动化。
关键词
工作流 动态更改 实例跃迁 正确性准则
Keywords
workflow dynamic change process instance migration correctness criteria
分类号
TP391
[自动化与计算机技术—计算机应用技术]
