Uml as Domain Specific Language for the Construction of Knowledge-Based Configuration Systems

In many domains, software development has to meet the challenges of developing highly adaptable software very rapidly. In order to accomplish this task, domain specific, formal description languages and knowledge-based systems are employed. From the viewpoint of the industrial software development process, it is important to integrate the construction and maintenance of these systems into standard software engineering processes. In addition, the descriptions should be comprehensible for the domain experts in order to facilitate the review process. For the realization of product configuration systems, we show how these requirements can be met by using a standard design language (UML-Unified Modeling Language) as notation in order to simplify the construction of a logic-based description of the domain knowledge. We show how classical description concepts for expressing configuration knowledge can be introduced into UML and be translated into logical sentences automatically. These sentences are exploited by a general inference engine solving the configuration task.

[1]  Bernhard Rumpe,et al.  Towards a Formalization of the Unified Modeling Language , 1997, ECOOP.

[2]  Lori A. Clarke,et al.  Consistency management for complex applications , 1998, Proceedings of the 20th International Conference on Software Engineering.

[3]  David Garlan,et al.  Acme: an architecture description interchange language , 1997, CASCON.

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

[5]  Kendall Scott,et al.  UML distilled - applying the standard object modeling language , 1997 .

[6]  Michael R. Lowry,et al.  A formal approach to domain-oriented software design environments , 1994, Proceedings KBSE '94. Ninth Knowledge-Based Software Engineering Conference.

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

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

[9]  Reijo Sulonen,et al.  Product Configurations - An Application for Prototype Object Approach , 1994, ECOOP.

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

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

[12]  M. Heinrich,et al.  A resource-based paradigm for the configuring of technical systems from modular components , 1991, [1991] Proceedings. The Seventh IEEE Conference on Artificial Intelligence Application.

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

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

[15]  A. Haselbock,et al.  COCOS/spl minus/a tool for constraint-based, dynamic configuration , 1994, Proceedings of the Tenth Conference on Artificial Intelligence for Applications.

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

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

[18]  Matthias Jarke,et al.  Logic Programming and Databases , 1984, Expert Database Workshop.