Knowledge Acquisition for Configuration Systems: UML as a link between AI and Software Engineering

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 automatically be translated into logical sentences. These sentences are exploited by a general inference engine solving the configuration task.

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

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

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

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

[5]  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.

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

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

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

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

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

[11]  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.

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

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

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

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

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