Rapid Knowledge Base Development for Product Configuration Systems using the Unified Modeling Language

Knowledge-based product configuration systems play an important role in modern business strategies. These systems support the sales representative or the technical engineer to cope with the complexity of configurable products, the huge number of available variants, and different restrictions on allowed product constellations. Nowadays, typical knowledge-based configuration systems are not well integrated into standard software development processes but use proprietary knowledge representation formalisms which are not understandable for domain experts. In this chapter we show how the Unified Modeling Language (UML) can be applied as domain-oriented notation for the design of configuration knowledge bases. The provided modeling concepts can be used for comprehensible knowledge acquisition and are given precise semantics, such that an automatic translation to executable configuration knowledge bases is feasible. Following a discussion on these modeling concepts we show how their expressiveness can be enhanced by using the Object Constraint Language (OCL) and how the construction of complex configuration models can be supported.

[1]  Nenad Medvidovic,et al.  Integrating architecture description languages with a standard design method , 1998, Proceedings of the 20th International Conference on Software Engineering.

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

[3]  Gerhard Fleischanderl,et al.  Thoughts on Partitioning Large-Scale Configuration Problems , 1996 .

[4]  Markus Stumptner,et al.  An overview of knowledgedbased configuration , 1997 .

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

[6]  Timothy W. Finin,et al.  KQML as an agent communication language , 1994, CIKM '94.

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

[8]  Antoni Diller,et al.  Z - an introduction to formal methods , 1990 .

[9]  Martin Gogolla,et al.  On Formalizing the UML Object Constraint Language OCL , 1998, ER.

[10]  Reijo Sulonen,et al.  Towards a general ontology of configuration , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[11]  Martin K. Purvis,et al.  UML as an Ontology Modelling Language , 1999, Intelligent Information Integration.

[12]  Gerhard Friedrich,et al.  Generating product configuration knowledge bases from precise domain extended UML models , 2000, ICSE 2000.

[13]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[14]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

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

[16]  John McCarthy,et al.  Notes on Formalizing Context , 1993, IJCAI.

[17]  Timothy W. Finin,et al.  Enabling Technology for Knowledge Sharing , 1991, AI Mag..

[18]  Edward Sciore,et al.  A method for automatic rule derivation to support semantic query optimization , 1992, TODS.

[19]  Bob J. Wielinga,et al.  CommonKADS: a comprehensive methodology for KBS development , 1994, IEEE Expert.

[20]  Mayer D. Schwartz,et al.  Contexts: a partitioning concept for hypertext , 1986, CSCW '86.

[21]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[22]  Markus Zanker,et al.  Diagrammatic Acquisition of Functional Knowledge for Product Configuration Systems with the Unified Modeling Language , 2000, Diagrams.

[23]  Ken M. Wallace,et al.  Reminding and Context in Design , 2000, AID.

[24]  Markus Stumptner,et al.  A Generative Constraint Formalism for Configuration Problems , 1993, AI*IA.

[25]  Donald M. Anderson,et al.  Agile product development for mass customization , 1997 .

[26]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[27]  Gerhard Friedrich,et al.  Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems , 1999, Int. J. Softw. Eng. Knowl. Eng..

[28]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993 .

[29]  John Daniels,et al.  Designing object systems: object-oriented modelling with Syntropy , 1995 .

[30]  Grady Booch,et al.  Object-Oriented Analysis and Design with Applications , 1990 .

[31]  Michael Heinrich,et al.  SyDeR—System design for reusability , 1998, Artificial Intelligence for Engineering Design, Analysis and Manufacturing.

[32]  Betty H. C. Cheng,et al.  A Formal Semantics for Object Model Diagrams , 1995, IEEE Trans. Software Eng..

[33]  Reijo Sulonen,et al.  MODELING CONFIGURABLE PRODUCT FAMILIES , 1998 .

[34]  Peter H. Schmitt,et al.  Entwurfsmustergesteuerte Erzeugung von OCL-Constraints , 2000, GI Jahrestagung.

[35]  Tim Berners-Lee,et al.  Weaving The Web: The Original Design And Ultimate Destiny of the World Wide Web , 1999 .

[36]  Balakrishnan Chandrasekaran,et al.  What are ontologies, and why do we need them? , 1999, IEEE Intell. Syst..

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

[38]  Nicolas Spyratos,et al.  Context in information bases , 1998, Proceedings. 3rd IFCIS International Conference on Cooperative Information Systems (Cat. No.98EX122).

[39]  Markus Stumptner,et al.  Consistency-Based Configuration , 1999 .

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

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