{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:49:38Z","timestamp":1743090578593,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"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_5","type":"book-chapter","created":{"date-parts":[[2014,7,23]],"date-time":"2014-07-23T08:06:25Z","timestamp":1406102785000},"page":"59-72","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Data-Oriented Declarative Language for Optimizing Business Processes"],"prefix":"10.1007","author":[{"given":"Luisa","family":"Parody","sequence":"first","affiliation":[]},{"given":"Mar\u00eda Teresa","family":"G\u00f3mez-L\u00f3pez","sequence":"additional","affiliation":[]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,5]]},"reference":[{"key":"5_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, Secaucus, NJ"},{"issue":"2","key":"5_CR2","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1145\/141484.130299","volume":"21","author":"IF Cruz","year":"1992","unstructured":"Cruz IF (1992) Doodle: a visual language for object-oriented databases. SIGMOD Rec 21(2):71\u201380","journal-title":"SIGMOD Rec"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Sadiq S, Governatori G, Namiri K (2007) Modeling control objectives for business process compliance. In: Proceedings of the 5th international conference on business process management, BPM\u201907. Springer, Berlin, pp 149\u2013164","DOI":"10.1007\/978-3-540-75183-0_12"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Rychkova I, Regev G, Wegmann A (2008) High-level design and analysis of business processes the advantages of declarative specifications. In: IEEE international conference on research challenges in information science, RCIS\u201908, Marrakech, Morocco. pp 99\u2013110. ISBN: 978-1-4244-1677-6","DOI":"10.1109\/RCIS.2008.4632098"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Knuplesch D, Ly LT, Rinderle-Ma S, Pfeifer H, Dadam P (2010) On enabling data-aware compliance checking of business process models. In: 29th International conference on conceptual modeling, ER 2010, Vancouver, BC, Canada, vol 6412. Springer, Berlin, pp 332\u2013346. ISBN: 978-3-642-16372-2","DOI":"10.1007\/978-3-642-16373-9_24"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Goedertier S, Vanthienen J (2006) Designing compliant business processes with obligations and permissions. In: Business process management workshops, vol 4103. Springer, Berlin, pp 5\u201314. ISBN: 978-3-540-38444-1","DOI":"10.1007\/11837862_2"},{"key":"5_CR7","unstructured":"Parody L, Gomez-Lopez MT, Gasca M (2013) Decision-making sub-process to obtain the optimal combination of input data in business processes. In: Proceedings of the IX Jormadas de Ciencia e Ingenier\u00eda de Servicios, JCIS \u201913, pp 17\u201331. ISBN: 978-84-695-8351-7"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Parody L, Gomez-Lopez MT, Martinez Gasca R, Varela-Vaca AJ (2012) Improvement of optimization agreements in business processes involving web services. Communications of the IBIMA 2012, vol 2012, Article ID 959796, 15 pp. doi:10.5171\/2012.959796","DOI":"10.5171\/2012.959796"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1023\/A:1008713216625","volume":"7","author":"I Bider","year":"2000","unstructured":"Bider I, Khomyakov M, Pushchinsky E (2000) Logic of change: semantics of object systems with active relations. Autom Softw Eng 7:9\u201337","journal-title":"Autom Softw Eng"},{"issue":"1","key":"5_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0743-1066(94)00030-A","volume":"25","author":"J Chomicki","year":"1995","unstructured":"Chomicki J (1995) Depth-bounded bottom-up evaluation of logic program. J Log Program 25(1):1\u201331","journal-title":"J Log Program"},{"issue":"1\u20132","key":"5_CR11","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/S0004-3702(99)00071-5","volume":"116","author":"F Bacchus","year":"2000","unstructured":"Bacchus F, Kabanza F (2000) Using temporal logics to express search control knowledge for planning. Artif Intell 116(1\u20132):123\u2013191","journal-title":"Artif Intell"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Pesic M, van der Aalst WMP (2006) A declarative approach for flexible business processes management. In: Proceedings of the 2006 international conference on business process management workshops, BPM\u201906. Springer, Berlin, pp 169\u2013180","DOI":"10.1007\/11837862_18"},{"issue":"1","key":"5_CR13","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"RA Kowalski","year":"1986","unstructured":"Kowalski RA, Sergot MJ (1986) A logic-based calculus of events. New Generat Comput 4(1):67\u201395","journal-title":"New Generat Comput"},{"key":"5_CR14","unstructured":"Eshghi K (1988) Abductive planning with event calculus. In: Proceedings of the fifth international conference and symposium on logic programming, Seattle, Washington. MIT Press. pp 562\u2013579. ISBN: 0-262-61056-6"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Shanahan M (1997) Event calculus planning revisited. In: Steel S, Alami R (eds) ECP. Lecture notes in computer science, vol 1348. Springer, Heidelberg, pp 390\u2013402","DOI":"10.1007\/3-540-63912-8_101"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Nuffelen BV, Kakas AC (2001) A-system: declarative programming with abduction. In: Eiter T, Faber W, Truszczynski M (eds) LPNMR. Lecture notes in computer science, vol 2173. Springer, Heidelberg, pp 393\u2013396","DOI":"10.1007\/3-540-45402-0_29"},{"key":"5_CR17","volume-title":"Handbook of constraint programming (foundations of artificial intelligence)","author":"F Rossi","year":"2006","unstructured":"Rossi F, Beek PV, Walsh T (2006) Handbook of constraint programming (foundations of artificial intelligence). Elsevier, New York, NY"},{"issue":"5","key":"5_CR18","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"SW Sadiq","year":"2005","unstructured":"Sadiq SW, Orlowska ME, Sadiq W (2005) Specification and validation of process constraints for flexible workflows. Inform Syst 30(5):349\u2013378","journal-title":"Inform Syst"},{"issue":"3b","key":"5_CR19","first-page":"45","volume":"5","author":"I Rychkova","year":"2008","unstructured":"Rychkova I, Regev G, Wegmann A (2008) Using declarative specifications in business process design. IJCSA 5(3b):45\u201368","journal-title":"IJCSA"},{"key":"5_CR20","doi-asserted-by":"crossref","unstructured":"Rychkova I, Nurcan S (2011) Towards adaptability and control for knowledge-intensive business processes: declarative configurable process specifications. In: 44th Hawaii international conference on system sciences (HICSS). pp 1\u201310. ISSN: 1530-1605","DOI":"10.1109\/HICSS.2011.452"},{"key":"5_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WM van der Aalst","year":"2005","unstructured":"van der Aalst WM, Weske M, Grnbauer D (2005) Case handling: a new paradigm for business process support. Data Knowl Eng 53:129\u2013162","journal-title":"Data Knowl Eng"},{"issue":"1","key":"5_CR22","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"LT Ly","year":"2008","unstructured":"Ly LT, Rinderle S, Dadam P (2008) Integration and verification of semantic constraints in adaptive process management systems. Data Knowl Eng 64(1):3\u201323","journal-title":"Data Knowl Eng"},{"key":"5_CR23","doi-asserted-by":"crossref","unstructured":"Ly LT, Rinderle-Ma S, Knuplesch D, Dadam P (2011) Monitoring business process compliance using compliance rule graphs. In: 19th International conference on cooperative information systems (CoopIS 2011). LNCS, vol 7044. Springer, Heidelberg, pp 82\u201399","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"5_CR24","doi-asserted-by":"crossref","unstructured":"Goedertier S, Haesen R, Vanthienen J (2007) Em-bra2ce v0. 1: a vocabulary and execution model for declarative business process modeling. FETEW Research Report KBI 0728, K.U. Leuven","DOI":"10.2139\/ssrn.1086027"},{"key":"5_CR25","doi-asserted-by":"crossref","unstructured":"Roover WD, Caron F, Vanthienen J (2011) A prototype tool for the event-driven enforcement of sbvr business rules. In: Daniel F, Barkaoui K, Dustdar S (eds) Business process management workshops (1). Lecture notes in business information processing, vol 99. Springer, Heidelberg, pp 446\u2013457","DOI":"10.1007\/978-3-642-28108-2_43"},{"key":"5_CR26","unstructured":"Maggi FM, Westergaard M, van der Aalst W, Staff F, Pesic M, Schonenberg H. Declare tool. http:\/\/www.win.tue.nl\/declare\/"},{"key":"5_CR27","doi-asserted-by":"crossref","unstructured":"Maggi FM, Montali M, Westergaard M, van der Aalst W (2011) Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Proceedings of BPM. LNCS. Springer, Heidelberg","DOI":"10.1007\/978-3-642-23059-2_13"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Maggi F, Westergaard M, Montali M, van der Aalst W (2011) Runtime verification of LTL based declarative process models. In: Proceedings of RV. LNCS. Springer, Heidelberg","DOI":"10.1007\/978-3-642-29860-8_11"},{"key":"5_CR29","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, Valle CD, Ramrez AJ (2013) User recommendations for the optimized execution of business processes. Data Knowl Eng 86:61\u201384","journal-title":"Data Knowl Eng"},{"key":"5_CR30","unstructured":"Ramrez AJ, Barba I, Valle CD, Weber B (2013) Generating multi-objective optimized business process enactment plans. In: 25th International conference on advanced information systems engineering. CAISE\u201913. Lecture notes in computer science, vol 7908. pp 99\u2013115. ISBN: 978-3-642-38708-1"},{"key":"5_CR31","doi-asserted-by":"crossref","unstructured":"Montali M, Chesani F, Mello P, Maggi FM (2013) Towards data-aware constraints in declare. In: Proceedings of the 28th annual ACM symposium on applied computing, SAC \u201913. ACM, Coimbra, Portugal, pp 1391\u20131396","DOI":"10.1145\/2480362.2480624"}],"container-title":["Information System Development"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07215-9_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,19]],"date-time":"2024-03-19T15:50:03Z","timestamp":1710863403000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-07215-9_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319072142","9783319072159"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07215-9_5","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"}}]}}