메뉴 건너뛰기




Volumn 23, Issue 16, 2011, Pages 1893-1919

A probabilistic strategy for temporal constraint management in scientific workflow systems

Author keywords

probabilistic strategy; scientific workflow system; temporal constraint setting; temporal constraint updating; temporal constraints; workflow QoS

Indexed keywords

SCHEDULING; WORK SIMPLIFICATION;

EID: 80053566988     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.1739     Document Type: Conference Paper
Times cited : (21)

References (53)
  • 1
    • 59849095285 scopus 로고    scopus 로고
    • Workflows and e-science: An overview of workflow system features and capabilities
    • Deelman E, Gannon D, Shields M, Taylor I, Workflows and e-science: An overview of workflow system features and capabilities. Future Generation Computer Systems 2008; 25 (6): 528-540.
    • (2008) Future Generation Computer Systems , vol.25 , Issue.6 , pp. 528-540
    • Deelman, E.1    Gannon, D.2    Shields, M.3    Taylor, I.4
  • 3
    • 31444436554 scopus 로고    scopus 로고
    • A taxonomy of scientific workflow systems for grid computing
    • DOI 10.1145/1084805.1084814
    • Yu J, Buyya R, A taxonomy of scientific workflow systems for grid computing. SIGMOD Records 2005; 34 (3): 44-49. (Pubitemid 43152531)
    • (2005) SIGMOD Record , vol.34 , Issue.3 , pp. 44-49
    • Yu, J.1    Buyya, R.2
  • 4
    • 63649117166 scopus 로고    scopus 로고
    • Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility
    • Buyya R, Yeo CS, Venugopal S, Broberg J, Brandic I, Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility. Future Generation Computer Systems 2009; 25 (6): 599-616.
    • (2009) Future Generation Computer Systems , vol.25 , Issue.6 , pp. 599-616
    • Buyya, R.1    Yeo, C.S.2    Venugopal, S.3    Broberg, J.4    Brandic, I.5
  • 9
    • 44949087133 scopus 로고    scopus 로고
    • Workflow scheduling algorithms for grid computing
    • The University of Melbourne, Australia, May 31
    • Yu J, Buyya R, Workflow scheduling algorithms for grid computing. Computing and distributed systems laboratory, The University of Melbourne, Australia, May 31, 2007.
    • (2007) Computing and Distributed Systems Laboratory
    • Yu, J.1    Buyya, R.2
  • 10
    • 41049100688 scopus 로고    scopus 로고
    • A taxonomy of grid workflow verification and validation
    • DOI 10.1002/cpe.1220
    • Chen J, Yang Y, A taxonomy of grid workflow verification and validation. Concurrency and Computation: Practice and Experience 2008; 20 (4): 347-360. (Pubitemid 351421453)
    • (2008) Concurrency Computation Practice and Experience , vol.20 , Issue.4 , pp. 347-360
    • Chen, J.1    Yang, Y.2
  • 11
    • 34250348415 scopus 로고    scopus 로고
    • Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems
    • article 6.
    • Chen J, Yang Y, Adaptive selection of necessary and sufficient checkpoints for dynamic verification of temporal constraints in grid workflow systems. ACM Transactions on Autonomous and Adaptive Systems 2007; 2 (2): article 6.
    • (2007) ACM Transactions on Autonomous and Adaptive Systems , vol.2 , Issue.2
    • Chen, J.1    Yang, Y.2
  • 16
    • 49549099773 scopus 로고    scopus 로고
    • Time-line based model for software project scheduling with genetic algorithms
    • Chang CK, Jiang H, Di Y, Time-line based model for software project scheduling with genetic algorithms. Information and Software Technology 2008; 50: 1142-1154.
    • (2008) Information and Software Technology , vol.50 , pp. 1142-1154
    • Chang, C.K.1    Jiang, H.2    Di, Y.3
  • 17
    • 33845788381 scopus 로고    scopus 로고
    • A systematic review of software development cost estimation studies
    • DOI 10.1109/TSE.2007.256943
    • Jørgensen M, Shepperd M, Systematic review of software development cost estimation studies. IEEE Transaction on Software Engineering 2007; 33 (1): 33-53. (Pubitemid 46002167)
    • (2007) IEEE Transactions on Software Engineering , vol.33 , Issue.1 , pp. 33-53
    • Jorgensen, M.1    Shepperd, M.2
  • 19
    • 49049109501 scopus 로고    scopus 로고
    • Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow systems
    • Chen J, Yang Y, Activity completion duration based checkpoint selection for dynamic verification of temporal constraints in grid workflow systems. International Journal of High Performance Computing Applications 2008; 22 (3): 319-329.
    • (2008) International Journal of High Performance Computing Applications , vol.22 , Issue.3 , pp. 319-329
    • Chen, J.1    Yang, Y.2
  • 23
    • 33947504537 scopus 로고    scopus 로고
    • Scheduling scientific workflow applications with deadline and budget constraints using genetic algorithms
    • Scientific Workflow
    • Yu J, Buyya R, Scheduling scientific workflow applications with deadline and budget constraints using genetic algorithms. Scientific Programming 2006; 14 (3-4): 217-230. (Pubitemid 46474559)
    • (2006) Scientific Programming , vol.14 , Issue.3-4 , pp. 217-230
    • Yu, J.1    Buyya, R.2
  • 26
    • 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
    • Chen J, Yang Y, Multiple states based temporal consistency for dynamic verification of fixed-time constraints in grid workflow systems. Concurrency and Computation: Practice and Experience 2007; 19 (7): 965-982. (Pubitemid 46693241)
    • (2007) Concurrency Computation Practice and Experience , vol.19 , Issue.7 , pp. 965-982
    • Chen, J.1    Yang, Y.2
  • 28
    • 80052315881 scopus 로고    scopus 로고
    • Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems
    • Available at: [1 March ]
    • Chen J, Yang Y, Temporal dependency based checkpoint selection for dynamic verification of temporal constraints in scientific workflow systems. ACM Transactions on Software Engineering and Methodology, to appear. Available at: http://www.swinflow.org/papers/TOSEM.pdf [1 March 2011 ].
    • (2011) ACM Transactions on Software Engineering and Methodology, to Appear
    • Chen, J.1    Yang, Y.2
  • 30
    • 33244454775 scopus 로고    scopus 로고
    • A taxonomy of workflow management systems for Grid computing
    • DOI 10.1007/s10723-005-9010-8
    • Yu J, Buyya R, A taxonomy of workflow management systems for grid computing. Journal of Grid Computing 2005; 3: 171-200. (Pubitemid 43280301)
    • (2005) Journal of Grid Computing , vol.3 , Issue.3-4 , pp. 171-200
    • Yu, J.1    Buyya, R.2
  • 31
    • 40449095659 scopus 로고    scopus 로고
    • Overhead analysis of scientific workflows in Grid environments
    • DOI 10.1109/TPDS.2007.70734
    • Prodan R, Fahringer T, Overhead analysis of scientific workflows in grid environments. IEEE Transactions on Parallel and Distributed Systems 2008; 19 (3): 378-393. (Pubitemid 351344283)
    • (2008) IEEE Transactions on Parallel and Distributed Systems , vol.19 , Issue.3 , pp. 378-393
    • Prodan, R.1    Fahringer, T.2
  • 33
    • 33947160120 scopus 로고    scopus 로고
    • Correctness verification and performance analysis of real-time systems using stochastic preemptive time petri nets
    • Bucci G, Sassoli L, Vicario E, Correctness verification and performance analysis of real-time systems using stochastic preemptive time petri nets. IEEE Transactions on Software Engineering 2005; 31 (11): 913-927.
    • (2005) IEEE Transactions on Software Engineering , vol.31 , Issue.11 , pp. 913-927
    • Bucci, G.1    Sassoli, L.2    Vicario, E.3
  • 39
    • 9244227590 scopus 로고    scopus 로고
    • Extracting the workflow critical path from the extended well-formed workflow schema
    • Son JH, Sun Kim J, Ho Kim M, Extracting the workflow critical path from the extended well-formed workflow schema. Journal of Computer and System Sciences 2005; 70 (1): 86-106.
    • (2005) Journal of Computer and System Sciences , vol.70 , Issue.1 , pp. 86-106
    • Son, J.H.1    Sun Kim, J.2    Ho Kim, M.3
  • 42
    • 34548649823 scopus 로고    scopus 로고
    • A probabilistic approach to modeling and estimating the QoS of web-services-based workflows
    • DOI 10.1016/j.ins.2007.07.011, PII S0020025507003295, Including: Mathematics of Uncertainty
    • Hwang SY, Wang H, Tang J, Srivastava J, A probabilistic approach to modeling and estimating the QoS of web-services-based workflows. Information Sciences 2007; 177 (23): 5484-5503. (Pubitemid 47409991)
    • (2007) Information Sciences , vol.177 , Issue.23 , pp. 5484-5503
    • Hwang, S.-Y.1    Wang, H.2    Tang, J.3    Srivastava, J.4
  • 44
    • 80053567120 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • SAP Library, Workflow System Administration. Available at: http://help.sap.com/saphelp-nw2004s/helpdata/en [1 March 2011 ].
    • (2011) Workflow System Administration
    • Sap, L.1
  • 45
    • 80053570383 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • ASKALON Project. Available at: http://www.dps.uibk.ac.at/projects/askalon [1 March 2011 ].
    • (2011) ASKALON Project
  • 46
    • 80053573621 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • CROWN Project, CROWN Portal. Available at: http://www.springerlink.com/ content/w1m24586434640t6/ [1 March 2011 ].
    • (2011) CROWN Project, CROWN Portal
  • 47
    • 84870445237 scopus 로고    scopus 로고
    • DAGMan Available at: [1 March ]
    • DAGMan. Condor Project. Available at: http://www.cs.wisc.edu/condor/[1 March 2011 ].
    • (2011) Condor Project
  • 48
    • 80053569820 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • GridBus Project. Available at: http://www.gridbus.org[1 March 2011 ].
    • (2011) GridBus Project
  • 49
    • 80053561046 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • JOpera Project. Available at: http://www.iks.ethz.ch/jopera [1 March 2011 ].
    • (2011) JOpera Project
  • 50
    • 84870451462 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • Kepler Project. Available at: http://kepler-project.org/ [1 March 2011 ].
    • (2011) Kepler Project
  • 51
    • 80053573377 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • Taverna Project. Available at: http://www.mygrid.org.uk/tools/taverna/ [1 March 2011 ].
    • (2011) Taverna Project
  • 52
    • 80053574641 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • Triana Project. Available at: http://www.trianacode.org/ [1 March 2011 ].
    • (2011) Triana Project
  • 53
    • 80053575001 scopus 로고    scopus 로고
    • Available at: [1 March ]
    • UNICORE Project. Available at: http://www.unicore.eu/ [1 March 2011 ].
    • (2011) UNICORE Project


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