Modeling and solving technical product configuration problems

Abstract This paper describes and evaluates approaches to model and solve technical product configuration problems using different artificial intelligence methodologies. By means of a typical example, the benefits and limitations of different artificial intelligence methods are discussed and a flexible software architecture for integrating different solvers in a product configurator is proposed.

[1]  Aldo Dagnino,et al.  An intelligent order entry and dynamic bill of materials system for manufacturing customized furniture , 1996 .

[2]  Patrick Albert,et al.  Ant Colony Optimization for Configuration , 2008, 2008 20th IEEE International Conference on Tools with Artificial Intelligence.

[3]  Gerhard Friedrich,et al.  Conceptual modeling for configuration of mass-customizable products , 2001, Artif. Intell. Eng..

[4]  Felix Sheng-Ho Chang,et al.  Finding Minimal Unsatisfiable Cores of Declarative Specifications , 2008, FM.

[5]  Patrick Albert,et al.  Integration of ACO in a Constraint Programming Language , 2008, ANTS Conference.

[6]  Diego Magro,et al.  F: Conceptual language-based configuration , 2010, AI Commun..

[7]  Anders Haug,et al.  From engineer‐to‐order to mass customization , 2009 .

[8]  John P. McDermott,et al.  SALT: A Knowledge Acquisition Language for Propose-and-Revise Systems , 1993, Artif. Intell..

[9]  Kristian J. Hammond,et al.  Knowledge-Based Navigation of Complex Information Spaces , 1996, AAAI/IAAI, Vol. 1.

[10]  Eugene C. Freuder,et al.  Detecting and resolving inconsistency and redundancy in conditional constraint satisfaction problems , 1999, AAAI 1999.

[11]  Dr. Zbigniew Michalewicz,et al.  How to Solve It: Modern Heuristics , 2004 .

[12]  John P. McDermott,et al.  R1: A Rule-Based Configurer of Computer Systems , 1982, Artif. Intell..

[13]  Peter Struss,et al.  A Prototype for Model-based On-board Diagnosis of Automotive Systems , 2000, AI Commun..

[14]  Stefanie Rinderle-Ma,et al.  Change patterns and change support features - Enhancing flexibility in process-aware information systems , 2008, Data Knowl. Eng..

[15]  Sjaak Brinkkemper,et al.  Method engineering: engineering of information systems development methods and tools , 1996, Inf. Softw. Technol..

[16]  C. Forza,et al.  Managing for variety in the order acquisition and fulfilment process: The contribution of product configuration systems , 2002 .

[17]  Markus Stumptner,et al.  Service Composition as Generative Constraint Satisfaction , 2009, 2009 IEEE International Conference on Web Services.

[18]  Robin Milner,et al.  Operational and Algebraic Semantics of Concurrent Processes , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[19]  Wagner A. Kamakura,et al.  Life-Style Segmentation with Tailored Interviewing , 1995 .

[20]  David Hinkley,et al.  Bootstrap Methods: Another Look at the Jackknife , 2008 .

[21]  Cheng Hsu,et al.  Engineering service products: the case of mass-customising service agreements for heavy equipment industry , 2006, Int. J. Serv. Technol. Manag..

[22]  Alexander Felfernig,et al.  FastXplain: Conflict Detection for Constraint-Based Recommendation Problems , 2010, IEA/AIE.

[23]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[24]  Georg Gottlob,et al.  Disjunctive datalog , 1997, TODS.

[25]  Patrick Albert,et al.  Configuration based workflow composition , 2005, IEEE International Conference on Web Services (ICWS'05).

[26]  Tiziana Margaria,et al.  Software engineering and formal methods , 2008, CACM.

[27]  Toni Mancini,et al.  Conditional Constraint Satisfaction: Logical Foundations and Complexity , 2007, IJCAI.

[28]  Bradley N. Miller,et al.  GroupLens: applying collaborative filtering to Usenet news , 1997, CACM.

[29]  Tomi Männistö,et al.  A Case Study of Two Configurable Software Product Families , 2003, PFE.

[30]  Toby Walsh,et al.  Handbook of Constraint Programming , 2006, Handbook of Constraint Programming.

[31]  Alexander Egyed,et al.  Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models , 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

[32]  Marko Bajec,et al.  Practice-driven approach for creating project-specific software development methods , 2007, Inf. Softw. Technol..

[33]  Eugene C. Freuder,et al.  Configuration as Composite Constraint Satisfaction , 1996 .

[34]  John P. McDermott,et al.  RI: an Expert in the Computer Systems Domain , 1980, AAAI.

[35]  Deyi Xue,et al.  Identification of the optimal product configuration and parameters based on individual customer requirements on performance and costs in one-of-a-kind production , 2008 .

[36]  Tony R. Martinez,et al.  Improved Heterogeneous Distance Functions , 1996, J. Artif. Intell. Res..

[37]  Bob J. Wielinga,et al.  Configuration-Design Problem Solving , 1997, IEEE Expert.

[38]  Wil M. P. van der Aalst,et al.  Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques , 2000, Business Process Management.

[39]  Robin D. Burke,et al.  Interactive Critiquing forCatalog Navigation in E-Commerce , 2002, Artificial Intelligence Review.

[40]  Richard H. Y. So,et al.  Consumer Decision Making Process in Mass Customization , 2003 .

[41]  Bernhard Beckert,et al.  Second-Order Principles in Specification Languages for Object-Oriented Programs , 2005, LPAR.

[42]  Raman Ramsin,et al.  Computer-Aided Method Engineering: An Analysis of Existing Environments , 2008, CAiSE.

[43]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[44]  L. Shapley.  A Value for n-person Games , 1988 .

[45]  Wil M. P. van der Aalst,et al.  Formalization and verification of event-driven process chains , 1999, Inf. Softw. Technol..

[46]  Thom W. Frühwirth.  Welcome to Constraint Handling Rules , 2008, Constraint Handling Rules.

[47]  Liliana Ardissono,et al.  A Framework for the Development of Personalized, Distributed Web-Based Configuration Systems , 2003, AI Mag..

[48]  Lars Hvam,et al.  Mass customisation in the electronics industry: based on modular products and product configuration , 2006 .

[49]  Lars Hvam.  Mass customisation of process plants , 2006 .

[50]  Ritu Agarwal,et al.  An evaluation of an innovative information technology - the case of Carrier EXPERT , 1995, J. Strateg. Inf. Syst..

[51]  Shu-Hsuan Chang,et al.  Applying case-based reasoning for product configuration in mass customization environments , 2005, Expert Syst. Appl..

[52]  Brian Fitzgerald,et al.  Software development method tailoring at Motorola , 2003, CACM.

[53]  Emina Torlak,et al.  A constraint solver for software engineering: finding models and cores of large relational specifications , 2009 .

[54]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[55]  Jürgen Münch,et al.  Scoping Software Process Models - Initial Concepts and Experience from Defining Space Standards , 2008, ICSP.

[56]  丁连芬.  术语“configuration——定型”解读 , 2002 .

[57]  A. Zeller.  Isolating cause-effect chains from computer programs , 2002, SIGSOFT '02/FSE-10.

[58]  B. Schwartz.  The Paradox of Choice: Why More Is Less , 2004 .

[59]  Wil M. P. van der Aalst,et al.  A configurable reference modelling language , 2007, Inf. Syst..

[60]  Virginia E. Barker,et al.  Expert systems for configuration at Digital: XCON and beyond , 1989, Commun. ACM.

[61]  Boi Faltings,et al.  Solving Mixed and Conditional Constraint Satisfaction Problems , 2003, Constraints.

[62]  Kasper Edwards,et al.  Product Configuration Systems and Productivity , 2004 .

[63]  Markus Stumptner,et al.  Configuring Large Systems Using Generative Constraint Satisfaction , 1998, IEEE Intell. Syst..

[64]  William P. Birmingham,et al.  Part-selection triptych: A representation, problem properties and problem definition, and problem-solving method , 2000, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[65]  Isaac Meilijson,et al.  Fair Attribution of Functional Contribution in Artificial and Biological Networks , 2004, Neural Computation.

[66]  Kaj Asbjørn Jørgensen,et al.  Multi level configuration of ETO products , 2007 .

[67]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[68]  Ekkart Kindler,et al.  On the semantics of EPCs: Resolving the vicious circle , 2006, Data Knowl. Eng..

[69]  Yue Wang,et al.  Incorporating probabilistic model of customers’ preferences in concurrent engineering , 2008 .

[70]  Sanjay Mittal,et al.  Towards a Generic Model of Configuraton Tasks , 1989, IJCAI.

[71]  Markus Stumptner,et al.  Model-Based Diagnosis of Hardware Designs , 1999, Artif. Intell..

[72]  L. Hvam,et al.  A multi-perspective approach for the design of configuration systems , 2002 .

[73]  I. Simonson,et al.  Determinants of Customers' Responses to Customized Offers: Conceptual Framework and Research Propositions , 2003 .

[74]  Ian P. Gent,et al.  Symmetry in Constraint Programming , 2006, Handbook of Constraint Programming.

[75]  Armin Biere,et al.  Simple Is Better: Efficient Bounded Model Checking for Past LTL , 2005, VMCAI.

[76]  Tomi Männistö,et al.  A metamodelling approach to configuration knowledge representation , 2010 .

[77]  Sang Joon Kim,et al.  A Mathematical Theory of Communication , 2006 .

[78]  Karsten Schierholt,et al.  Process configuration: Combining the principles of product configuration and process planning , 2000, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[79]  Petri T. Helo,et al.  Product configuration analysis with design structure matrix , 2006, Ind. Manag. Data Syst..

[80]  Kees M. van Hee,et al.  Workflow Management: Models, Methods, and Systems , 2002, Cooperative information systems.

[81]  Sergio Segura.  Automated Analysis of Feature Models Using Atomic Sets , 2008, SPLC.

[82]  Klaes Rohde Ladeby,et al.  Applying Product Configuration Systems in Engineering Companies: Motivations and Barriers for Configuration Projects , 2009 .

[83]  David R. Cox.  The analysis of binary data , 1970 .

[84]  Daniel Sabin,et al.  Product Configuration Frameworks - A Survey , 1998, IEEE Intell. Syst..

[85]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[86]  Alexander Felfernig,et al.  Standardized Configuration Knowledge Representations as Technological Foundation for Mass Customization , 2007, IEEE Transactions on Engineering Management.

[87]  Lars Hvam,et al.  A multi-perspective approach for the design of product configuration systems , 2004 .

[88]  Fabrizio Salvador,et al.  Configuring products to address the customization-responsiveness squeeze: A survey of management issues and opportunities , 2004 .

[89]  Gernot Salzer,et al.  Computing product configurations via UML and integer linear programming , 2010 .

[90]  Daniel Mailharro,et al.  A classification and constraint-based framework for configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[91]  Gerhard Friedrich,et al.  Product Configuration Systems: State of the Art, Conceptualization and Extensions , 2004 .

[92]  Brian Falkenhainer,et al.  Dynamic Constraint Satisfaction Problems , 1990, AAAI.

[93]  Lars Hvam,et al.  Reengineering of the quotation process: application of knowledge based systems , 2004, Bus. Process. Manag. J..

[94]  Markus Stumptner,et al.  Configuration knowledge representations for Semantic Web applications , 2003, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[95]  Martin C. Cooper,et al.  Hybrid tractable CSPs which generalize tree structure , 2008, ECAI.

[96]  Rina Dechter,et al.  Experimental Evaluation of Preprocessing Techniques in Constraint Satisfaction Problems , 1989, IJCAI.

[97]  Barry Smyth,et al.  Dynamic Critiquing , 2004, ECCBR.

[98]  Beate List,et al.  A UML 2 Profile for Business Process Modelling , 2005, ER.

[99]  Fabrizio Salvador,et al.  Product configuration and inter-firm co-ordination: an innovative solution from a small manufacturing enterprise , 2002, Comput. Ind..

[100]  Gerhard Friedrich,et al.  Configuration Knowledge Representation Using UML/OCL , 2002, UML.

[101]  Helmut Veith,et al.  Counterexample-guided abstraction refinement for symbolic model checking , 2003, JACM.

[102]  D. E. Goldberg,et al.  Genetic Algorithms in Search, Optimization & Machine Learning , 1989 .

[103]  Mark P. Ginsberg,et al.  Process Tailoring and the the Software Capability Maturity Model , 1995 .

[104]  Markus Stumptner,et al.  Consistency-based diagnosis of configuration knowledge bases , 1999, Artif. Intell..

[105]  Oliver Thomas,et al.  Semantic EPC: Enhancing Process Modeling Using Ontology Languages , 2007, SBPM.

[106]  Juha Tiihonen,et al.  A conceptual model for configurable services , 2005 .

[107]  Dietmar Jannach,et al.  Contextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML , 2000, UML.

[108]  Markus Stumptner,et al.  An Overview of Knowledge-Based Configuration , 1997, AI Commun..

[109]  Jan Mendling,et al.  Empirical Studies in Process Model Verification , 2009, Trans. Petri Nets Other Model. Concurr..

[110]  Fabrizio Salvador,et al.  Supporting product configuration and form postponement by grouping components into kits: the case of MarelliMotori , 2006 .

[111]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[112]  Mark N. Wegman,et al.  Efficiently computing static single assignment form and the control dependence graph , 1991, TOPL.

[113]  Markus Stumptner,et al.  On Solving Complex Rack Configuration Problems using CSP Methods , 2009 .

[114]  James A. Hendler,et al.  HTN planning for Web Service composition using SHOP2 , 2004, J. Web Semant..

[115]  Thom Frühwirth,et al.  Constraint Handling Rules, Current Research Topics , 2008, Constraint Handling Rules.

[116]  Lars Hvam,et al.  Improving the quotation process with product configuration , 2006, Comput. Ind..

[117]  Eytan Ruppin,et al.  Feature Selection via Coalitional Game Theory , 2007, Neural Computation.

[118]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[119]  Frank T. Piller,et al.  Does mass customization pay? An economic approach to evaluate customer integration , 2004 .

[120]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[121]  Markus Stumptner,et al.  Challenges in Software Design in Large Corporations - A Case Study at Siemens AG , 2016, ICEIS.

[122]  Miron Livny,et al.  Transactional client-server cache consistency: alternatives and performance , 1997, TODS.

[123]  Kristian J. Hammond,et al.  The FindMe Approach to Assisted Browsing , 1997, IEEE Expert.

[124]  Steven S. Muchnick,et al.  Advanced Compiler Design and Implementation , 1997 .