{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,26]],"date-time":"2025-02-26T05:30:32Z","timestamp":1740547832760,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540213710"},{"type":"electronic","value":"9783540246558"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24655-8_88","type":"book-chapter","created":{"date-parts":[[2010,9,8]],"date-time":"2010-09-08T20:25:37Z","timestamp":1283977537000},"page":"804-813","source":"Crossref","is-referenced-by-count":4,"title":["Verification of Temporal Constraints for Concurrent Workflows"],"prefix":"10.1007","author":[{"given":"Hongchen","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yun","family":"Yang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"88_CR1","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N. Adam","year":"1998","unstructured":"Adam, N., Atluri, V., Huang, W.: Modeling and Analysis of Workflows Using Petri Nets. Journal of Intelligent Information Systems\u00a010(2), 131\u2013158 (1998); special Issue on Workflow and Process Management","journal-title":"Journal of Intelligent Information Systems"},{"issue":"3","key":"88_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1023\/A:1014048800604","volume":"11","author":"C. Bettini","year":"2002","unstructured":"Bettini, C., Wang, X., Jajodia, S.: Temporal Reasoning in Workflow Systems. Distributed and Parallel Databases\u00a011(3), 269\u2013306 (2002)","journal-title":"Distributed and Parallel Databases"},{"key":"88_CR3","unstructured":"Casati, F., Grefen, P., Pernici, B., et al.: WIDE Workflow Model and Architecture. Public Documents (April 1996), http:\/\/dis.sema.es\/projects\/WIDE\/Documents\/ase30_4.ps.gz"},{"issue":"4","key":"88_CR4","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 Engineering Design Change Review. IEEE Transactions on Engineering Management\u00a047(4), 485\u2013492 (2000)","journal-title":"IEEE Transactions on Engineering Management"},{"key":"88_CR5","doi-asserted-by":"publisher","first-page":"907","DOI":"10.1016\/S0950-5849(99)00046-4","volume":"41","author":"G. Fakas","year":"1999","unstructured":"Fakas, G., Karakostas, B.: A Workflow Management System Based on Intelligent Collaborative Objects. Information and Software Technology\u00a041, 907\u2013915 (1999)","journal-title":"Information and Software Technology"},{"key":"88_CR6","unstructured":"Li, H., Yang, Y., Chen, T.Y.: Resource Constraints Analysis of Workflow Specifications. Accepted for publication in the Journal of Systems and Software, Elsevier"},{"key":"88_CR7","unstructured":"Li, H., Yang, Y.: Dynamic Checking of Temporal Constraints for Concurrent Workflows. Internal Report, School of Information Technology, Swinburne University of Technology (2003)"},{"key":"88_CR8","doi-asserted-by":"crossref","unstructured":"Marjanovic, O.: Dynamic Verification of Temporal Constraints in Production Workflows. In: Proc. of the Australian Database Conference, Canberra, Australia, pp. 74\u201381 (2000)","DOI":"10.1109\/ADC.2000.819816"},{"key":"88_CR9","unstructured":"Reichert, M., Bauer, T., Dadam, P.: Enterprise-wide and Cross-Enterprise Workflow Management: Challenges and Research Issues for Adaptive Workflows. In: Enterprise-wide and Cross-Enterprise Workflow Management: Concepts, Systems, Application, Germany (1999)"},{"key":"88_CR10","unstructured":"Workflow Management Coalition: The Workflow Reference Model. TC00-1003 (1995)"},{"key":"88_CR11","doi-asserted-by":"crossref","unstructured":"Zhao, J., Stohr, E.: Temporal Workflow Management in a Claim Handling System. In: Proc. of Work Activities Coordination and Collaboration (WACC 1999), San Francisco, CA, USA, pp. 187\u2013195 (1999)","DOI":"10.1145\/295665.295687"},{"issue":"3","key":"88_CR12","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 Systems and Software\u00a055(3), 231\u2013243 (2001)","journal-title":"The Journal of Systems and Software"}],"container-title":["Lecture Notes in Computer Science","Advanced Web Technologies and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24655-8_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T17:10:44Z","timestamp":1740503444000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24655-8_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540213710","9783540246558"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24655-8_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}