{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T18:11:33Z","timestamp":1742926293794,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642003271"},{"type":"electronic","value":"9783642003288"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00328-8_46","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T09:17:14Z","timestamp":1244279834000},"page":"455-467","source":"Crossref","is-referenced-by-count":0,"title":["Reasoning about Repairability of Workflows at Design Time"],"prefix":"10.1007","author":[{"given":"Gaston","family":"Tagni","sequence":"first","affiliation":[]},{"given":"Annette","family":"ten Teije","sequence":"additional","affiliation":[]},{"given":"Frank","family":"van Harmelen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"46_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. J. of Circuits, Systems and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"J. of Circuits, Systems and Computers"},{"issue":"2","key":"46_CR2","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1023\/A:1008656726700","volume":"10","author":"N.R. Adam","year":"1998","unstructured":"Adam, N.R., Atluri, V., Huang, W.-K.: Modeling and analysis of workflows using petri nets. J. Intell. Inf. Syst.\u00a010(2), 131\u2013158 (1998)","journal-title":"J. Intell. Inf. Syst."},{"issue":"397","key":"46_CR3","first-page":"363","volume":"82","author":"H. Ascher","year":"1987","unstructured":"Ascher, H., Feingold, H.: Repairable systems reliability: Modeling, inference, misconceptions, and their causes. Journal of the American Statistical Association\u00a082(397), 363 (1987)","journal-title":"Journal of the American Statistical Association"},{"key":"46_CR4","unstructured":"D5.1, Characterization of Diagnosability and Repairability for self-healing Web Services, Technical report, WS-DIAMOND European project (June 2007)"},{"key":"46_CR5","doi-asserted-by":"crossref","unstructured":"Eder, J., Liebhart, W.: Workflow recovery. In: Conference on Cooperative Information Systems, pp. 124\u2013134 (1996)","DOI":"10.1109\/COOPIS.1996.555004"},{"issue":"10","key":"46_CR6","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 Trans. Softw. Eng.\u00a026(10), 943\u2013958 (2000)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"2","key":"46_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT flex -Supporting Dynamic Changes of Workflows Without Losing Control. Journal of Intelligent Information Systems\u00a010(2), 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"key":"46_CR8","unstructured":"Nick Russell, A., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view, Technical report, BPMcenter.org (2006)"},{"key":"46_CR9","unstructured":"Team, W.-D.: WS-DIAMOND: Web Services \u2013 DIAgnosability, MONitoring and Diagnosis. In: 18th International Workshop on Principles of Diagnosis (DX 2007), Nashville, TN, USA, May 29-31 (2007)"},{"key":"46_CR10","unstructured":"Wynn, M.T., Verbeek, H.M.W., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Business Process Verification - Finally a Reality! Journal of Business Process Management (2007)"},{"key":"46_CR11","first-page":"1113","volume-title":"ICDE 2005","author":"M. Reichert","year":"2005","unstructured":"Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive Process Management with ADEPT2. In: ICDE 2005, Washington, DC, USA, pp. 1113\u20131114. IEEE Computer Society, Los Alamitos (2005)"},{"key":"46_CR12","first-page":"142","volume-title":"ACSAC 2003","author":"M. Yu","year":"2003","unstructured":"Yu, M., Liu, P., Zang, W.: Multi-Version Attack Recovery for Workflow Systems. In: ACSAC 2003, Washington, DC, USA, p. 142. IEEE Computer Society, Los Alamitos (2003)"},{"key":"46_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/978-3-540-39850-9_14","volume-title":"Groupware: Design, Implementation, and Use","author":"H. Mour\u00e3o","year":"2003","unstructured":"Mour\u00e3o, H., Antunes, P.: Workflow Recovery Framework for Exception Handling: Involving the User. In: Favela, J., Decouchant, D. (eds.) CRIWG 2003. LNCS, vol.\u00a02806, pp. 159\u2013167. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00328-8_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,10]],"date-time":"2025-02-10T00:06:02Z","timestamp":1739145962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00328-8_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642003271","9783642003288"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00328-8_46","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}