{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:04:35Z","timestamp":1774915475406,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540751823","type":"print"},{"value":"9783540751830","type":"electronic"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-75183-0_14","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T04:36:32Z","timestamp":1188534992000},"page":"182-197","source":"Crossref","is-referenced-by-count":19,"title":["Highly Dynamic Adaptation in Process Management Systems Through Execution Monitoring"],"prefix":"10.1007","author":[{"given":"Massimiliano","family":"de Leoni","sequence":"first","affiliation":[]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[]},{"given":"Giuseppe","family":"De Giacomo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","volume-title":"Production Workflow: Concepts and Techniques","author":"F. Leymann","year":"1999","unstructured":"Leymann, F., Roller, D.: Production Workflow: Concepts and Techniques. Prentice Hall PTR, Englewood Cliffs (1999)"},{"key":"14_CR2","volume-title":"Workflow Management. Models, Methods, and Systems","author":"W. Aalst van der","year":"2004","unstructured":"van der Aalst, W., van Hee, K.: Workflow Management. Models, Methods, and Systems. MIT Press, Cambridge (2004)"},{"key":"14_CR3","doi-asserted-by":"crossref","unstructured":"de Leoni, M., Mecella, M., Russo, R.: A Bayesian Approach for Disconnection Management in Mobile Ad-hoc Networks. In: Proc. 4th International Workshop on Interdisciplinary Aspects of Coordination Applied to Pervasive Environments: Models and Applications (CoMA) (at WETICE 2007) (2007)","DOI":"10.1109\/WETICE.2007.4407127"},{"key":"14_CR4","doi-asserted-by":"crossref","unstructured":"de Leoni, M., De Rosa, F., Mecella, M.: MOBIDIS: A Pervasive Architecture for Emergency Management. In: Proc. 4th International Workshop on Distributed and Mobile Collaboration (DMC 2006) (at WETICE 2006) (2006)","DOI":"10.1109\/WETICE.2006.48"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Catarci, T., De Rosa, F., de Leoni, M., Mecella, M., Angelaccio, M., Dustdar, S., Krek, A., Vetere, G., Zalis, Z.M., Gonzalvez, B., Iiritano, G.: WORKPAD: 2-Layered Peer-to-Peer for Emergency Management through Adaptive Processes. In: Proc. 2nd International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2006) (2006)","DOI":"10.1109\/COLCOM.2006.361872"},{"key":"14_CR6","unstructured":"de Leoni, M., De Rosa, F., Marrella, A., Poggi, A., Krek, A., Manti, F.: Emergency Management: from User Requirements to a Flexible P2P Architecture. In: Proc. 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2007) (2007)"},{"key":"14_CR7","unstructured":"De Giacomo, G., Reiter, R., Soutchanski, M.: Execution monitoring of high-level robot programs. In: KR, pp. 453\u2013465 (1998)"},{"key":"14_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"R. Reiter","year":"2001","unstructured":"Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, Cambridge (2001)"},{"key":"14_CR9","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","unstructured":"Levesque, H.J., Reiter, R., Lesp\u00e9rance, Y., Lin, F., Scherl, R.B.: Golog: A logic programming language for dynamic domains. J. Log. Program.\u00a031, 59\u201383 (1997)","journal-title":"J. Log. Program."},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesp\u00e9rance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artif. Intell.\u00a0121, 109\u2013169 (2000)","journal-title":"Artif. Intell."},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B. Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.: On structured workflow modelling. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol.\u00a01789, pp. 431\u2013445. Springer, Heidelberg (2000)"},{"key":"14_CR12","unstructured":"Lesperance, Y., Ng, H.: Integrating planning into reactive high-level robot programs (2000)"},{"key":"14_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1980","unstructured":"Milner, R.: A Calculus of Communicating Systems. Springer, Heidelberg (1980)"},{"key":"14_CR14","unstructured":"Hidders, J., Dumas, M., van der Aalst, W.M.P., ter Hofstede, A., Verelst, J.: When are two workflows the same? In: CATS, pp. 3\u201311 (2005)"},{"key":"14_CR15","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)"},{"key":"14_CR16","unstructured":"Weber, M., Illmann, T., Schmidt, A.: Webflow: Decentralized workflow management in the world wide web. In: Proc. of the Intermational Conf. on Applied Informatics (AI 1998) (1998)"},{"key":"14_CR17","series-title":"Lecture Notes in Computer Science","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"M. Reichert","year":"2003","unstructured":"Reichert, M., Rinderle, S., Dadam, P.: On the common support of workflow type and instance changes under correctness constraints. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, Springer, Heidelberg (2003)"},{"key":"14_CR18","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":"14_CR19","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W. Aalst van der","year":"2002","unstructured":"van der Aalst, W., Basten, T.: Inheritance of Workflows: an approach to tackling problems related to change. Theoretical Computer Science\u00a0270, 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPTflex supporting dynamic changes of workflows without losing control. Journal of Intelligent Information Systems\u00a010, 93\u2013129 (1998)","journal-title":"Journal of Intelligent Information Systems"},{"issue":"2","key":"14_CR21","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1016\/j.datak.2004.03.010","volume":"51","author":"R. M\u00fcller","year":"2004","unstructured":"M\u00fcller, R., Greiner, U., Rahm, E.: AGENTWORK: A Workflow-System Supporting Rule-Based Workflow Adaptation. Data and Knowledge Engineering\u00a051(2), 223\u2013256 (2004)","journal-title":"Data and Knowledge Engineering"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"Heimann, P., Joeris, G., Krapp, C., Westfechtel, B.: DYNAMITE: dynamic task nets for software process management. In: Proc. of the 18th International Conference Software Engineering (ICSE) Berlin, pp 331\u2013341 (1996)","DOI":"10.1109\/ICSE.1996.493428"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Liu, C., Conradi, R.: Automatic replanning of task networks for process model evolution. In: Proc. of the European Software Engineers Conference, Garmisch-Partenkirchen, Germany, pp. 434\u2013450 (1993)","DOI":"10.1007\/3-540-57209-0_29"},{"key":"14_CR24","unstructured":"Ceri, S., Paul, S.G.: Wide: A distributed architecture for workflow management. In: 7th International Workshop on Research Issues in Data Engineering (RIDE) (1997)"},{"key":"14_CR25","volume-title":"ICWS 2006","author":"K. Verma","year":"2006","unstructured":"Verma, K., Doshi, P., Gomadam, K., Miller, J., Sheth, A.: Optimal adaptation in web processes with coordination constraints. In: ICWS 2006. The IEEE International Conference on Web Services, IEEE Computer Society Press, Los Alamitos (2006)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75183-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:31:57Z","timestamp":1737401517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75183-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540751823","9783540751830"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75183-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007]]}}}