Conceptual modeling for configuration of mass-customizable products
Artificial Intelligence in EngineeringPublished 1 April 2001
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach
Citations129
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper shows how to employ a standard design language (Unified Modeling Language, UML) for modeling configuration knowledge bases and employs model-based diagnosis techniques for debugging faulty configurationknowledge bases, detecting infeasible requirements, and for reconfiguring old configurations.
Abstract
The development and maintenance of product configuration systems is faced with increasing challenges caused by the growing complexity of the underlying knowledge bases. Effective knowledge acquisition is needed since the product and the corresponding configuration system have to be developed in parallel. In this paper, we show how to employ a standard design language (Unified Modeling Language, UML) for modeling configuration knowledge bases. The two constituent parts of the configuration model are the component model and a set of corresponding functional architectures defining which requirements can be imposed on the product. The conceptual configuration model is automatically translated into an executable logic representation. Using this representation we show how to employ model-based diagnosis techniques for debugging faulty configuration knowledge bases, detecting infeasible requirements, and for reconfiguring old configurations.
Keywords
Computer ScienceEngineeringBusiness, Management and Accounting
Object-oriented modeling and design
4,287 Citations1991James Rumbaugh, Michael Blaha +3 more
This book discusses Object Modeling as a Design Technique, Object Diagram Compiler, and the Future of Object-Oriented Technology.
The Unified Modeling Language reference manual
4,195 Citations1999James Rumbaugh, Ivar Jacobson +1 more
Artificial IntelligenceA theory of diagnosis from first principles
2,897 Citations1987Raymond Reiter
The theory accommodates diagnostic reasoning in a wide variety of practical settings, including digital and analogue circuits, medicine, and database updates, and reveals close connections between diagnostic reasoning and nonmonotonic reasoning.
IEEE Intelligent Systems and their ApplicationsWhat are ontologies, and why do we need them?
1,660 Citations1999B. Chandrasekaran, John R. Josephson +1 more
A conceptual introduction to ontologies and their role in information systems and AI is provided and how ontologies clarify the domain's structure of knowledge and enable knowledge sharing is discussed.
International Joint Conference on Artificial IntelligenceTowards a generic model of configuraton tasks
261 Citations1989Sanjay Mittal, Felix Frayman
A domain-independent model is presented based on two important assumptions: functional architecture and key component per function that limit the complexity of the general configuration task, determine the basic knowledge needed for solving a configurationtask, and enable more efficient problem solving methods.
Artificial intelligence for engineering design analysis and manufacturingTowards a general ontology of configuration
227 Citations1998Timo Soininen, Juha Tiihonen +2 more
The main contributions of this work are in the detailed conceptualization of knowledge on product structures and in extending the resource concept with contexts for limiting the availability and use of resources.
Artificial IntelligenceConsistency-based diagnosis of configuration knowledge bases
208 Citations2003Alexander Felfernig, Gerhard Friedrich +2 more
ComputerFunctional representation as design rationale
200 Citations1993B. Chandrasekaran, Ashok K. Goel +1 more
The functional representation (FR) framework, which captures the causal component of a design rationale (DR), is described, which encodes the designer's account of the causal processes in the device that culminate in achieving its function.
IEEE Intelligent Systems and their ApplicationsConfiguring large systems using generative constraint satisfaction
200 Citations1998G. Fleishanderl, Gerhard Friedrich +3 more
The authors used generative constraint satisfaction as the basis for Lava, an automated configuration they developed for the complex domain of telephone switching systems, using Cocos, their knowledge-based configuration tool.
IEEE Transactions on Software EngineeringA formal semantics for object model diagrams
164 Citations1995R.H. Bourdeau, Betty H. C. Cheng
A formal semantics for the OMT object model notations is presented, where an object model provides the basis for the architecture of an object oriented system, and a method for deriving modular algebraic specifications directly from object model diagrams is described.
International Journal of Software Engineering and Knowledge EngineeringUML AS DOMAIN SPECIFIC LANGUAGE FOR THE CONSTRUCTION OF KNOWLEDGE-BASED CONFIGURATION SYSTEMS
147 Citations2000Alexander Felfernig, Gerhard Friedrich +1 more
It is shown how classical description concepts for expressing configuration knowledge can be introduced into UML and be translated into logical sentences automatically and exploited by a general inference engine solving the configuration task.
Artificial intelligence for engineering design analysis and manufacturingA classification and constraint-based framework for configuration
144 Citations1998DANIEL MAILHARRO
The main contribution of the work is to provide an object-oriented model completely integrated in the CSP schema, with inheritance and classification mechanisms, and with specific arc consistency algorithms.
International Conference on Software EngineeringIntegrating architecture description languages with a standard design method
114 Citations1998Jason E. Robbins, Nenad Medvidović +2 more
A formal approach to domain-oriented software design environments
62 Citations2002Michael Lowry, Andrew Philpot +2 more
This paper describes a formal approach to domain-oriented software design environments, based on declarative domain theories, formal specifications, and deductive program synthesis, which enables space scientists to develop, modify, and reuse specifications an order of magnitude more rapidly than manual program development.
Model-based reconfiguration: toward an integration with diagnosis
48 Citations1991Judith Crow, John Rushby
Reiter's general theory of model-based diagnosis is extended to a theory of reconfiguration, and algorithms for diagnosis can be exploited as algorithms for reconfigurations, thereby promoting an integrated approach to fault detection, identification, and reconfigured systems.
Integrating architecture description languages with a standard design method
43 Citations2002Jason E. Robbins, Nenad Medvidović +2 more
This work presents two examples of extending UML, an emerging standard design notation, for use with two architecture description languages, C2 and Wright, and suggests a practical strategy for bringing architectural modeling into wider use.
Consistency-Based Configuration
37 Citations1999Gerhard Friedrich, Markus Stumptner +1 more
A configuration knowledge based on an analogy to the classic consistency based diagnosis approach is described and how CSP-based configuration representations can be expressed in terms of the consistency-based representation is shown.
IFIP advances in information and communication technologyMeta Information Management
23 Citations1997Stephen Crawley, Scott Davis +3 more
This paper presents a conceptual framework for discussing meta-information, and describes the DSTC’s design for a universal Meta-Information Manager (MIM) with the key properties of heterogeneity, extensibility and openness.
Generating product configuration knowledge bases from precise domain extended UML models
19 Citations2000Alexander Felfernig, Gerhard Friedrich +1 more
This paper shows how UML can be extended using the standardized extension mechanisms to fit the needs of the domain of knowledge-based product configuration and how the built-in expression language OCL can be employed to enhance the expressiveness of the conceptual models.
Framework and Conceptual Model for Reconfiguration
19 Citations1999Tomi Männistö, Timo Soininen +2 more
Lecture notes in computer scienceContextual Diagrams as Structuring Mechanisms for Designing Configuration Knowledge Bases in UML
11 Citations2000Alexander Felfernig, Dietmar Jannach +1 more
This paper introduces the notion of contextual diagrams in order to cope with the intrinsic complexity of configuration knowledge, which leads to a more intuitive way of modeling configuration knowledge.