{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T16:10:23Z","timestamp":1736093423209,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540305101"},{"type":"electronic","value":"9783540322771"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11590354_41","type":"book-chapter","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T11:20:28Z","timestamp":1132053628000},"page":"300-311","source":"Crossref","is-referenced-by-count":3,"title":["Flexible Temporal Consistency for Fixed-Time Constraint Verification in Grid Workflow Systems"],"prefix":"10.1007","author":[{"given":"Jinjun","family":"Chen","sequence":"first","affiliation":[]},{"given":"Yun","family":"Yang","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"41_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1007\/978-3-540-24685-5_21","volume-title":"Computational Science - ICCS 2004","author":"D. Abramson","year":"2004","unstructured":"Abramson, D., Kommineni, J., McGregor, J.L., Katzfey, J.: An Atmospheric Sciences Workflow and its Implementation with Web Services. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol.\u00a03036, pp. 164\u2013173. Springer, Heidelberg (2004)"},{"key":"41_CR2","doi-asserted-by":"crossref","unstructured":"Cao, J., Jarvis, S.A., Saini, S., Nudd, G.R.: GridFlow: Workflow Management for Grid Computing. In: Proc. of the 3rd IEEE\/ACM International Symposium on Cluster Comput-ing and the Grid (CCGrid 2003), Tokyo, May 2003, pp. 198\u2013205 (2003)","DOI":"10.1109\/CCGRID.2003.1199369"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"Cybok, D.: A Grid Workflow Infrastructure. In: Proc. of Workflow in Grid Systems Work-shop in GGF10, Berlin, Germany (March 2004)","DOI":"10.1002\/cpe.998"},{"key":"41_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1005","DOI":"10.1007\/978-3-540-30208-7_159","volume-title":"Grid and Cooperative Computing - GCC 2004","author":"J. Chen","year":"2004","unstructured":"Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Temporal Con-straints in Workflow Systems. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol.\u00a03251, pp. 1005\u20131008. Springer, Heidelberg (2004)"},{"key":"41_CR5","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/APSEC.2004.47","volume-title":"Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004)","author":"J. Chen","year":"2004","unstructured":"Chen, J., Yang, Y., Chen, T.Y.: Dynamic Verification of Temporal Constraints on-the-fly for Workflow Systems. In: Proc. of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), Busan, Korea, November\/December 2004, pp. 30\u201337. IEEE CS Press, Los Alamitos (2004)"},{"key":"41_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"820","DOI":"10.1007\/978-3-540-31849-1_78","volume-title":"Web Technologies Research and Development - APWeb 2005","author":"J. Chen","year":"2005","unstructured":"Chen, J., Yang, Y.: Temporal Dependency for Dynamic Verification of Fixed-date Con-straints in Grid Workflow Systems. In: Zhang, Y., Tanaka, K., Yu, J.X., Wang, S., Li, M. (eds.) APWeb 2005. LNCS, vol.\u00a03399, pp. 820\u2013831. Springer, Heidelberg (2005)"},{"key":"41_CR7","unstructured":"Chen, J., Yang, Y.: An Activity Completion Duration based Checkpoint Selection Strat-egy for Dynamic Verification of Fixed-time Constraints in Grid Workflow Systems. In: Proc. of the 2nd International Conference on Grid Service Engineering and Management, LNI. Springer, Heidelberg; (to appear) (accepted on June 8, 2005)"},{"issue":"4","key":"41_CR8","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1109\/17.895343","volume":"47","author":"S. Chinn","year":"2000","unstructured":"Chinn, S., Madey, G.: Temporal Representation and Reasoning for Workflow in Engi-neering Design Change Review. IEEE Transactions on Engineering Management\u00a047(4), 485\u2013492 (2000)","journal-title":"IEEE Transactions on Engineering Management"},{"issue":"1","key":"41_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1024000426962","volume":"1","author":"E. Deelman","year":"2003","unstructured":"Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K.: Mapping Abstract Com-plex Workflows onto Grid Environments. Journal of Grid Computing\u00a01(1), 9\u201323 (2003)","journal-title":"Journal of Grid Computing"},{"key":"41_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-48738-7_22","volume-title":"Advanced Information Systems Engineering","author":"J. Eder","year":"1999","unstructured":"Eder, J., Panagos, E., Rabinovich, M.: Time Constraints in Workflow Systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 286\u2013300. Springer, Heidelberg (1999)"},{"key":"41_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1007\/978-3-540-24688-6_7","volume-title":"Computational Science - ICCS 2004","author":"T. Fahringer","year":"2004","unstructured":"Fahringer, T., Pllana, S., Villazon, A.: A-GWL: Abstract Grid Workflow Language. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol.\u00a03038, pp. 42\u201349. Springer, Heidelberg (2004)"},{"key":"41_CR12","doi-asserted-by":"crossref","unstructured":"Foster, I., Kesselman, C., Nick, J., Tuecke, S.: 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)","DOI":"10.1109\/MC.2002.1009167"},{"key":"41_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-25970-1_13","volume-title":"Business Process Management","author":"B. Ha","year":"2004","unstructured":"Ha, B., Bae, J., Kang, S.: Workload Balancing on Agents for Business Process Efficiency Based on Stochastic Model. In: Desel, J., Pernici, B., Weske, M. (eds.) BPM 2004. LNCS, vol.\u00a03080, pp. 195\u2013210. Springer, Heidelberg (2004)"},{"issue":"10","key":"41_CR14","doi-asserted-by":"publisher","first-page":"943","DOI":"10.1109\/32.879818","volume":"26","author":"C. Hagen","year":"2000","unstructured":"Hagen, C., Alonso, G.: Exception Handling in Workflow Management Systems. IEEE Transactions on Software Engineering\u00a026(10), 943\u2013958 (2000)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"3","key":"41_CR15","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1177\/1094342003173001","volume":"17","author":"Y. Huang","year":"2003","unstructured":"Huang, Y.: JISGA: A JINI-BASED Service-Oriented Grid Architecture. The International Journal of High Performance Computing Applications\u00a017(3), 317\u2013327 (2003)","journal-title":"The International Journal of High Performance Computing Applications"},{"key":"41_CR16","unstructured":"Krishnan, S., Wagstrom, P., Laszewski, G.V.: GSFL: A Workflow Framework for Grid Services. Technical Report, Argonne National Laboratory, Argonne, U.S.A (2002)"},{"issue":"24","key":"41_CR17","doi-asserted-by":"crossref","first-page":"1014","DOI":"10.1109\/32.730548","volume":"11","author":"Z. Liu","year":"1998","unstructured":"Liu, Z.: Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach. IEEE Transactions on Software Engineering\u00a011(24), 1014\u20131030 (1998)","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"41_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03325097","volume":"1","author":"O. Marjanovic","year":"1999","unstructured":"Marjanovic, O., Orlowska, M.E.: On Modeling and Verification of Temporal Constraints in Production Workflows. Knowledge and Information Systems\u00a01(2), 157\u2013192 (1999)","journal-title":"Knowledge and Information Systems"},{"key":"41_CR19","unstructured":"Simpson, D.R., Kelly, N., Jithesh, P.V., Donachy, P., Harmer, T.J., Perrott, R.H., Johnston, J., Kerr, P., McCurley, M., McKee, S.: GeneGrid: A Practical Workflow Implementation for a Grid Based Virtual Bioinformatics Laboratory. In: Proc. of the UK e-Science All Hands Meeting 2004 (AHM 2004), September 2004, pp. 547\u2013554 (2004)"},{"issue":"3","key":"41_CR20","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/S0164-1212(00)00073-X","volume":"55","author":"H. Zhuge","year":"2001","unstructured":"Zhuge, H., Cheung, T., Pung, H.: A Timed Workflow Process Model. The Journal of Sys-tems and Software\u00a055(3), 231\u2013243 (2001)","journal-title":"The Journal of Sys-tems and Software"}],"container-title":["Lecture Notes in Computer Science","Grid and Cooperative Computing - GCC 2005"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11590354_41.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T15:42:17Z","timestamp":1736091737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11590354_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540305101","9783540322771"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/11590354_41","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}