메뉴 건너뛰기




Volumn , Issue , 2007, Pages

Applying graph search techniques for workflow verification

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; DATA FLOW ANALYSIS; GRAPH THEORY; PROBLEM SOLVING; VERIFICATION;

EID: 39749100544     PISSN: 15301605     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HICSS.2007.83     Document Type: Conference Paper
Times cited : (9)

References (9)
  • 1
    • 3242668689 scopus 로고    scopus 로고
    • Semantics and Verification of UML Activity Diagrams for WorkflowModelling
    • Ph.D. thesis, CTIT, U. Twente
    • H. Eshuis, "Semantics and Verification of UML Activity Diagrams for WorkflowModelling", Ph.D. thesis, CTIT, U. Twente, 2002.
    • (2002)
    • Eshuis, H.1
  • 2
    • 84948674839 scopus 로고    scopus 로고
    • A Novel Graph Reduction Algorithm to Identify Structural Conflicts
    • H. Lin, Z. Zhao, H. Li, and Z. Chen, "A Novel Graph Reduction Algorithm to Identify Structural Conflicts", HICSS, 2002, p. 289.
    • (2002) HICSS , pp. 289
    • Lin, H.1    Zhao, Z.2    Li, H.3    Chen, Z.4
  • 3
    • 0021973537 scopus 로고
    • AND/OR Graph Heuristic Search Methods
    • A. Mahanti, and A. Bagchi, "AND/OR Graph Heuristic Search Methods", J. ACM, 32(1), 1985, pp. 28-51.
    • (1985) J. ACM , vol.32 , Issue.1 , pp. 28-51
    • Mahanti, A.1    Bagchi, A.2
  • 5
    • 33749068894 scopus 로고    scopus 로고
    • A Graph-Search Based Algorithm for Verifying Workflow Graphs
    • S. Perumal, and A. Mahanti, "A Graph-Search Based Algorithm for Verifying Workflow Graphs", DEXA, 2005, pp. 992-996.
    • (2005) DEXA , pp. 992-996
    • Perumal, S.1    Mahanti, A.2
  • 6
    • 39749114190 scopus 로고    scopus 로고
    • S. Perumal, and A. Mahanti, A Simple and Efficient Algorithm for Verifying Workflow Graphs, in Workflow Handbook 2005, L. Fischer, Ed. Lighthouse Point: Future Strategies Inc, 2005, pp. 233-256.
    • S. Perumal, and A. Mahanti, "A Simple and Efficient Algorithm for Verifying Workflow Graphs", in Workflow Handbook 2005, L. Fischer, Ed. Lighthouse Point: Future Strategies Inc, 2005, pp. 233-256.
  • 7
    • 0000571953 scopus 로고    scopus 로고
    • Analyzing Process Models Using Graph Reduction Techniques
    • W. Sadiq, and M.E. Orlowska, "Analyzing Process Models Using Graph Reduction Techniques", Inf. Syst., 25(2), 2000, pp. 117-134.
    • (2000) Inf. Syst , vol.25 , Issue.2 , pp. 117-134
    • Sadiq, W.1    Orlowska, M.E.2


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.