메뉴 건너뛰기




Volumn , Issue , 2010, Pages 99-105

Dynamically analyzing time constraints in workflow systems with fixed-date constraint

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVITY INSTANCES; BUSINESS PROCESS; PROCESS EXECUTION; PROCESS INSTANCES; REAL-WORLD; RUN-TIME ANALYSIS; TIME CONSTRAINTS; TIME MANAGEMENT; WORK-FLOW SYSTEMS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW PROCESS;

EID: 77954301839     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/APWeb.2010.36     Document Type: Conference Paper
Times cited : (13)

References (22)
  • 2
    • 33646168439 scopus 로고    scopus 로고
    • Managing time in workflow systems
    • L. Fischer, Ed.: Future Strategies Inc.
    • J. Eder and E. Panagos, "Managing Time in Workflow Systems," in Workflow Handbook 2001, L. Fischer, Ed.: Future Strategies Inc., 2000, pp. 109-132.
    • (2000) Workflow Handbook 2001 , pp. 109-132
    • Eder, J.1    Panagos, E.2
  • 5
    • 34247862109 scopus 로고    scopus 로고
    • Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems
    • DOI 10.1002/cpe.1088, Autonomous Grid Computing
    • J. J. Chen and Y. Yang, "Multiple states based temporal consistency for dynamic verification of fixed-time constraints in Grid workflow systems," Concurrency and Computation-Practice & Experience, vol.19, pp. 965-982, 2007. (Pubitemid 46693241)
    • (2007) Concurrency Computation Practice and Experience , vol.19 , Issue.7 , pp. 965-982
    • Chen, J.1    Yang, Y.2
  • 6
    • 33751435841 scopus 로고    scopus 로고
    • An automaton-based approach to the verification of timed workflow schemas
    • E. De Maria, A. Montanari, and M. Zantoni, "An automaton-based approach to the verification of timed workflow schemas," in Proc. of TIME' 06,2006, p. 87-94.
    • (2006) Proc. of TIME' 06 , pp. 87-94
    • De Maria, E.1    Montanari, A.2    Zantoni, M.3
  • 7
    • 0002534202 scopus 로고    scopus 로고
    • EPERT: Extending pert for workflow management systems
    • P. Heinz, E. Johann, and L. Walter, "ePERT: Extending pert for workflow management systems " in Proc. of ADBIS'97, 1997, p. 217-224.
    • (1997) Proc. of ADBIS'97 , pp. 217-224
    • Heinz, P.1    Johann, E.2    Walter, L.3
  • 8
    • 33646184945 scopus 로고    scopus 로고
    • Duration histograms for workflow systems
    • J. Eder and H. Pichler, "Duration histograms for workflow systems," in Proc. of IFIP'02, 2002, p. 239-253.
    • (2002) Proc. of IFIP'02 , pp. 239-253
    • Eder, J.1    Pichler, H.2
  • 9
    • 0000063550 scopus 로고    scopus 로고
    • On modeling and verification of temporal constraints in production workflows
    • O. Marjanovic and M. E. Orlowska, "On modeling and verification of temporal constraints in production workflows," Knowledge and Information Systems, vol.1, pp. 157-192, 1999.
    • (1999) Knowledge and Information Systems , vol.1 , pp. 157-192
    • Marjanovic, O.1    Orlowska, M.E.2
  • 10
    • 57049117060 scopus 로고    scopus 로고
    • A probabilistic strategy for setting temporal constraints in scientific workflows
    • X. Liu, J. J. Chen, and Y. Yang, "A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows," in Proc. of BPM'08, 2008, p. 180-195.
    • (2008) Proc. of BPM'08 , pp. 180-195
    • Liu, X.1    Chen, J.J.2    Yang, Y.3
  • 11
    • 71049150121 scopus 로고    scopus 로고
    • Probability timing constraint wfnets and their application to timing schedulability analysis of workflow management systems
    • R. Han, Y. Liu, L. Wen, J. Wang, "Probability Timing Constraint WFnets and Their Application to Timing Schedulability Analysis of Workflow Management Systems," in Proc. of CSIE'09, 2009, vol.7, p.669-673.
    • (2009) Proc. of CSIE'09 , vol.7 , pp. 669-673
    • Han, R.1    Liu, Y.2    Wen, L.3    Wang, J.4
  • 14
    • 0004282162 scopus 로고    scopus 로고
    • 6th Edition ed. New York: Palgrave Macmillan
    • K. A. Stroud, Engineering Mathematics, 6th Edition ed. New York: Palgrave Macmillan, 2007.
    • (2007) Engineering Mathematics
    • Stroud, K.A.1
  • 17
    • 0002307971 scopus 로고    scopus 로고
    • Workflow verification: Finding control-flow errors using Petri-net-based techniques
    • W. M. P. van der Aalst, "Workflow verification: Finding control-flow errors using Petri-net-based techniques," in Proc. of BPM'00,2000, vol.1806, p. 161-183.
    • (2000) Proc. of BPM'00 , vol.1806 , pp. 161-183
    • Van Der Aalst, W.M.P.1
  • 18
    • 32944479332 scopus 로고    scopus 로고
    • Breadth-first heuristic search
    • R. Zhou and E. A. Hansen, "Breadth-first heuristic search," Artificial Intelligence, vol.170, pp. 385-408, 2006.
    • (2006) Artificial Intelligence , vol.170 , pp. 385-408
    • Zhou, R.1    Hansen, E.A.2
  • 20
    • 41249088932 scopus 로고
    • Models of computations and systems - Evaluation of vertex probabilities in graph models of computations
    • April.
    • D. Martin and G. Estrin, "Models of Computations and Systems - Evaluation of Vertex Probabilities in Graph Models of Computations," Journal of the Acm, vol.14, pp. 281-299, April. 1967.
    • (1967) Journal of the Acm , vol.14 , pp. 281-299
    • Martin, D.1    Estrin, G.2
  • 21
    • 49549100881 scopus 로고    scopus 로고
    • Job shop scheduling with setup times, deadlines and precedence constraints
    • June.
    • E. Balas, N. Simonetti, and A. Vazacopoulos, "Job shop scheduling with setup times, deadlines and precedence constraints," Journal of Scheduling, vol.11, pp. 253-262, June. 2008.
    • (2008) Journal of Scheduling , vol.11 , pp. 253-262
    • Balas, E.1    Simonetti, N.2    Vazacopoulos, A.3
  • 22
    • 77954308713 scopus 로고    scopus 로고
    • A two-stage probabilistic approach to manage personal worklist in workflow management systems
    • R. Han, Y. Liu, L. Wen, J. Wang, "A Two-Stage Probabilistic Approach to Manage Personal Worklist in Workflow Management Systems," in Proc. CoopIS 2009, vol 5870, p. 24-41.
    • (2009) Proc. CoopIS , vol.5870 , pp. 24-41
    • Han, R.1    Liu, Y.2    Wen, L.3    Wang, J.4


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