Abstract
In the development of complex products product configuration systems are often used to support the development process. Item Usage Rules (IURs) are conditions for including specific items in products bills of materials based on a high-level product description. Large number of items and significant complexity of IURs make it difficult to maintain and analyze IURs manually. In this paper we present an automated approach for verifying IURs, which guarantees the presence of exactly one item from a predefined set in each product, as well as that an IUR can be reformulated without changing the set of products for which the item was included.
This work was carried out at the Wingquist Laboratory VINN Excellence Centre within the Area of Advance – Production at Chalmers, supported by the Swedish Governmental Agency for Innovation Systems (VINNOVA). The support is gratefully acknowledged.
Chapter PDF
Similar content being viewed by others
Keywords
- Constraint Satisfaction Problem
- Disjunctive Normal Form
- Product Configuration
- Variant Rule
- Inclusion Condition
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Astesana, J.M., Bossu, Y., Cosserat, L., Fargier, H.: Constraint-based Modeling and Exploitation of a Vehicle Range at Renaults: Requirement analysis and complexity study. In: ECAI 2010 Workshop on Configuration, pp. 33–39 (2010)
Astesana, J.-M., Cosserat, L., Fargier, H.: Constraint-based Vehicle Configuration: A Case Study. In: 22nd IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2010, pp. 68–75. IEEE (2010)
Benavides, D., Segura, S., Ruiz-Cortés, A.: Automated analysis of feature models 20 years later: A literature review. Information Systems 35(6), 615–636 (2010)
Haag, A.: Sales configuration in business processes. IEEE Intelligent Systems 13(4), 78–85 (1998)
Janota, M.: SAT Solving in Interactive Configuration (PhD thesis). Ph.D. thesis, University College Dublin (2010)
Junker, U.: Configuration. In: Handbook of Constraint Programming, ch.24, pp. 837–874. Foundations of Artificial Intelligence. Elsevier Science Inc. (2006)
Le Berre, D., Parrain, A.: The Sat4j library, release 2.2 system description. Journal on Satisfiability, Boolean Modeling and Computation 7, 59–64 (2010)
Mackworth, A.K.: Consistency in networks of relations. Artificial Intelligence 8, 99–118 (1977)
Montanari, U.: Networks of constraints: Fundamental properties and applications to picture processing. Information Sciences 7, 95–132 (1974)
Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming: Foundations of Artificial Intelligence. Elsevier (2006)
Sinz, C.: Comparing different logic-based representations of automotive parts lists. In: ECAI 2006 Workshop on Configuration, pp. 41–43 (2006)
Sinz, C., Kaiser, A., Küchlin, W.: Formal methods for the validation of automotive product configuration data. Artificial Intelligence for Engineering Design, Analysis and Manufacturing 17(01), 75–97 (2003)
Tidstam, A., Malmqvist, J.: Information Modelling for Automotive Configuration. In: Proceedings of NordDesign 2010, Göteborg, Sweden (2010)
Tidstam, A., Malmqvist, J.: Authoring and verifying vehicle configuration rules. In: Proc. of 8th Intl. PLM Conference, Eindhoven, The Netherlands (2011)
van Veen, E.A.: Modelling Product Structures by Generic Bills-of-Materials. Elsevier Science Inc., New York (1992)
Voronov, A., Åkesson, K., Ekstedt, F.: Enumeration of valid partial configurations. In: Configuration Workshop at IJCAI 2011, Barcelona, Spain (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 International Federation for Information Processing
About this paper
Cite this paper
Voronov, A., Tidstam, A., Åkesson, K., Malmqvist, J. (2012). Verification of Item Usage Rules in Product Configuration. In: Rivest, L., Bouras, A., Louhichi, B. (eds) Product Lifecycle Management. Towards Knowledge-Rich Enterprises. PLM 2012. IFIP Advances in Information and Communication Technology, vol 388. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35758-9_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-35758-9_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35757-2
Online ISBN: 978-3-642-35758-9
eBook Packages: Computer ScienceComputer Science (R0)