Abstract
Configuration problems are a thriving application area for declarative knowledge representation that experiences a constant increase in size and complexity of knowledge bases. However, today’s configurators are designed for solving local configuration problems not providing any distributed configuration problem solving functionality. Consequently the challenges for the construction of configuration systems are the integrated support of configuration knowledge base development and maintenance and the integration of methods that enable distributed configuration problem solving. In this paper we show how to employ a standard design language (Unified Modeling Language - UML) for the construction of configuration knowledge bases (component structure and functional architecture) and automatically translate the resulting models into an executable logic representation which can further be exploited for calculating distributed configurations. Functional architectures are shared among cooperating configuration systems serving as basis for the exchange of requirements between those systems. An example for configuring cars shows the whole process from the design of the configuration model to distributed configuration problem solving.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
V.E. Barker, D.E. O’Connor, J.D. Bachant, and E. Soloway. Expert systems for configuration at Digital: XCON and beyond. Communications of the ACM, 32, 3:298–318, 1989.
R.H. Bourdeau and B.H.C. Cheng. A formal Semantics for Object Model Diagrams. IEEE Transactions on Software Engineering, 21,10:799–821, 1995.
B. Chandrasekaran. Functional Representation and Causal Processes. Advances in Computers, 38:73–143, 1994.
B. Chandrasekaran, A. Goel, and Y. Iwasaki. Functional Representation as Design Rationale. IEEE Computer, Special Issue on Concurrent Engineering, pages 48–56, 1993.
B. Chandrasekaran, J. Josephson, and R. Benjamins. What Are Ontologies, and Why Do We Need Them? IEEE Intelligent Systems, 14,1:20–26, 1999.
T.P. Darr and W.P. Birmingham. An Attribute-Space Representation and Algorithm for Concurrent Engineering. AIEDAM, 10,1:21–35, 1996.
B. Faltings, E. Freuder, and G. Friedrich, editors. Workshop on Configuration. AAAI Technical Report WS-99-05, Orlando, Florida, 1999.
A. Felfernig, G. Friedrich, and D. Jannach. UML as domain specific language for the construction of knowledge-based configuration systems. In 11th International Conference on Software Engineering and Knowledge Engineering, pages 337–345, Kaiserslautern, Germany, 1999.
A. Felfernig, G. Friedrich, and D. Jannach. Generating product configuration knowledge bases from precise domain extended UML models. In 12th International Conference on Software Engineering and Knowledge Engineering, Chicago, USA, 2000.
A. Felfernig, D. Jannach, and M. Zanker. Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language. In International Conference on the Theory and Application of Diagrams, Edinburgh, UK, 2000.
G. Fleischanderl, G. Friedrich, A. Haselböck, H. Schreiner, and M. Stumptner. Configuring Large Systems Using Generative Constraint Satisfaction. In E. Freuder B. Faltings, editor, IEEE Intelligent Systems, Special Issue on Configuration, volume 13,4, pages 59–68. 1998.
G. Friedrich and M. Stumptner. Consistency-Based Configuration. In AAAI Workshop on Configuration, Technical Report WS-99-05, pages 35–40, Orlando, Florida, 1999.
M. Lowry, A. Philpot, T. Pressburger, and I. Underwood. A Formal Approach to Domain-Oriented Software Design Environments. In Proceedings 9th Knowledge-Based Software Engineering Conference, pages 48–57, Montery, CA, USA, 1994.
E.W. J ngst M. Heinrich. A resource-based paradigm for the configuring of technical systems from modular components. In Proc. 7th IEEE Conference on AIapplications (CAIA), pages 257–264, Miami, FL, USA, 1991.
D.L. McGuiness and J.R. Wright. Conceptual Modeling for Configuration: A Description Logic-based Approach. AIEDAM, Special Issue: Configuration Design, 12,4:333–344, 1998.
S. Mittal and F. Frayman. Towards a Generic Model of Configuration Tasks. In Proc. of the 11th IJCAI, pages 1395–1401, Detroit, MI, 1989.
E. Motta, A. Stutt, Z. Zdrahal, K. O Hara, and N. Shadbolt. Solving VT in VITAL: a study in model construction and knowledge reuse. International Journal of Human-Computer Studies, 44,3/4:333–371, 1996.
R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W. Swartout. Enabling technology for knowledge sharing. AI Magazine, 12,3:36–36, 1991.
G.R. Olsen, M. Cutkosky, J.M. Tenenbaum, and T.R. Gruber. Collaborative Engineering based on Knowledge Sharing Agreements. In Proceedings of ACME Database Symposium, pages 11–14, Minneapolis, MN, USA, 1994.
H. Peltonen, T. M nnist, T. Soininen, J. Tiihonen, A. Martio, and R. Sulonen. Concepts for Modeling Configurable Products. In Proceedings of European Conference Product Data Technology Days, pages 189–196, Sandhurst, UK, 1998.
J.E. Robbins, N. Medvidovic, D.F. Redmiles, and D.S. Rosenblum. Integrating Architecture Description Languages with a Standard Design Method. In 20th Intl. Conference on Software Engineering, pages 209–218, clKyoto, Japan, 1998.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1998.
J.T. Runkel, A. Balkany, and W.P. Birmingham. Generating non-brittle configuration-design tools. Artificial Intelligence in Design, Kluwer Academic Publisher, pages 183–200, 1994.
T. Soininen, J. Tiihonen, T. M nnist, and R. Sulonen. Towards a General Ontology of Configuration. AIEDAM, Special Issue: Configuration Design, 12,4:357–372, 1998.
M. Stumptner. An overview of knowledge-based configuration. AI Communications, 10(2), June, 1997.
M. Yokoo, E.H. Durfee, T. Ishida, and K. Kuwabara. The distributed constraint satisfaction problem. IEEE Transactions on Knowledge and Data Engineering, 10,5:673–685, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Felfernig, A., Friedrich, G., Jannach, D., Zanker, M. (2000). Integrating Knowledge-Based Configuration Systems by Sharing Functional Architectures. In: Dieng, R., Corby, O. (eds) Knowledge Engineering and Knowledge Management Methods, Models, and Tools. EKAW 2000. Lecture Notes in Computer Science(), vol 1937. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-39967-4_24
Download citation
DOI: https://doi.org/10.1007/3-540-39967-4_24
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41119-2
Online ISBN: 978-3-540-39967-4
eBook Packages: Springer Book Archive