{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:32:45Z","timestamp":1743028365000,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642217586"},{"type":"electronic","value":"9783642217593"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21759-3_11","type":"book-chapter","created":{"date-parts":[[2011,6,30]],"date-time":"2011-06-30T09:18:45Z","timestamp":1309425525000},"page":"148-162","source":"Crossref","is-referenced-by-count":8,"title":["A State-Based Context-Aware Declarative Process Model"],"prefix":"10.1007","author":[{"given":"Pnina","family":"Soffer","sequence":"first","affiliation":[]},{"given":"Tomer","family":"Yehezkel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"4","key":"11_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language. Information Systems\u00a030(4), 245\u2013275 (2005)","journal-title":"Information Systems"},{"doi-asserted-by":"crossref","unstructured":"Andersson, B., Bider, I., Johannesson, P., Perjons, E.: Towards a Formal Definition of Goal-Oriented Business Process Patterns. Business Process Management Journal\u00a011(6) (2005)","key":"11_CR2","DOI":"10.1108\/14637150510630846"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A. Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using BPMN-Q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"key":"11_CR4","volume-title":"Test Driven Development: By Example","author":"K. Beck","year":"2002","unstructured":"Beck, K.: Test Driven Development: By Example. Addison-Wesley, Reading (2002)"},{"key":"11_CR5","series-title":"Ontology I: The Furniture of the World","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-010-9924-0","volume-title":"Treatise on Basic Philosophy","author":"M. Bunge","year":"1977","unstructured":"Bunge, M.: Treatise on Basic Philosophy. Ontology I: The Furniture of the World, vol.\u00a03. Reidel, Boston (1977)"},{"doi-asserted-by":"crossref","unstructured":"Ghattas, J., Soffer, P., Peleg, M.: A formal model for process context learning. In: Proc. BPI 2009, Ulm, Germany (2009)","key":"11_CR6","DOI":"10.1007\/978-3-642-12186-9_14"},{"key":"11_CR7","first-page":"249","volume-title":"5th Int\u2019l Symp. on RE","author":"A. Lamsweerde","year":"2001","unstructured":"Lamsweerde, A.: Goal-Oriented Requirements Engineering: A Guided Tour. In: 5th Int\u2019l Symp. on RE, pp. 249\u2013261. IEEE CS Press, Los Alamitos (2001)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"L.T. Ly","year":"2008","unstructured":"Ly, L.T., Rinderle, S., Dadam, P.: Integration and veri_cation of semantic constraints in adaptive process management systems. Data and Knowledge Engineering\u00a064, 3\u201323 (2008)","journal-title":"Data and Knowledge Engineering"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M.H., Sidorova, N., van der Aalst, W.M.P.: Constraint-based workflow models: Change made easy. In: Chung, S. (ed.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1002\/spip.301","volume":"12","author":"G. Regev","year":"2007","unstructured":"Regev, G., Bider, I., Wegmann, A.: Defining business process flexibility with the help of invariants. Software Process Improvement and Practice\u00a012, 65\u201379 (2007)","journal-title":"Software Process Improvement and Practice"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1007\/3-540-44895-0_25","volume-title":"Business Process Management","author":"M. Reichert","year":"2003","unstructured":"Reichert, M., Rinderle, S., Dadam, P.: ADEPT workflow management system: In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 370\u2013379. Springer, Heidelberg (2003)"},{"key":"11_CR12","series-title":"LNBIP","first-page":"16","volume-title":"CIAO! And EOMAS 2008","author":"H. Schonenberg","year":"2008","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Process Flexibility: A Survey of Contemporary Approaches. In: Dietz, et al (eds.) CIAO! And EOMAS 2008. LNBIP, vol.\u00a010, pp. 16\u201330. Springer, Berlin (2008)"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-540-85758-7_7","volume-title":"Business Process Management","author":"H. Schonenberg","year":"2008","unstructured":"Schonenberg, H., Weber, B., van Dongen, B.F., van der Aalst, W.M.P.: Supporting flexible processes through recommendations based on history. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 51\u201366. Springer, Heidelberg (2008)"},{"issue":"3","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jdm.2010070101","volume":"21","author":"P. Soffer","year":"2010","unstructured":"Soffer, P., Kaner, M., Wand, Y.: Assigning Ontology-Based Semantics to Workflow nets\u201d. Journal of Database Management\u00a021(3), 1\u201335 (2010)","journal-title":"Journal of Database Management"},{"issue":"6","key":"11_CR15","doi-asserted-by":"publisher","first-page":"663","DOI":"10.1108\/14637150510630837","volume":"11","author":"P. Soffer","year":"2005","unstructured":"Soffer, P., Wand, Y.: On the Notion of Soft Goals in Business Process Modeling. Business Process Management Journal\u00a011(6), 663\u2013679 (2005)","journal-title":"Business Process Management Journal"},{"issue":"3","key":"11_CR16","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","volume":"8","author":"P. Soffer","year":"2007","unstructured":"Soffer, P., Wand, Y.: Goal-driven multi-process analysis. Journal of the Association of Information Systems\u00a08(3), 175\u2013203 (2007)","journal-title":"Journal of the Association of Information Systems"},{"unstructured":"Weber, B., Pinggera, J., Zugal, S., Wild, W.: Handling events during business process execution: An empirical test","key":"11_CR17"},{"key":"11_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1007\/978-3-642-02144-2_37","volume-title":"Advanced Information Systems Engineering","author":"B. Weber","year":"2009","unstructured":"Weber, B., Reijers, H.A., Zugal, S., Wild, W.: The declarative approach to business process execution: An empirical test. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol.\u00a05565, pp. 470\u2013485. Springer, Heidelberg (2009)"},{"unstructured":"Zugal, S., Pinggera, J., Weber, B.: Toward Enhanced Life-Cycle Support for Declarative Processes. To appear in IJISMD","key":"11_CR19"},{"unstructured":"Ploesser, K., Janiesch, C., Recker, J., Rosemann, M.: Context Change Archetypes:Understanding the Impact of Context Change on Business Processes (2009)","key":"11_CR20"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21759-3_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T19:18:45Z","timestamp":1558379925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21759-3_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642217586","9783642217593"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21759-3_11","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2011]]}}}