{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T06:30:25Z","timestamp":1757313025725},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540878766"},{"type":"electronic","value":"9783540878773"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"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":[[2008]]},"DOI":"10.1007\/978-3-540-87877-3_21","type":"book-chapter","created":{"date-parts":[[2008,10,11]],"date-time":"2008-10-11T11:30:56Z","timestamp":1223724656000},"page":"279-293","source":"Crossref","is-referenced-by-count":54,"title":["On the Formal Semantics of Change Patterns in Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Stefanie","family":"Rinderle-Ma","sequence":"first","affiliation":[]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Adams, M., ter Hofstede, A., Edmond, D., van der Aalst, W.: A Service-Oriented Implementation of Dynamic Flexibility in Workflows.. In: Proc. Coopis 2006 (2006)","DOI":"10.1007\/11914853_18"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/B:DAPD.0000026270.78463.77","volume":"16","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Distributed and Parallel Databases\u00a016, 91\u2013116 (2004)","journal-title":"Distributed and Parallel Databases"},{"key":"21_CR3","first-page":"93","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT flex \u2013 Supporting Dynamic Changes of Workflows Without Losing Control. JIIS\u00a010, 93\u2013129 (1998)","journal-title":"JIIS"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W. Van der Aalst","year":"2005","unstructured":"Van der Aalst, W., Weske, M., Gr\u00fcnbauer, D.: Case handling: A new paradigm for business process support. Data and Knowledge Engineering\u00a053, 129\u2013162 (2005)","journal-title":"Data and Knowledge Engineering"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, M., Sidorova, N., van der Aalst, W.: Constraint-Based Workflow Models: Change Made Easy. In: CoopIS 2007, pp. 77\u201394 (2007)","DOI":"10.1007\/978-3-540-76848-7_7"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Sadiq, W., Orlowska, M.: A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems\u00a030, 349\u2013378 (2005)","journal-title":"Information Systems"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. Aalst Van der","year":"2003","unstructured":"Van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow Patterns. Distributed and Parallel Databases\u00a014, 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/11767138_20","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2006","unstructured":"Russell, N., van der Aalst, W., ter Hofstede, A.: Exception Handling Patterns in Process-Aware Information Systems. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 288\u2013302. Springer, Heidelberg (2006)"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness Criteria for Dynamic Changes in Workflow Systems \u2013 A Survey. Data and Knowledge Engineering\u00a050, 9\u201334 (2004)","journal-title":"Data and Knowledge Engineering"},{"key":"21_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1007\/978-3-540-72988-4_40","volume-title":"Advanced Information Systems Engineering","author":"B. Weber","year":"2007","unstructured":"Weber, B., Rinderle, S., Reichert, M.: Change patterns and change support features in process-aware information systems. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 574\u2013588. Springer, Heidelberg (2007)"},{"key":"21_CR11","unstructured":"Weber, B., Rinderle, S., Reichert, M.: Change Support in Process-Aware Information Systems - A Pattern-Based Analysis. Technical report, CTIT (2007)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data and Knowledge Engineering (2008)","DOI":"10.1016\/j.datak.2008.05.001"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11538394_11","volume-title":"Business Process Management","author":"F. Puhlmann","year":"2005","unstructured":"Puhlmann, F., Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 153\u2013168. Springer, Heidelberg (2005)"},{"key":"21_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1109\/TSE.2004.1274043","volume":"30","author":"F. Zhang","year":"2004","unstructured":"Zhang, F., D\u2019Hollander, E.: Using Hammock Graphs to Structure Programs. IEEE Transactions on Software Engineering\u00a030, 231\u2013245 (2004)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/s002360000041","volume":"37","author":"R.V. Glabbeek","year":"2001","unstructured":"Glabbeek, R.V., Goltz, U.: Refinement of actions and equivalence notions for concurrent systems. Acta Informatica\u00a037, 229\u2013327 (2001)","journal-title":"Acta Informatica"},{"key":"21_CR16","unstructured":"Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow data patterns. Technical Report FIT-TR-2004-01, Queensland Univ. of Techn. (2004)"},{"key":"21_CR17","unstructured":"Russell, N., ter Hofstede, A., Edmond, D., van der Aalst, W.: Workflow resource patterns. Technical Report WP 127, Eindhoven Univ. of Technology (2004)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11678564_7","volume-title":"Business Process Management Workshops","author":"A. Barros","year":"2006","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.: Service Interaction Patterns. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol.\u00a03812, pp. 302\u2013318. Springer, Heidelberg (2006)"},{"key":"21_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/978-3-540-69534-9_9","volume-title":"Advanced Information Systems Engineering","author":"B. Weber","year":"2008","unstructured":"Weber, B., Reichert, M.: Refactoring process models in large process repositories. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 124\u2013139. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling - ER 2008"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87877-3_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T15:22:30Z","timestamp":1557847350000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87877-3_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540878766","9783540878773"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87877-3_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}