{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:08Z","timestamp":1750306808804,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,3,24]],"date-time":"2014-03-24T00:00:00Z","timestamp":1395619200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"MERgE project","award":["ITEA 2 Call 6 11011"],"award-info":[{"award-number":["ITEA 2 Call 6 11011"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,3,24]]},"DOI":"10.1145\/2554850.2554998","type":"proceedings-article","created":{"date-parts":[[2014,7,22]],"date-time":"2014-07-22T15:08:30Z","timestamp":1406041710000},"page":"1126-1133","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Planning for declarative processes"],"prefix":"10.1145","author":[{"given":"Yoann","family":"Laurent","sequence":"first","affiliation":[{"name":"UPMC Paris Universitas, France"}]},{"given":"Reda","family":"Bendraou","sequence":"additional","affiliation":[{"name":"UPMC Paris Universitas, France"}]},{"given":"Souheib","family":"Baarir","sequence":"additional","affiliation":[{"name":"University of Paris Ouest, Nanterre, France"}]},{"given":"Marie-Pierre","family":"Gervais","sequence":"additional","affiliation":[{"name":"University of Paris Ouest, Nanterre, France"}]}],"member":"320","published-online":{"date-parts":[[2014,3,24]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1016\/S0004-3702(02)00375-2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/978-3-642-01364-5_4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"e_1_3_2_1_4_1","volume-title":"IJCAI","author":"Ernst M. D.","year":"1997","unstructured":"M. D. Ernst , T. D. Millstein , and D. S. Weld . Automatic sat-compilation of planning problems . In IJCAI , 1997 . M. D. Ernst, T. D. Millstein, and D. S. Weld. Automatic sat-compilation of planning problems. In IJCAI, 1997."},{"key":"e_1_3_2_1_5_1","volume-title":"Enterprise, Business-Process and Information Systems Modeling.","author":"Fahland D.","year":"2009","unstructured":"D. Fahland Declarative versus imperative process modeling languages: The issue of understandability . In Enterprise, Business-Process and Information Systems Modeling. 2009 . D. Fahland et al. Declarative versus imperative process modeling languages: The issue of understandability. In Enterprise, Business-Process and Information Systems Modeling. 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-642-12186-9_45"},{"key":"e_1_3_2_1_7_1","volume-title":"Strips: A new approach to the application of theorem proving to problem solving. Artificial intelligence, 2(3): 189--208","author":"Fikes R. E.","year":"1972","unstructured":"R. E. Fikes and N. J. Nilsson . Strips: A new approach to the application of theorem proving to problem solving. Artificial intelligence, 2(3): 189--208 , 1972 . R. E. Fikes and N. J. Nilsson. Strips: A new approach to the application of theorem proving to problem solving. Artificial intelligence, 2(3): 189--208, 1972."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1006\/jvlc.1996.0009"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/355045.355063"},{"key":"e_1_3_2_1_10_1","volume-title":"Mit Pr","author":"Jackson D.","year":"2011","unstructured":"D. Jackson . Software Abstractions : logic, language and analysis . Mit Pr , 2011 . D. Jackson. Software Abstractions: logic, language and analysis. Mit Pr, 2011."},{"key":"e_1_3_2_1_11_1","volume-title":"MIT-CSAIL-TR-2009-033","author":"Jackson D.","year":"2009","unstructured":"D. Jackson , H.-C. Estler , and D. Rayside . The guided improvement algorithm for exact, general-purpose, many-objective combinatorial optimization. Technical report , MIT-CSAIL-TR-2009-033 , MIT Computer Science and Artificial Intelligence Laboratory , 2009 . D. Jackson, H.-C. Estler, and D. Rayside. The guided improvement algorithm for exact, general-purpose, many-objective combinatorial optimization. Technical report, MIT-CSAIL-TR-2009-033, MIT Computer Science and Artificial Intelligence Laboratory, 2009."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1145\/41625.41635"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_14_1","volume-title":"Communicating and mobile systems: the pi calculus","author":"Milner R.","year":"1999","unstructured":"R. Milner . Communicating and mobile systems: the pi calculus . Cambridge university press , 1999 . R. Milner. Communicating and mobile systems: the pi calculus. Cambridge university press, 1999."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/2480362.2480624"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_16_1","DOI":"10.1109\/5.24143"},{"key":"e_1_3_2_1_17_1","volume-title":"Constraint-based workflow management systems: shifting control to users","author":"Pesic M.","year":"2008","unstructured":"M. Pesic . Constraint-based workflow management systems: shifting control to users . 2008 . M. Pesic. Constraint-based workflow management systems: shifting control to users. 2008."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_18_1","DOI":"10.5555\/1317532.1318056"},{"key":"e_1_3_2_1_19_1","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS.","author":"Pesic M.","year":"2007","unstructured":"M. Pesic , M. Schonenberg , N. Sidorova , and W. M. van der Aalst . Constraint-based workflow models: Change made easy . In On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. 2007 . M. Pesic, M. Schonenberg, N. Sidorova, and W. M. van der Aalst. Constraint-based workflow models: Change made easy. In On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS. 2007."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_20_1","DOI":"10.1007\/11837862_18"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_21_1","DOI":"10.1016\/j.datak.2009.02.014"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1007\/978-3-540-68644-6_2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_23_1","DOI":"10.1007\/11841197_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1007\/s00450-009-0057-9"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_25_1","DOI":"10.5555\/1761141.1761143"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1007\/s00165-010-0161-4"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_27_1","DOI":"10.1007\/978-3-642-02144-2_37"},{"key":"e_1_3_2_1_28_1","volume-title":"OTM.","author":"Westergaard M.","year":"2012","unstructured":"M. Westergaard and F. M. Maggi . Looking into the future . In OTM. 2012 . M. Westergaard and F. M. Maggi. Looking into the future. In OTM. 2012."},{"key":"e_1_3_2_1_29_1","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"Zugal S.","year":"2011","unstructured":"S. Zugal , J. Pinggera , and B. Weber . The impact of testcases on the maintainability of declarative process models . In Enterprise, Business-Process and Information Systems Modeling . Springer , 2011 . S. Zugal, J. Pinggera, and B. Weber. The impact of testcases on the maintainability of declarative process models. In Enterprise, Business-Process and Information Systems Modeling. Springer, 2011."}],"event":{"sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"acronym":"SAC 2014","name":"SAC 2014: Symposium on Applied Computing","location":"Gyeongju Republic of Korea"},"container-title":["Proceedings of the 29th Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2554998","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2554850.2554998","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:35:03Z","timestamp":1750232103000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2554850.2554998"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,24]]},"references-count":29,"alternative-id":["10.1145\/2554850.2554998","10.1145\/2554850"],"URL":"https:\/\/doi.org\/10.1145\/2554850.2554998","relation":{},"subject":[],"published":{"date-parts":[[2014,3,24]]},"assertion":[{"value":"2014-03-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}