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

基于时间自动机的实时工作流时序约束一致性验证

An Automata-based Approach to the Consistency Verification of Real-time Workflow
下载PDF
导出
摘要 提出一种基于时间自动机的实时工作流时间建模与验证方法。该方法首先将实时工作流的时间工作流图转换成时间自动机模型,再利用时间自动机的机制验证其时序约束一致性。 Propese a real-time workflow time modeling and verification method based on timed automata. First, transform timed workflow digrams to timed automata model, and then verify the time constrains via using the mechanism of timed automata.
作者 龙世荣 张广泉 汪宏海
机构地区 苏州大学计算机科学与技术学院 广西教育学院现代教育技术系 赣南教育学院计算机系
出处 《苏州大学学报（工科版）》 CAS 2009年第6期12-16,38,共6页 Journal of Soochow University Engineering Science Edition (Bimonthly)
基金 中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908) 江苏省高校自然科学基金项目(编号08KJB520010)
关键词 实时工作流 时间自动机 一致性验证 real-time workflow timed automata consistency verification
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1Eder J. Workflow management systems[ C ]//Manthey R, Wolfengagen V. ADBIS:Proceedings of the First East-European Symposium on Advances in Databases and Information Systems,St.-Petersburg: Nevsky Dialect, 1997:210.
  • 2Eder J, Panagos E, Rabinovich E. Time constraints in workflow systems[ C ]//Jarke M, Oberweis A. Advanced Information Systems Engineering: Proceedings of the 11th International Conference on Advanced Information Systems Engineering. Heidelberg, Germany : Springer-Verlag, 1999:286 -300.
  • 3Sadiq W,Marjanovic O,Orlowska M E. Managing change and time in dynamic workflow processes[J]. Int. J. Cooperative Inf. Syst,2000,9(1 -2) :93 -116.
  • 4Li J, Fan Y, Zhou M. Timing constraint workflow nets for workflow analysis [ J ]. IEEE Transactions on Systems, Man and Cybernetics, Part A,2003,33 (2) :179 -193.
  • 5Chinn S J, Madey G R. Temporal representation and reasoning for workflow in engineering design change review [ J ]. IEEE Transactions on Engineering Management ,2000,47 (4) :485 - 492.
  • 6陆公正,张广泉,张冬华,张育.基于UML状态图的工作流时序约束一致性研究[J].苏州大学学报（自然科学版）,2005,21(4):43-48. 被引量：1
  • 7Alur R, Dill D L. A theory of timed automata[J].Theoretical Computer Science, 1994,126 ( 2 ) : 183 - 235.
  • 8Alur R. Timed Automata [ C ]//Halbwachs N, Peled D. CAV : 11th International Conference on Computer-Aided Verification, Trento, Italy: Springer-Verlag, 1999 : 8 - 22.

二级参考文献10

  • 1CDMBI C, POZZI G. Temporal conceptual modelling of workflows[A]. SONG I Y. Conceptual modeling[C]. Berlin;Springer-Verlag, 2003.59 - 76.
  • 2EDER J, PANACK)S E, RABINOVICH M. Time constraint in workflow systems[A]. JARKE M, OBERWEIS A. Advanced information systems engineering[C]. Berlin: Springer-Verlag, 1999. 286 - 300.
  • 3BETTINI C, WANG X, JAJODLA S. Temporal reasoning in workflow systems[J]. Distributed and Parallel Database.s, 2002,11 : 269 - 306.
  • 4ALUR R. Timed automata[A]. HALBWACHS N, PELED D. In 11th International Conference on Computer-Aided Verification[C]. Berlin:Springer-Verlag, 1999.8 - 22.
  • 5ALUR R, COURCOUBETIS C, DILL D. Model checking in dense real-time[J ]. Information and Computation, 1995, 104:2- 34.
  • 6BERARD B, BIDOIT M, FINKEL A. Systems and Software Verification-Model Checking Techniques and Tools[M].Berlin: Springer-Verlag, 2001.
  • 7HOLLINGSWORTH D. Workflow Management Coalition-The Workflow Reference Model[M]. WinChester:Workflow Management Coalition, 1995.
  • 8EDER J, GRUBER W, PANAGOS E. Temporal modelling of workflows with conditional execution paths[A]. IBRAHIM M, KUNG J, REVELL N. Database and expert systems applications[C], Berlin:Springer-Verlag,2000. 243 - 253.
  • 9董威,王戟,齐治昌.UMLStatecharts的模型检验方法[J].软件学报,2003,14(4):750-756. 被引量：40
  • 10李慧芳,范玉顺.基于时间Petri网的工作流模型分析(英文)[J].软件学报,2004,15(1):17-26. 被引量：44
苏州大学学报（工科版）
2009年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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