期刊文献+

业务流程建模中流程校验的研究与实现 被引量:2

Research and Realization for Flow Verification in Wordflow Modeling
下载PDF
导出
摘要 随着计算机网络技术的迅速发展,企业的信息化程度不断提高,以自动化流程为核心理念的工作流管理系统应用越来越普及,对工作流管理系统的可靠性和正确性要求也越来越高。提出了一种工作流建模时的验证方法:在工作流管理系统的工作流建模环境中加入流程验证模块,对建模过程中可能产生的错误进行验证,进而建立简洁实用的流程;通过分析流程中的异常和失败的类型,增强系统的纠错能力,减少引擎处理的压力;对有着特殊应用的建模过程,能够方便地添加自定义的验证条件,为流程的正确运行提供有效的保障;向基于规则化的工作流系统提供建模完整性的方案,获得系统工作流的稳健性。 Along with the rapid advance of the network technology,the informatization degree of enterprise is popularized widely.The application of the workflow management system which took the automatic flow as the core idea is more and more popular,as well as the reliability and correctness for the workflow management system is higher than before.A proof scheme of the modeling is raised in this essay:putting the flow verification module in the workflow modeling environment of the workflow management system,and making the verification for the mistakes in the modeling,then to build the simple and practical procedure.It is necessary to enhance the correction capability of system and reduce the pressure of the engine processing through the analysis for the failure type in the flow.It makes easier for increasing the user-defined verification condition in the modeling process of special application so that can ensure the flow running properly.The proposal of modeling integrity is provided for the work flow system on account of the work flow system on account of the regularization,thus it can achieve the robustness for system workflow.
作者 黄喆 徐伯夏
出处 《火力与指挥控制》 CSCD 北大核心 2013年第6期172-175,共4页 Fire Control & Command Control
关键词 工作流 流程建模 验证 workflow flow modeling verification
  • 相关文献

参考文献6

二级参考文献65

  • 1林琳,蒋昌俊.基于广义随机Petri网的交通信息系统建模与分析[J].计算机学报,2005,28(1):81-87. 被引量:15
  • 2[1]Workflow Management Coalition.The Workflow Reference Model.Web://Http://wfmc.org
  • 3[2]W M P van der A slst.TheApplication of Petri Nets to Workflow Management.The Journal of Circuits,System s and Comput2ers,1998,8(1):21~66
  • 4[3]W M P van der A slst.Verification of Workflow nets.In P.A zema and G.Balbo,Editors,Application and Theory of Petri nets1997,volume 1248 of Lecture Notes in Computer Science SpringerVerlag,Berlin,1997:407 ~ 426
  • 5[3]W.M.P. van der Aalst. Three Good reasons for Using a Petri-net-based Workflow management System [C]. In: Navathe S, Wakayama T, eds. Proceedings of the International Working Conference on Information and Process Integration in Enterprises (IPIC'96), Camebridge, Massachusetts: Kluwer Academic Publishers, Nov 1996:179-201.
  • 6[4]Ellis C A, Nutt G J. Modeling and Enactment of Workflow Systems, In M. Ajmone Marsan, editor, Application and Theory of Petri Nets [C]. Volume 691 of Lecture Notes in Computer Science, Springer- Verlag, Berlin, 1993, 1-16.
  • 7[5]W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management [J]. The Journal of Circuit, System and Computers 1998, 8(1): 21-66.
  • 8[6]Kamel Barkaoui, Laure Petrucci. Structral analysis of workflow nets with shared resources [J]. Computing Science Reports, 1998, 12: 82-95.
  • 9[7]Hai Zhuge, To-yat Cheung, Hung-keng Pung. A timed workflow process mode [J]. The Journal of Systems and Software, 2001, 55: 231-243.
  • 10[8]JianQiang Li, YuShun Fan, MengChu Zhou. Timing constrain workflow nets for workflow analysis [J]. IEEE Transaction on System, Man, and Cybernetics-Part A: System and Humans, 2003, 33(2): 179-193.

共引文献12

同被引文献10

引证文献2

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部