Reduction techniques of workflow verification and its implementation

被引：0
|
作者：
Li, Pei-Wu [1 ]
Lu, Zheng-Ding [1 ]
Fu, Xiang-Lin [1 ]
机构：
[1] Coll. of Comp., Huazhong Univ. of Sci. and Technol., Wuhan 430074, China
来源：
Journal of Harbin Institute of Technology (New Series) | 2004年 / 11卷 / 01期
关键词：
Reduction rules - Relationship matrix - Structural conflicts - Verification - Workflow graph - Workflow management systems;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
页码：109 / 113
相关论文
共 50 条
  • [1] Reduction techniques of workflow verification and its implementation
    李沛武
    卢正鼎
    付湘林
    [J]. Journal of Harbin Institute of Technology(New series), 2004, (01) : 109 - 113
  • [2] Reduction of Workflow Nets for Generalised Soundness Verification
    Bride, Hadrien
    Kouchnarenko, Olga
    Peureux, Fabien
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017, 2017, 10145 : 91 - 111
  • [3] Verification and reduction of cyclic structure in workflow model
    Xiao, ZJ
    Chen, Q
    Huang, QC
    [J]. Proceedings of 2005 International Conference on Machine Learning and Cybernetics, Vols 1-9, 2005, : 1487 - 1492
  • [4] Semantic derivation verification: Techniques and implementation
    Sutcliffe, Geoff
    [J]. INTERNATIONAL JOURNAL ON ARTIFICIAL INTELLIGENCE TOOLS, 2006, 15 (06) : 1053 - 1070
  • [5] Improvements in Workflow after Verification and Implementation of the Cobas HPV Test
    Roth, J. J.
    Windon, A. L.
    Strubinger, J.
    Carlin, A.
    Gentile, C.
    Watt, C. D.
    McGrath, C. M.
    Van Deerlin, V. M.
    [J]. JOURNAL OF MOLECULAR DIAGNOSTICS, 2016, 18 (06): : 970 - 970
  • [6] Implementation of a workflow system with electronic verification for preparation of oral syringes
    Achey, Thomas S.
    McEwen, Corey L.
    Hamm, Mark W.
    [J]. AMERICAN JOURNAL OF HEALTH-SYSTEM PHARMACY, 2019, 76 : S28 - S33
  • [7] Temporal workflow process model and its soundness verification
    Yu Y.
    Tang Y.
    Pan M.-L.
    Zheng T.-T.
    Mai J.-B.
    [J]. Ruan Jian Xue Bao/Journal of Software, 2010, 21 (06): : 1233 - 1253
  • [8] Basic workflow model at distributed intelligent production and its verification
    Zaikin, O
    Korytkowski, P
    [J]. ADVANCED COMPUTER SYSTEMS, PROCEEDINGS, 2002, 664 : 161 - 169
  • [9] A workflow model with temporal logic constraints and its automated verification
    Yu, Yang
    Li, Xiaohui
    [J]. SIXTH INTERNATIONAL CONFERENCE ON GRID AND COOPERATIVE COMPUTING, PROCEEDINGS, 2007, : 681 - +
  • [10] An atmospheric sciences workflow and its implementation with web services
    Abramson, D
    Kommineni, J
    McGregor, JL
    Katzfey, J
    [J]. COMPUTATIONAL SCIENCE - ICCS 2004, PT 1, PROCEEDINGS, 2004, 3036 : 164 - 173
12345