{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:22:59Z","timestamp":1725531779572},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642018619"},{"type":"electronic","value":"9783642018626"}],"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-01862-6_2","type":"book-chapter","created":{"date-parts":[[2009,4,29]],"date-time":"2009-04-29T12:42:09Z","timestamp":1241008929000},"page":"14-26","source":"Crossref","is-referenced-by-count":9,"title":["A Conceptual Framework for Business Process Redesign"],"prefix":"10.1007","author":[{"given":"George","family":"Koliadis","sequence":"first","affiliation":[]},{"given":"Aditya","family":"Ghose","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"White, S.: Business process modeling notation (bpmn), Technical report, OMG Final Adopted Specification 1.0 (February 2006), http:\/\/www.bpmn.org"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"van der Aalst, W., Dreiling, A., Rosemann, M., Jansen-Vullers, M.H.: Configurable process models as a basis for reference modelling. In: Proceedings of the Workshop on Business Process Reference Models (BPRM 2005) (2005)","DOI":"10.1007\/11678564_47"},{"key":"2_CR3","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 - a survey. Data and Knowledge Engineering\u00a050, 9\u201334 (2004)","journal-title":"Data and Knowledge Engineering"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1341771.1341776","volume-title":"Proceedings of the 1st Bangalore annual Compute conference (COMPUTE 2008)","author":"K. Ponnalagu","year":"2008","unstructured":"Ponnalagu, K., Narendra, N.C.: Deriving service variants from business process specifications. In: Proceedings of the 1st Bangalore annual Compute conference (COMPUTE 2008), pp. 1\u20139. ACM, New York (2008)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/11841760_34","volume-title":"Business Process Management","author":"R. Lu","year":"2006","unstructured":"Lu, R., Sadiq, S.: Managing process variants as and information resource. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol.\u00a04102, pp. 426\u2013431. Springer, Heidelberg (2006)"},{"issue":"4","key":"2_CR6","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1002\/spip.242","volume":"10","author":"P. Soffer","year":"2005","unstructured":"Soffer, P.: Scope analysis: identifying the impact of changes in business process models. Software Process: Improvement and Practice\u00a010(4), 393\u2013402 (2005)","journal-title":"Software Process: Improvement and Practice"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","first-page":"51","volume-title":"Business Process Management","author":"K.M. Hee van","year":"2000","unstructured":"van Hee, K.M., Reijers, H.A.: Using Formal Analysis Techniques in Business Process Redesign. In: van der Aalst, W.M.P., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol.\u00a01806, pp. 51\u201371. Springer, Heidelberg (2000)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Modafferi, S., Benatallah, B., Casati, F., Pernici, B.: A Methodology for Designing and Managing Context-Aware Workflows. In: Mobile IS II, pp. 91\u2013106 (2005)","DOI":"10.1007\/0-387-31166-1_7"},{"key":"2_CR9","unstructured":"Weber, I., Hoffman, J., Mendling, J.: Semantic business process validation. In: Proceedings of the 3rd International Workshop on Semantic Business Process Management (2008)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance of business process models through semantic annotations. In: Proceedings of the 4th International Workshop on Business Process Design (2008)","DOI":"10.1007\/978-3-642-00328-8_2"},{"issue":"2","key":"2_CR11","first-page":"61","volume":"11","author":"J. Hendler","year":"1990","unstructured":"Hendler, J., Tate, A., Drummond, M.: Ai planning: Systems and techniques. AI Magazine\u00a011(2), 61\u201377 (1990)","journal-title":"AI Magazine"},{"key":"2_CR12","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M. Huth","year":"2004","unstructured":"Huth, M., Ryan, M.: Logic in Computer Science: Modelling and Reasoning about Systems. Cambridge University Press, Cambridge (2004)"},{"key":"2_CR13","unstructured":"Jackson, D., Wing, J.: Lightweight formal methods. IEEE Computer, 21\u201322 (1996)"},{"key":"2_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A.K. Ghose","year":"2007","unstructured":"Ghose, A.K., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"2_CR15","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":"2_CR16","unstructured":"Bistarelli, S.: Soft Constraint Solving and Programming: a General Framework. PhD thesis, Computer Science Department, University of Pisa (2001)"},{"key":"2_CR17","volume-title":"Solving the Frame Problem - A Mathematical Investigation of the Common Sense Law of Inertia","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem - A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, Cambridge (1997)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01862-6_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T20:31:44Z","timestamp":1589747504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01862-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018619","9783642018626"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01862-6_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2009]]}}}