{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T18:52:16Z","timestamp":1649011936584},"reference-count":36,"publisher":"Cambridge University Press (CUP)","issue":"3","license":[{"start":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T00:00:00Z","timestamp":1441152000000},"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":[[2016,8]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p><jats:italic>Product configuration<\/jats:italic>is when an artifact from a product family is assembled from a set of predefined components that can only be combined in certain ways. These ways are defined by configuration rules. The product developers inspect the configuration rules when they develop new configuration rules or modify the configuration rules set. The inspection of configuration rules is thereby an important activity to avoid errors in the configuration rules set. Several formulations of constraint satisfaction problems (CSPs) are proposed that facilitate the inspection of configuration rules in propositional logic (IF-THEN, AND, NOT, OR, etc.). Many of the configuration rules are so called<jats:italic>production rules<\/jats:italic>; that is, a configuration rule is an IF-THEN expression that fires when the IF condition is met. Several configuration rules build chains that fire during the product configuration. It is therefore important not only to inspect single configuration rules but also to analyze the effect of multiple configuration rules. Formulating the tasks as variations of the CSP can support the inspection activity. More specifically, we address the reformulation of configuration rules, testing of feature variant combinations, and counting of item quantities from an item set. The suggested CSPs are tested on industrial vehicle configuration rules for computational performance. The results show that the time for achieving results from the solving of the CSP is within seconds. Our future work will be to implement the various CSPs into a demonstrator that could be tested by product developers.<\/jats:p>","DOI":"10.1017\/s0890060415000487","type":"journal-article","created":{"date-parts":[[2015,9,2]],"date-time":"2015-09-02T08:10:17Z","timestamp":1441181417000},"page":"313-328","source":"Crossref","is-referenced-by-count":0,"title":["Formulating constraint satisfaction problems for the inspection of configuration rules"],"prefix":"10.1017","volume":"30","author":[{"given":"Anna","family":"Tidstam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Malmqvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexey","family":"Voronov","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Fabian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"key":"S0890060415000487_ref22","volume-title":"Proc. Workshop on Logics for Component Configuration, LoCoCo, 2010","author":"K\u00fcbler","year":"2010"},{"key":"S0890060415000487_ref5","volume-title":"Proc. Int. Conf. Tools With Artificial Intelligence, ICTAI 2010","author":"Astesana","year":"2010"},{"key":"S0890060415000487_ref26","volume-title":"Production Rule Representation (PRR), International Standard (IEC) 61131-3","year":"2009"},{"key":"S0890060415000487_ref24","unstructured":"Liffiton M.H. (2009). Analyzing infeasible constraint systems. PhD Thesis. University of Michigan."},{"key":"S0890060415000487_ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(01)00162-X"},{"key":"S0890060415000487_ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S1574-6526(06)80028-3"},{"key":"S0890060415000487_ref33","volume-title":"Foundations of Constraint Satisfaction","author":"Tsang","year":"1993"},{"key":"S0890060415000487_ref21","unstructured":"Krebs T. , Wolter K. , & Hotz L. (2004). Mass customization for evolving product families. Proc. Int. Conf. Economic, Technical and Organizational Aspects of Product Configuration Systems, Copenhagen, June 28\u201329."},{"key":"S0890060415000487_ref25","volume-title":"National Conf. Artificial Intelligence, AAAI-90","author":"Mittal","year":"1990"},{"key":"S0890060415000487_ref10","unstructured":"Bucki J. (2015). Bill of Materials. Accessed at http:\/\/operationstech.about.com\/od\/glossary\/g\/BillMaterials.htm on May 1, 2015."},{"key":"S0890060415000487_ref3","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(79)90002-4"},{"key":"S0890060415000487_ref9","volume-title":"Semiology of Graphics: Diagrams, Networks, Maps","author":"Bertin","year":"1983"},{"key":"S0890060415000487_ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24605-3_37"},{"key":"S0890060415000487_ref36","unstructured":"Wehle H.-D. (2011). Cloud Billing Service. Accessed at http:\/\/www.ibm.com\/developerworks\/cloud\/library\/cl-devcloudmodule\/ on May 1, 2015."},{"key":"S0890060415000487_ref35","unstructured":"Voronov A. (2013). On formal methods for large-scale product configuration. PhD Thesis. Chalmers University of Technology."},{"key":"S0890060415000487_ref17","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(03)00117-6"},{"key":"S0890060415000487_ref30","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060498124083"},{"key":"S0890060415000487_ref13","volume-title":"Proc. ACM Symp.","author":"Cook","year":"1971"},{"key":"S0890060415000487_ref27","volume-title":"Artificial Intelligence: A Modern Approach","author":"Russell","year":"2003"},{"key":"S0890060415000487_ref32","volume-title":"Proc. Int. Symp. Tools and Methods of Competitive Engineering, TMCE'12","author":"Tidstam","year":"2012"},{"key":"S0890060415000487_ref34","doi-asserted-by":"publisher","DOI":"10.1006\/inco.2000.2867"},{"key":"S0890060415000487_ref23","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The Sat4j library, release 2.2 system description","volume":"7","author":"Le Berre","year":"2010","journal-title":"Journal on Satisfiability, Boolean Modeling and Computation"},{"key":"S0890060415000487_ref31","first-page":"254","volume-title":"Int. Conf. Software Engineering","author":"Th\u00fcm","year":"2009"},{"key":"S0890060415000487_ref4","volume-title":"Proc. Workshop on Configuration, ECAI 2010","author":"Astesana","year":"2010"},{"key":"S0890060415000487_ref11","first-page":"339\u2013","volume-title":"Handbook of Satisfiability","author":"B\u00fcning","year":"2009"},{"key":"S0890060415000487_ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"S0890060415000487_ref18","volume-title":"Refactoring: Improving the Design of Existing Code","author":"Fowler","year":"1999"},{"key":"S0890060415000487_ref28","volume-title":"Computer-Based Medical Consultations, MYCIN","author":"Shortliffe","year":"1976"},{"key":"S0890060415000487_ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1183236.1183264"},{"key":"S0890060415000487_ref7","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-010-0350-8"},{"key":"S0890060415000487_ref12","unstructured":"Chakraborty R. (2010). Knowledge Representations. Accessed at http:\/\/www.myreaders.info\/03-Knowledge_Representations.pdf on May 1, 2015."},{"key":"S0890060415000487_ref15","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82542-3"},{"key":"S0890060415000487_ref1","volume-title":"Proc. Int. Conf. Generative Programming and Component Engineering, GPCE \u201906","author":"Alves","year":"2006"},{"key":"S0890060415000487_ref19","volume-title":"Proc. Int. Symp. Theoretical Aspects of Computer Science, STACS 2011","author":"Hertli","year":"2011"},{"key":"S0890060415000487_ref29","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060403171065"},{"key":"S0890060415000487_ref8","volume-title":"Refactoring methods for knowledge bases. Engineering Knowledge in the Age of the Semantic Web","author":"Baumeister","year":"2004"}],"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\/S0890060415000487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,7]],"date-time":"2020-09-07T21:44:29Z","timestamp":1599515069000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060415000487\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,2]]},"references-count":36,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,8]]}},"alternative-id":["S0890060415000487"],"URL":"https:\/\/doi.org\/10.1017\/s0890060415000487","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,2]]}}}