메뉴 건너뛰기




Volumn 2005, Issue , 2005, Pages 124-131

Multiple temporal consistency states for dynamical verification of upper bound constraints in grid workflow systems

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SCIENCE; CONSTRAINT THEORY; COST EFFECTIVENESS;

EID: 33846300693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/E-SCIENCE.2005.60     Document Type: Conference Paper
Times cited : (7)

References (25)
  • 1
    • 33646836908 scopus 로고    scopus 로고
    • An Atmospheric Sciences Workflow and Its Implementation with Web Services
    • th International Conference on Computational Science, Part I, Springer Verlag, Krakow, Poland
    • th International Conference on Computational Science, Part I, Springer Verlag, Krakow, Poland, 2004, LNCS 3036, pp. 164-173.
    • (2004) LNCS , vol.3036 , pp. 164-173
    • Abramson, D.1    Kommineni, J.2    McQregor, J.L.3    Katzfey, J.4
  • 5
    • 33645617907 scopus 로고    scopus 로고
    • Temporal Dependency for Dynamic Verification of Temporal Constraints in Workflow Systems
    • rd International Conference on Grid and Cooperative Computing, Springer-Verlag
    • rd International Conference on Grid and Cooperative Computing, Springer-Verlag, 2004, LNCS 3251, pp. 1005-1008.
    • (2004) LNCS , vol.3251 , pp. 1005-1008
    • Chen, J.1    Yang, Y.2
  • 7
    • 24144442863 scopus 로고    scopus 로고
    • Temporal Dependency for Dynamic Verification of Fixed-date Constraints in Grid Workflow Systems
    • th Asia Pacific Web Conference, Springer-Verlag
    • th Asia Pacific Web Conference, Springer-Verlag, 2004, LNCS 3399, pp. 820-831.
    • (2004) LNCS , vol.3399 , pp. 820-831
    • Chen, J.1    Yang, Y.2
  • 9
    • 33646838178 scopus 로고    scopus 로고
    • Flexible Temporal Consistency for Fixed-time Constraint Verification in Grid Workflow Systems
    • th International Conference on Grid and Cooperative Computing GCC2005, Springer-Verlag, Nov./Dec, to appear
    • th International Conference on Grid and Cooperative Computing (GCC2005), Springer-Verlag, Nov./Dec. 2005, LNCS, to appear, http://www.it.swin.edu.au/personal/ yyang/papers/GCC2005.pdf.
    • (2005) LNCS
    • Chen, J.1    Yang, Y.2
  • 10
    • 33749989139 scopus 로고    scopus 로고
    • A Minimum Proportional Time Redundancy based Checkpoint Selection Strategy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems
    • Taipei, Taiwan, Dec, to appear
    • th Asia-Pacific Software Engineering Conference (APSEC2005), IEEE CS Press, Taipei, Taiwan, Dec. 2005, to appear, http://www.it.swin.edu.au/personal/yyang/ papers/APSEC2005. pdf.
    • (2005) th Asia-Pacific Software Engineering Conference (APSEC2005), IEEE CS Press
    • Chen, J.1    Yang, Y.2
  • 11
    • 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, 2000, 47(4), pp. 485-492.
    • (2000) IEEE Transactions on Engineering Management , vol.47 , Issue.4 , pp. 485-492
    • Chinn, S.1    Madey, G.2
  • 13
    • 84872782047 scopus 로고    scopus 로고
    • Time Constraints in Workflow Systems
    • th International Conference on Advanced Information Systems Engineering CAiSE'99
    • th International Conference on Advanced Information Systems Engineering (CAiSE'99), 1999, LNCS 1626, pp. 286-300.
    • (1999) LNCS , vol.1626 , pp. 286-300
    • Eder, J.1    Panagos, E.2    Rabinovich, M.3
  • 14
    • 33646840782 scopus 로고    scopus 로고
    • A-GWL: Abstract Grid Workflow Language
    • th International Conference on Computational Science, Part III, Springer Verlag, Krakow, Poland
    • th International Conference on Computational Science, Part III, Springer Verlag, Krakow, Poland, 2004, LNCS 3038, pp. 42-49.
    • (2004) LNCS , vol.3038 , pp. 42-49
    • Fahringer, T.1    Pllana, S.2    Villazon, A.3
  • 15
    • 24144433060 scopus 로고    scopus 로고
    • The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration
    • Edinburgh, Scotland, July
    • I. Foster, C. Kesselman, J. Nick, and S. Tuecke, "The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration", In Proc. of the 5th Global Grid Forum Workshop (GGF5), Edinburgh, Scotland, July 2002.
    • (2002) Proc. of the 5th Global Grid Forum Workshop (GGF5)
    • Foster, I.1    Kesselman, C.2    Nick, J.3    Tuecke, S.4
  • 16
    • 0034292030 scopus 로고    scopus 로고
    • Exception Handling in Workflow Management Systems
    • C. Hagen, and G. Alonso, "Exception Handling in Workflow Management Systems", IEEE Transactions on Software Engineering, 2000, 26(10), pp. 943-958.
    • (2000) IEEE Transactions on Software Engineering , vol.26 , Issue.10 , pp. 943-958
    • Hagen, C.1    Alonso, G.2
  • 18
    • 1142282828 scopus 로고    scopus 로고
    • GSFL: A Workflow Framework for Grid Services
    • Technical Report, 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)
    • Krishnan, S.1    Wagstrom, P.2    Laszewski, G.V.3
  • 19
    • 3242735842 scopus 로고    scopus 로고
    • Resource Constraints Analysis of Workflow Specifications
    • H. Li, Y. Yang, and T.Y. Chen, "Resource Constraints Analysis of Workflow Specifications", The Journal of Systems and Software, 2004, 73(2), pp. 271-285.
    • (2004) The Journal of Systems and Software , vol.73 , Issue.2 , pp. 271-285
    • Li, H.1    Yang, Y.2    Chen, T.Y.3
  • 20
    • 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, 1998, 11(24), pp. 1014-1030.
    • (1998) IEEE Transactions on Software Engineering , vol.11 , Issue.24 , pp. 1014-1030
    • Liu, Z.1
  • 21
    • 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, 1999, 1(2), pp. 157-192.
    • (1999) Knowledge and Information Systems , vol.1 , Issue.2 , pp. 157-192
    • Marjanovic, O.1    Orlowska, M.E.2
  • 23
    • 0035885347 scopus 로고    scopus 로고
    • Improving the Performance of Time-constrained Workflow Processing
    • J.H. Son, and M.H. Kim, "Improving the Performance of Time-constrained Workflow Processing", The Journal of Systems and Software, 2001, 58(3), pp. 211-219.
    • (2001) The Journal of Systems and Software , vol.58 , Issue.3 , pp. 211-219
    • Son, J.H.1    Kim, M.H.2
  • 24
    • 19944381541 scopus 로고    scopus 로고
    • th IEEE/ACM International Workshop on Grid Computing (GRID'04) - 00, IEEE CS Press, Los Alamitos, USA, Nov. 2004, pp. 119-128.
    • th IEEE/ACM International Workshop on Grid Computing (GRID'04) - Volume 00, IEEE CS Press, Los Alamitos, USA, Nov. 2004, pp. 119-128.


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