期刊文献+

基于SCPN的柔性工作流可用性建模及分析 被引量:2

AVAILABILITY MODELLING AND ANALYSIS FOR FLEXIBLE WORKFLOW BASED ON STOCHASTIC COLOURED PETRI NET
下载PDF
导出
摘要 提出一种基于随机有色Petri网SCPN(Stochastic Colored Petri Net)的柔性工作流可用性分析方法。在探讨SCPN形式化定义的基础上,分别建立基本单元异常处理的SCPN模型和典型结构的异常处理的SCPN模型,有效地描述面向异常处理的柔性工作流系统的动态行为特性。最后,以某企业员工培训业务为例,得到系统可用度指标的变化曲线,验证了所提方法的有效性。 A new approach for analysing availability of flexible workflow (FW) based on stochastic coloured Petri net (SCPN) is proposed. On the basis of discussing the formal definition of SCPN, the SCPN models of exception handling for basic unit and typical structure are constructed respectively, and they effectively describe the dynamic behaviour features of exception handling-oriented FW system. In end of the paper, taking staff training business in a certain enterprise as the example, the curve of availability index of the system is derived, and the validity of the proposed approach is verified.
出处 《计算机应用与软件》 CSCD 北大核心 2013年第6期322-324,共3页 Computer Applications and Software
基金 国家自然科学基金项目(61103202)
关键词 柔性工作流 随机有色Petri网 异常 可用性 Flexible workflow Stochastic coloured Petri net Exception Availability
  • 相关文献

参考文献7

二级参考文献24

  • 1林闯,李雅娟,刘雪宁.非马尔可夫随机Petri网的分析方法及应用[J].系统仿真学报,2003,15(z1):71-75. 被引量:3
  • 2张继军,吴哲辉.Petri网的分层递归模型[J].系统仿真学报,2003,15(z1):89-92. 被引量:11
  • 3林闯,王元卓,杨扬,曲扬.基于随机Petri网的网络可信赖性分析方法研究[J].电子学报,2006,34(2):322-332. 被引量:43
  • 4O'Connor P D T. Practical Reliability Engineering[M]. 4th ed. Chichester, UK: John Wiliey & Sons Inc., 2002.
  • 5Casati F.A discussion on approaches to handling exceptions in workflows[A]//Proceedings of the International Conference on Computer-Supported Cooperative Work,workshop on Adaptive Workflow Systems[C].Seattle,USA:ACM Press,1998.
  • 6Lin C,Sheng L J,WuJ P,et al.An integrative scheme of diffe-rentiated service:modeling and performance analysis[A]//Modeling,Analysis and Simulation of Computer and Telecommunication Systems,2000.Proceedings.8~(th)International Symposium on[C].Book,News,Inc,Portland,OR:IEEE,2000:441-448.
  • 7Workflow Management Coalition.The workflow reference model[Z].WFMC-TC00-1003.1995.
  • 8Ciaodo G,Muppala J,Trivedi K & SPNP:Stochastic Petri Net Package[A]//Proc.Petri Nets and Performance Models[C].1989:142-151.
  • 9Barlow R E.Mathematical theory of re liability:A historical perspective[J].IEEE Trans on Re liability,1984,33(1):16-20.
  • 10Algirdas A,LaprieJ-C,RandellB,et al.Basic concepts and taxonomy of dependable and secure computing[J].IEEE Transactions on Dependable and Secure Computing,2004,l(1):11-33.

共引文献47

同被引文献28

  • 1梁陈良,聂长海,徐宝文,陈振宇.一种基于模型检验的类测试用例生成方法[J].东南大学学报(自然科学版),2007,37(5):776-781. 被引量:7
  • 2Illard R M P,Murphy G C.Static analysis to support the evolution of exception structure in objec-oriented systems[J].ACM Transactions on Sofware Engand Methodology,2003,12(2):1912-1921.
  • 3Lerner B S,Cheistov S,Osterweil L J,et al.Exception handling Patterns for Process Modeling[J].IEEE Transaction On Software Engineering,2010,36(2):162-183.
  • 4Zimmermann A.Stochastic Discrete Event Systems:Modeling,Evaluation,Applications[M].Springer,2008:51-97.
  • 5Christensen S, Mortensen K H. Design/CPN ASK-CTL Manual [ M/ OL]. http ://cpntools. org/_media/documentation/askctlmanual, pdf.
  • 6Jorgensen J B ,Kristensen L M. Design/CPN OE/OS Graph Manual [ M/ OL]. http://heim, ifi. uio. no/andersmo/petrinet/manualDesignCPN/ OeOS. pdf.
  • 7Chen L J, Tang T, Zhao X Q, et al. Verification of the safety communi- cation protocol in train control system using colored Petri net[ J]. Reli- ability Engineering and System Safety,2012,100 : 8 - 18.
  • 8Katsams P. A madmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach[ J]. Information and Soft- ware Technology,2009,51 (2) :235 - 257.
  • 9Kurt Jensen, Kristensen L M, Lisa Wells. Coloured Petri Nes and CPN Tools for modelling and validation of current systems [ J ]. Int J Softw Technol Transfer, 2007,9 : 213 - 254.
  • 10杨志义,张琛雨,董云卫.AADL软件容错系统建模与评估[J].计算机测量与控制,2009,17(4):779-782. 被引量:8

引证文献2

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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