메뉴 건너뛰기




Volumn 3795 LNCS, Issue , 2005, Pages 300-311

Flexible temporal consistency for fixed-time constraint verification in grid workflow systems

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; COST EFFECTIVENESS; DATA HANDLING; ECONOMICS;

EID: 33646838178     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11590354_41     Document Type: Conference Paper
Times cited : (7)

References (20)
  • 1
    • 33646836908 scopus 로고    scopus 로고
    • An atmospheric sciences workflow and its implementation with web services
    • th International Conference on Computational Science, Part I, Poland
    • th International Conference on Computational Science, Part I, LNCS 3036, 164-173, Poland, 2004.
    • (2004) LNCS , vol.3036 , pp. 164-173
    • Abramson, D.1    Kommineni, J.2    McGregor, J.L.3    Katzfey, J.4
  • 4
    • 33645617907 scopus 로고    scopus 로고
    • Temporal dependency for dynamic verification of temporal constraints in workflow systems
    • rd International Conference on Grid and Cooperative Computing, Springer-Verlag, Oct.
    • rd International Conference on Grid and Cooperative Computing, Springer-Verlag, LNCS 3251, 1005-1008, Oct. 2004.
    • (2004) LNCS , vol.3251 , pp. 1005-1008
    • Chen, J.1    Yang, Y.2
  • 6
    • 24144442863 scopus 로고    scopus 로고
    • Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
    • th Asia Pacific Web Conference, Springer-Verlag, Mar.
    • th Asia Pacific Web Conference, Springer-Verlag, LNCS 3399, 820-831, Mar. 2005.
    • (2005) LNCS , vol.3399 , pp. 820-831
    • Chen, J.1    Yang, Y.2
  • 7
    • 33750026804 scopus 로고    scopus 로고
    • An activity completion duration based checkpoint selection strategy for dynamic verification of fixed-time constraints in grid workflow systems
    • nd International Conference on Grid Service Engineering and Management, Springer-Verlag, to appear (accepted on June 8)
    • nd International Conference on Grid Service Engineering and Management, Springer-Verlag, LNI, to appear (accepted on June 8, 2005).
    • (2005) LNI
    • Chen, J.1    Yang, Y.2
  • 8
    • 0034313445 scopus 로고    scopus 로고
    • Temporal representation and reasoning for workflow in engineering design change review
    • S.Chinn and G.Madey. Temporal Representation and Reasoning for Workflow in Engineering Design Change Review. IEEE Transactions on Engineering Management, 47(4), 485-492, 2000.
    • (2000) IEEE Transactions on Engineering Management , vol.47 , Issue.4 , pp. 485-492
    • Chinn, S.1    Madey, G.2
  • 10
    • 84872782047 scopus 로고    scopus 로고
    • Time constraints in workflow systems
    • th International Conference on Advanced Information Systems Engineering (CAiSE'99), Springer Verlag, June
    • th International Conference on Advanced Information Systems Engineering (CAiSE'99), Springer Verlag, LNCS 1626, 286-300, June 1999.
    • (1999) LNCS , vol.1626 , pp. 286-300
    • Eder, J.1    Panagos, E.2    Rabinovich, M.3
  • 11
    • 33646840782 scopus 로고    scopus 로고
    • A-GWL: Abstract grid workflow language
    • th International Conference on Computational Science, Part III, Springer Verlag, Krakow, Poland, June
    • th International Conference on Computational Science, Part III, Springer Verlag, LNCS 3038, 42-49, Krakow, Poland, June 2004.
    • (2004) LNCS , vol.3038 , pp. 42-49
    • Fahringer, T.1    Pllana, S.2    Villazon, A.3
  • 13
    • 33646840243 scopus 로고    scopus 로고
    • Workload balancing on agents for business process efficiency based on stochastic model
    • nd International Conference on Business Process Management, June
    • nd International Conference on Business Process Management, LNCS 3080, 195-210, June 2004.
    • (2004) LNCS , vol.3080 , pp. 195-210
    • Ha, B.1    Bae, J.2    Kang, S.3
  • 14
  • 16
    • 1142282828 scopus 로고    scopus 로고
    • GSFL: A workflow framework for grid services
    • Argonne National Laboratory, Argonne, U.S.A.
    • S.Krishnan, P.Wagstrom and G.V.Laszewski. GSFL: A Workflow Framework for Grid Services. Technical Report, Argonne National Laboratory, Argonne, U.S.A., 2002.
    • (2002) Technical Report
    • Krishnan, S.1    Wagstrom, P.2    Laszewski, G.V.3
  • 17
    • 0032206098 scopus 로고    scopus 로고
    • Performance analysis of stochastic timed petri nets using linear programming approach
    • Z.Liu. Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. IEEE Transactions on Software Engineering, 11(24), 1014-1030, 1998.
    • (1998) IEEE Transactions on Software Engineering , vol.11 , Issue.24 , pp. 1014-1030
    • Liu, Z.1
  • 18
    • 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, 1(2), 157-192, 1999.
    • (1999) Knowledge and Information Systems , vol.1 , Issue.2 , pp. 157-192
    • Marjanovic, O.1    Orlowska, M.E.2


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