期刊文献+

工作流过程模型结构性冲突中死锁的探测 被引量:1

Detection of Deadlock Lying in Structural Confliction of Workflow Process Models
下载PDF
导出
摘要 从业务流程模型静态结构的角度分析了业务过程模型的结构性冲突中死锁发生的可能性。为了能够更清晰地阐述问题,引入两个概念——可达性和绝对可传输性,用来表示一个节点的输出点和另外一个节点的输入点之间的连接属性。阐述了死锁发生的情形并将之归结为5种模式,并说明了如果一个业务模型中存在与这5种死锁类型中的某一个模型相匹配的结构,那么这个业务模型就存在死锁的可能。 This paper analyzes the possibility of deadlock lying in structural confliction of workflow process models from the view of static structure of process models. To expatiate the topic more clearly, it introduces two conceptions: reachability and absolute transferability, which express the connection property between output point of a node and input point of another node. The paper expounds the situation of occurring deadlock and summaries five patterns of deadlock. Furthermore, it illuminates there is deadlock in a process model possibly if there is a structure which matches one of five deadlock patterns in the process model.
出处 《计算机工程》 EI CAS CSCD 北大核心 2006年第16期70-71,88,共3页 Computer Engineering
关键词 工作流 结构性冲突 死锁 可达性 绝对可传输性 Workflow Structural confliction Deadlock Reachability Absolute transferability
  • 相关文献

参考文献5

  • 1罗海滨,范玉顺,cims.tsinghua.edu.cn,吴澄.工作流技术综述[J].软件学报,2000,11(7):899-907. 被引量:491
  • 2Georgakopoulos D. Workflow Management Concepts, Commercial Products, and Infrastructure for Supporting Reliable Workflow Application Processing[EB/OL]. http://citeseer.nj.nec.com/, 2003.
  • 3Hofstede A H M, Orlowska M E, Rajapakse J. Verification Problems in Conceptual Workflow Specifications[J]. Data and Knowledge Engineering, 1998, 24(3): 239-256.
  • 4Onoda S, Ikkai Y, Kobayashi T, et al. Definition of Deadlock Patterns for Business Processes Workflow Models[C]. Proceedings of the 32^nd Hawaii International Conference on System Sciences, 1999.
  • 5李红臣,史美林,陈信祥.工作流系统中的业务过程描述及分析[J].计算机研究与发展,2001,38(7):798-804. 被引量:54

二级参考文献6

  • 1Du Weimin,Technical Report,HPL - 1999-8,HP L aboratories Palo Alto,1999年
  • 2Du Weimin,Proceedings of the NATO Advanced Study Institute on Workflow Management Systems,1998年
  • 3Cai Ting,TechnicalReport,PCS- TR96 - 2 83,Dartmouth College,1996年
  • 4Pu C,Proceedings of the 14th International Conference on Very L arge Databases,1987年,26页
  • 5Davis J,IEEE Data Engineering Bulletin,1995年,18卷,1期,25页
  • 6史美林,csnet4.cs.tsinghua.edu.cn,杨光信,csnet4.cs.tsinghua.edu.cn,向勇,csnet4.cs.tsinghua.edu.cn,伍尚广,csnet4.cs.tsinghua.edu.cn.一个基于Web的工作流管理系统[J].软件学报,1999,10(11):1148-1155. 被引量:56

共引文献539

同被引文献6

  • 1刘步权,王怀民,姚益平.HLA时间管理中的死锁问题研究[J].电子学报,2006,34(11):2038-2042. 被引量:6
  • 2Singhal M. Deadlock Detection in Distributed Systems[J]. IEEE Computer, 1989, 22(11): 37-39.
  • 3Praun C. Detecting Synchronization Defects in Multi-threaded Object-oriented Programs[D]. Basel, Swiss: Federal Institute of Technology, 2004.
  • 4Message Passing Interface Forum. The Message Passing Interface Standard[Z]. (2003 - 11-15). http://www-unix.mcs.anl.gov/ mpi/.
  • 5Vetter J, Supinski B. Dynamic Software Testing of MPI Applications with Umpire[M]. Dallas, TX, USA: Supercomputing Press, 2000.
  • 6Thomas H,Charles E,Ronald L,et al.Introduction to Algorithms[M].潘金贵,顾铁成,李成法,等,译.北京:机械工业出版社,2007.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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