期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

支持异常处理的柔性工作流可信赖性分析 被引量：4

Reliability Analysis for Flexible Workflow Supporting Exception Handle
下载PDF
导出
摘要 随着人们对柔性工作流认识的不断增强,柔性工作流管理系统的可信赖性变得越来越重要。异常作为影响工作流柔性的主要原因之一,对系统的可信赖性有很大的影响。提出了一种基于随机Petri网的支持异常处理的柔性工作流建模与性能分析方法,并以电子商务系统中的物流系统为例,在随机Petri网模型建模的基础上着重分析了柔性工作系统的可用性、可靠性等性能参数。 With growing awareness of the flexible workflow, reliability of flexible workflow system has become more and more important,as one of the main reasons of the impact of work flexible workflow,exception has a great impact on reliability of flexible workflow system. This paper presented a stochastic Petri net based flexible workflow modeling and performance analysis method supporting exception handling , and took e-commerce systems in the logistics system for example, the flexible system＇s availability, reliability and other performance parameters were analyzed based on the stochastic Petri net in modeling.
作者 张静乐 杨扬 曾明 王元卓
机构地区 北京科技大学信息工程学院 清华大学计算机系
出处 《计算机科学》 CSCD 北大核心 2010年第4期41-44,共4页 Computer Science
基金 国家自然科学基金(No.60673160 No.60873192 No.60803123)资助
关键词 异常 柔性工作流 随机PETRI网 电子商务 Exception,Flexible workflow,Stochastic Petri net, E-business
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献14

  • 1林闯,王元卓,杨扬,曲扬.基于随机Petri网的网络可信赖性分析方法研究[J].电子学报,2006,34(2):322-332. 被引量：43
  • 2Barlow R E.Mathematical theory of re liability:A historical perspective[J].IEEE Trans on Re liability,1984,33(1):16-20.
  • 3Algirdas 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.
  • 4Avizienis A,Laprie J,Randell B.Fundamental Concepts of Dependability[R].LAAS2CNRS.N01145.Apr.2001.
  • 5NU T T G J.The evolution towards flexible workflow systems[J].Distributed System Engineering,1996,3(4):276-294.
  • 6Han Y,Sheth A,Bussl E R C.A taxonomy of adaptive workflow management[A]//Workshop in Conference on Computer Supported Cooperative Work:Towards Adaptive Workflow Systems[C].Seattle,USA:ACM Press,1998.
  • 7Kammer P J,Bolcer G A,Taylorrn.et al.Techniques for supporting dynamic and adaptive workflow[J].Computer Supported Cooperative Work,2000,9(3/4),269-292.
  • 8Sadiq S.On capturing exceptions in workflow process models[A]//Proceedings of the 4th International Conference on Business Information Systems[C].Poznan,Poland:Springer-Verlag,2000.
  • 9Casati 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.
  • 10Lin 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.

二级参考文献15

  • 1林闯,李雅娟,刘雪宁.非马尔可夫随机Petri网的分析方法及应用[J].系统仿真学报,2003,15(z1):71-75. 被引量：3
  • 2Chang C J，IEEE/ACM Trans Networking，1994年，2卷，2期，166页
  • 3Lin C，IEEE Trans Computs，1988年，37卷，7期，815页
  • 4M K Molly.Performance analysis using stochastic Petri nets [J].IEEE Trans On C omputers,1982,C-31(9):913-917.
  • 5G Cabodi,P Camurati,S Quer.Reachability analysis of large circuits using disjunc tive partitioning and partial iterative squaring [J].Systems Architecture,2001 ,47(2):163-179.
  • 6W M Zuberek,I Rada.Modeling and analysis of distributed state space generation f or timed Petri nets [A].34-th Annual Simulation Symposium(SS-2001) [C].Stat tle,WA:The Society for Computer Simulation International(SCS),2001.93-98.
  • 7K Salimifard,M Wright.Petri net-based modelling of workflow systems:An overview [J].European Journal of Operational Research,2001,134(3):664-676.
  • 8W M P Van der Aalst,A H M ter Hofstede.Verification of workflow task structures: A Petri-net-based approach [J].Information Systems,2000,25(1):43-69.
  • 9K Inseon,P Junyeol,S Joohan.Developing adaptive buffer-level synchronization al gorithm by Petri nets for improving quality of multimedia related services [A] .2000 IEEE International Conference on Systems,Man,and Cybernetics(SMC2000) [C ].Nashville,TN:8-11 October,2000.3195-3200.
  • 10E Debes.A new Petri net based model of data transfers in the PC workstation memo ry hierarchy for MPEG encoding [A].The 2001 IEEE International Symposium on Ci rcuits and Systems(ISCAS) [C].Sydney,Australia:2001(2).221-224.

共引文献87

同被引文献30

  • 1林闯,王元卓,杨扬,曲扬.基于随机Petri网的网络可信赖性分析方法研究[J].电子学报,2006,34(2):322-332. 被引量：43
  • 2Nutt G J. The evolution towards flexible workflow systems[ J]. Distribu-ted System Engineering, 1996,3(4) :276 —294.
  • 3Sadiq S. On capturing exceptions in workflow process models [ C ]//Proceedings of the 4th International Conference on Business Informa-tion Systems. Poznan,Poland:Springer Verlag,2000.
  • 4Zimmerraann A. Stochastic Discrete Event Systems: Modeling, Evalu-ation ,Applications [ M]. Springer, 2008:50-60.
  • 5Illard 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.
  • 6Lerner 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.
  • 7Zimmermann A.Stochastic Discrete Event Systems:Modeling,Evaluation,Applications[M].Springer,2008:51-97.
  • 8ZHANG S, WANG B. The research on decision approach of data dependence in dynamic workflow system [ C ]//Parallel and Distributed Computing, Applications and Tec'hnologies, 2005. PDCAT 2005. Sixth International Conference on. Dalian: IEEE, 2005: 1027-1029.
  • 9MEJIA B J F, FALCARIN P, MORISIO M, et al. Dynamic context- aware business process: a rule-based approach supported by pattern identification[ C]//Proceedings of the 2010 ACM Symposium on Applied Computing. Sierre : ACM, 2010: 470-474.
  • 10XU W, SU J, YAN Z, et al. An artifact-centric approach to dynamic modification of workflow execution [M]//Robert Meersman. On the Move to Meaningful Intemet Systems: OTM 2011. Berlin Heidelberg: Springer, 2011 : 256-273.

引证文献4

二级引证文献3

计算机科学
2010年 第4期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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