期刊文献+

柔性工作流建模引入NVP的可靠性优化研究

Optimizing the Reliability of Flexible Workflow Based on the N-Version Programming
下载PDF
导出
摘要 针对当前大型企业的工作流管理系统普遍存在建模能力不充分、可靠性不足等问题,提出一种基于N版本程序设计(N-Version Programming)容错策略的柔性工作流建模方法,该方法相比于传统工作流模型,有效应用N版本程序设计容错模式,为工作流关键活动节点增加容错机制,从而显著提升工作流管理系统的可靠性.同时为满足模型应用的现实需求,详细分析N版本程序设计的可靠性优化,最后通过模型实例,说明该建模方法在模型描述能力和系统可靠性方面的优势. To improve the description ability and reliability of the workflow management system used in large enterprises, this paper proposes a flexible worldlow model based on the N-version programming. Compared with the traditional workflow model, the model applies the N-version programming method on the key node in the workflow to significantly enhance the reliability of the workflow management system. Furthermore, how to maximize the reliability of the N-version programming method is described to meet the practical needs of the model application. Finally, this paper introduces the realized workflow model and the corresponding system in detail. The experiment result shows that the new modeling method is high efficient and satisfactory.
作者 万杰龙
出处 《计算机系统应用》 2012年第12期52-55,共4页 Computer Systems & Applications
关键词 工作流模型 容错策略 N版本程序设计 可靠性优化 worldlow model Fault-tolerant strategy N-version programming reliability optimization
  • 相关文献

参考文献5

二级参考文献36

  • 1徐峻,沈康辰,黄柏林.着色Petri网在工作流建模中的应用[J].计算机应用与软件,2004,21(7):47-48. 被引量:9
  • 2白英彩.柔性制造系统,CIMS教程[M].北京:学苑出版社,1993..
  • 3吴东鹰.FMS的柔性及其计划策略研究:学位论文[M].上海交大,1995..
  • 4WFMC-The Workflow Management Coalition Specification:Terminology & Glossary [S].Document Number fMC2TC21011.Version 3.0,February 1999.
  • 5Workflow Management Coalition.The workflow reference model [S].WFMC TC0021003,1994.
  • 6Harel D,Pnueli A.On the development of reactive system [M].Apt K ed.Logics and models of Concurrent system,NATO ASI series F13,Berlin,Springer2Verlag,1985.
  • 7David Harel,Michal Politi.Modeling Reactive Systems with Statecharts [M].McGraw-Hill,1998.
  • 8UML 2.0 Superstructure Specification [EB/OL].Http://www.Omg.Org/issues/ ptc/03-08-02.
  • 9UML 2.0 Infrastructure Specification [EB/OL].Http://www.omg.Org/issues/ ptc/03-09-15.
  • 10Eshuis R,Wieringa R.A formal semantics for UML activity diagrams [R].Technical Report TR2CTIT201204,University of Twente,2001.

共引文献587

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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