Configuration Management Through Satisfiability

In a Build-to-Order environment, a configurator relays the taxonomy of customization choices to the customer, then translates these choices into a bill of materials. Configuration Management (aka Variety Management) of the system entails validating proposed changes to the policies that govern both c...

Full description

Saved in:
Bibliographic Details
Published inProcedia CIRP Vol. 44; pp. 204 - 209
Main Authors Pearce, Bryan, Kurz, Mary E., Phelan, Keith, Summers, Joshua, Schulte, Jörg, Dieminger, Wolfgang, Funk, Kilian
Format Journal Article
LanguageEnglish
Published Elsevier B.V 2016
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:In a Build-to-Order environment, a configurator relays the taxonomy of customization choices to the customer, then translates these choices into a bill of materials. Configuration Management (aka Variety Management) of the system entails validating proposed changes to the policies that govern both configurator processes. We present a satisfiability approach to the problem, in which a suite of conflict classes are developed, representing potential configurator failure modes. Satisfiability logic routines test the potential presence of each conflict class if the proposed change is adopted, using an integrated constraint set including both part allocation and customization object relationships.
ISSN:2212-8271
2212-8271
DOI:10.1016/j.procir.2016.02.127