{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,6]],"date-time":"2022-04-06T02:20:15Z","timestamp":1649211615749},"reference-count":49,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T00:00:00Z","timestamp":1303257600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2011,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>This article describes the technical principles and representation of a constraint-based configuration method for work processes. Methods developed for the configuration of modular systems comprising components have traditionally adopted a representation where the properties and compatibility requirements are expressed as constraints associated with individual components. However, this representation does not accurately capture constraints on paths and subprocesses and is therefore unsuitable for process configuration. This article extends established constraint-based configuration methods with a constraint language for specifying properties of execution paths in work processes. A framework for semiautomated process customization is presented. It integrates the extended constraint language with a metamodel of the work processes in an organization and allows to adapt generic work processes to fit the requirements of specific development projects. Heuristic search methods are applied to build valid process configurations by incrementally resolving constraint violations. The declarative framework facilitates the adaptation of abstract work processes as well as the validation and repair of existing processes. The approach was developed in the context of a real-world system of complex design and development processes where it was shown that significant process improvements and reduction in effort required to edit process models can be achieved.<\/jats:p>","DOI":"10.1017\/s0890060410000594","type":"journal-article","created":{"date-parts":[[2011,4,20]],"date-time":"2011-04-20T14:01:54Z","timestamp":1303308114000},"page":"143-162","source":"Crossref","is-referenced-by-count":4,"title":["A declarative framework for work process configuration"],"prefix":"10.1017","volume":"25","author":[{"given":"Wolfgang","family":"Mayer","sequence":"first","affiliation":[]},{"given":"Markus","family":"Stumptner","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Killisperger","sequence":"additional","affiliation":[]},{"given":"Georg","family":"Grossmann","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2011,4,20]]},"reference":[{"key":"S0890060410000594_ref47","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2008.05.001"},{"key":"S0890060410000594_ref1","volume-title":"Workflow Management\u2014Models, Methods, and Systems","author":"Van der Aalst","year":"2004"},{"key":"S0890060410000594_ref46","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45594-9_11"},{"key":"S0890060410000594_ref38","volume-title":"Handbook of Constraint Programming","author":"Rossi","year":"2006"},{"key":"S0890060410000594_ref37","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.05.003"},{"key":"S0890060410000594_ref43","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124046"},{"key":"S0890060410000594_ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.websem.2004.06.005"},{"key":"S0890060410000594_ref32","first-page":"1201","volume-title":"Handbook of Theoretical Computer Science. Volume B: Formal Models and Semantics (B)","author":"Milner","year":"1990"},{"key":"S0890060410000594_ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2009.65"},{"key":"S0890060410000594_ref44","unstructured":"Thomas O. , & Fellmann M. (2007). Semantic EPC: enhancing process modeling using ontology languages. Proc. SBPM, CEUR Workshop, Vol. 251. Accessed at http:\/\/www.CEUR-WS.org"},{"key":"S0890060410000594_ref28","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124101"},{"key":"S0890060410000594_ref27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/AIC-2010-0470","article-title":"F: conceptual language-based configuration","volume":"23","author":"Magro","year":"2010","journal-title":"AI Communications"},{"key":"S0890060410000594_ref48","unstructured":"WFMC. (2008). WFMC-TC-1025-Oct-10-08A (final XPDL 2.1 specification). Technical report, WFMC. Accessed April 28, 2009, at http:\/\/www.wfmc.org"},{"key":"S0890060410000594_ref34","volume-title":"Advanced Compiler Design and Implementation","author":"Muchnick","year":"1997"},{"key":"S0890060410000594_ref25","first-page":"85","volume-title":"Proc. ER (Workshops)","volume":"3770","author":"List","year":"2005"},{"key":"S0890060410000594_ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.02.005"},{"key":"S0890060410000594_ref22","unstructured":"Killisperger P. , Stumptner M. , Peters G. , & St\u00fcckl T. (2008). Challenges in software design in large corporations\u2014a case study at Siemens AG. Proc. Int. Conf. Enterprise Information Systems (ICEIS) (3-2), pp. 123\u2013128, Barcelona, Spain."},{"key":"S0890060410000594_ref40","volume-title":"Gesch\u00e4ftsprozessmanagement in der Praxis: Produktivit\u00e4t steigern\u2014Wert erh\u00f6hen\u2014Kunden zufriedenstellen","author":"Schmelzer","year":"2004"},{"key":"S0890060410000594_ref20","volume-title":"Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK)","author":"Keller","year":"1992"},{"key":"S0890060410000594_ref18","unstructured":"IDS Scheer. (2006). ARIS design platform. Accessed September 8, 2010, at http:\/\/www.ids-scheer.com\/us\/en\/ARIS\/ARIS_Platform\/ARIS_Design_Platform\/32390.html"},{"key":"S0890060410000594_ref17","volume-title":"Proc. IJCAI'05 Workshop on Configuration","author":"Heiskala","year":"2005"},{"key":"S0890060410000594_ref16","doi-asserted-by":"publisher","DOI":"10.21236\/ADA302689"},{"key":"S0890060410000594_ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.20"},{"key":"S0890060410000594_ref3","doi-asserted-by":"publisher","DOI":"10.1145\/182.358434"},{"key":"S0890060410000594_ref2","doi-asserted-by":"crossref","unstructured":"Albert P. , Henocque L. , & Kleiner M. (2005). Configuration-based workflow composition. Proc. IEEE Int. Conf. Web Services (ICWS), pp. 285\u2013292, Orlando, FL.","DOI":"10.1109\/ICWS.2005.38"},{"key":"S0890060410000594_ref45","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"S0890060410000594_ref35","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69534-9_39"},{"key":"S0890060410000594_ref49","first-page":"1","volume-title":"Proc. Foundations of Software Engineering (SIGSOFT FSE)","author":"Zeller","year":"2002"},{"key":"S0890060410000594_ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0950-5849(95)01059-9"},{"key":"S0890060410000594_ref29","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90002-7"},{"key":"S0890060410000594_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0954-1810(01)00016-4"},{"key":"S0890060410000594_ref11","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"S0890060410000594_ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00899-3_12"},{"key":"S0890060410000594_ref12","doi-asserted-by":"publisher","DOI":"10.1504\/IJSTM.2006.008185"},{"key":"S0890060410000594_ref21","unstructured":"Killisperger P. (2010). Instantiation of information systems development processes. PhD Thesis. University of South Australia, School of Computer and Information Science."},{"key":"S0890060410000594_ref8","unstructured":"Berglund A. , Boag S. , Chamberlin D. , Fern\u00e1ndez M.F. , Kay M. , Robie J. , and Sim\u00e9on J. (2007). XML Path Language (XPath) 2.0. World Wide Web Consortium, Recommendation REC-xpath20-20070123."},{"key":"S0890060410000594_ref15","doi-asserted-by":"publisher","DOI":"10.1145\/641205.641206"},{"key":"S0890060410000594_ref5","first-page":"9","volume-title":"IJCAI'09 Workshop on Configuration","author":"Asikainen","year":"2009"},{"key":"S0890060410000594_ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.007"},{"key":"S0890060410000594_ref42","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124083"},{"key":"S0890060410000594_ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-79588-9_15"},{"key":"S0890060410000594_ref10","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"S0890060410000594_ref36","unstructured":"Object Management Group. (2006). Object constraint language: OCL specification v2.0 [Computer software]. http:\/\/www.omg.org\/spec\/OCL\/2.0\/PDF"},{"key":"S0890060410000594_ref24","first-page":"380","volume-title":"Proc. VMCAI","volume":"3385","author":"Latvala","year":"2005"},{"key":"S0890060410000594_ref39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-57108-4"},{"key":"S0890060410000594_ref33","volume-title":"Reasoning about resource constraints in configuration tasks","author":"Mittal","year":"1990"},{"key":"S0890060410000594_ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.05.007"},{"key":"S0890060410000594_ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60794-3"},{"key":"S0890060410000594_ref7","first-page":"154","volume-title":"Proc. LPAR","volume":"3835","author":"Beckert","year":"2005"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060410000594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T12:18:12Z","timestamp":1592482692000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060410000594\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,4,20]]},"references-count":49,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,5]]}},"alternative-id":["S0890060410000594"],"URL":"https:\/\/doi.org\/10.1017\/s0890060410000594","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,4,20]]}}}