{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T13:05:07Z","timestamp":1743080707598,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319072142"},{"type":"electronic","value":"9783319072159"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07215-9_22","type":"book-chapter","created":{"date-parts":[[2014,7,23]],"date-time":"2014-07-23T08:06:25Z","timestamp":1406102785000},"page":"269-282","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Data-Aware Conformance Checking for Declarative Business Process Models"],"prefix":"10.1007","author":[{"given":"Diana","family":"Borrego","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Irene","family":"Barba","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Abad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,7,5]]},"reference":[{"key":"22_CR1","volume-title":"Business process management: concepts, languages, architectures","author":"M Weske","year":"2007","unstructured":"Weske M (2007) Business process management: concepts, languages, architectures. Springer, Berlin"},{"issue":"1","key":"22_CR2","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat A, van der Aalst WMP (2008) Conformance checking of processes based on monitoring real behavior. Inform Syst 33(1):64\u201395","journal-title":"Inform Syst"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"De Leoni M, Maggi F, van der Aalst WMP (2012) Aligning event logs and declarative process models for conformance checking. In: BPM 2012. LNCS, vol 7481. pp 82\u201397","DOI":"10.1007\/978-3-642-32885-5_6"},{"key":"22_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling flexibility in process-aware information systems","author":"M Reichert","year":"2012","unstructured":"Reichert M, Weber B (2012) Enabling flexibility in process-aware information systems. Springer, Berlin"},{"issue":"2","key":"22_CR5","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W van der Aalst","year":"2009","unstructured":"van der Aalst W, Pesic M, Schonenberg H (2009) Declarative workflows: balancing between flexibility and support. Comput Sci Res Dev 23(2):99\u2013113","journal-title":"Comput Sci Res Dev"},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes management. In: Proceedings of BPM workshops. pp 169\u2013180","DOI":"10.1007\/11837862_18"},{"key":"22_CR7","doi-asserted-by":"crossref","unstructured":"Burattin A, Maggi F, van der Aalst W, Sperduti A (2012) Techniques for a posteriori analysis of declarative processes. In: EDOC 2012. pp 41\u201350","DOI":"10.1109\/EDOC.2012.15"},{"issue":"2","key":"22_CR8","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s00450-009-0069-5","volume":"23","author":"B Weber","year":"2009","unstructured":"Weber B, Sadiq SW, Reichert M (2009) Beyond rigidity \u2013 dynamic process lifecycle support. Comput Sci Res Dev 23(2):47\u201365","journal-title":"Comput Sci Res Dev"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Grando MA, van der Aalst WMP, Mans RS (2012) Reusing a declarative specification to check the conformance of different CIGs. In: BPM 2011 workshops, Part II. LNBIP, vol 100. pp 188\u2013199","DOI":"10.1007\/978-3-642-28115-0_19"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Montali M, Pesic M, van der Aalst WMP, Chesani F, Mello P, Storari S (2010) Declarative specification and verification of service choreographies. ACM Trans Web 4(1):art. no. 3","DOI":"10.1145\/1658373.1658376"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Montali M (2009) Specification and verification of declarative open interaction models\u2013a logic- based framework. PhD Thesis, University of Bologna","DOI":"10.1007\/978-3-642-14538-4"},{"key":"22_CR12","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.datak.2013.01.004","volume":"86","author":"I Barba","year":"2013","unstructured":"Barba I, Weber B, Del Valle C, Jim\u00e9nez-Ramirez A (2013) User recommendations for the optimized execution of business processes. Data Knowl Eng 86:61\u201384","journal-title":"Data Knowl Eng"},{"key":"22_CR13","unstructured":"Rossi F, van Beek P, Walsh T (eds) (2006) Handbook of constraint programming. Elsevier Science Inc., New York, NY, USA"},{"key":"22_CR14","unstructured":"Barba I, Del Valle C (2013) Filtering rules for ConDec templates \u2013 pseudocode and complexity. http:\/\/regula.lsi.us.es\/MOPlanner\/FilteringRules.pdf"},{"key":"22_CR15","first-page":"25","volume":"3","author":"J de Kleer","year":"2003","unstructured":"de Kleer J, Kurien J (2003) Fundamentals of model-based diagnosis. Safeprocess 3:25\u201336","journal-title":"Safeprocess"},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"Borrego D, Gasca RM, Gomez-Lopez MT, Parody L (2010) Contract-based diagnosis for business process instances using business compliance rules. In: Proceedings of the 21st international workshop on principles of diagnosis (DX-10). pp 169\u2013176","DOI":"10.36001\/phmconf.2010.v2i1.1923"},{"issue":"1","key":"22_CR17","first-page":"32","volume":"13","author":"V Kumar","year":"1992","unstructured":"Kumar V (1992) Algorithms for constraint satisfaction problems: a survey. AI Magazine 13(1): 32\u201344","journal-title":"AI Magazine"},{"key":"22_CR18","volume-title":"Constraint satisfaction in logic programming","author":"P Van Hentenryck","year":"1989","unstructured":"Van Hentenryck P (1989) Constraint satisfaction in logic programming. MIT Press, Cambridge, MA"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Barba I, Del Valle C, Weber B, Jim\u00e9nez-Ramirez A (2013) Automatic generation of optimized business process models from constraint-based specifications. Int J Cooper Inform Syst 22","DOI":"10.1142\/S0218843013500093"},{"key":"22_CR20","unstructured":"Dynadec. Comet Downloads (2010) http:\/\/dynadec.com\/support\/downloads\/ [Online; accessed 13 Mar 2013]"}],"container-title":["Information System Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07215-9_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,31]],"date-time":"2024-05-31T02:02:24Z","timestamp":1717120944000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07215-9_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319072142","9783319072159"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07215-9_22","relation":{},"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"5 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}