Abstract:
The issue how to achieve a principled transition from knowledge acquisition to implementation such that a knowledge-based system (kbs) of high quality results is rarely discussed in the knowledge engineering literature. Here, this topic is addressed in the context of the design phase of the MIKE approach to kbs development. In MIKE, design decisions are motivated primarily by non-functional requirements. Due to the iterative nature of the design process, design decisions have to be evaluated early. In MIKE, this can be achieved by experimental prototyping, but also by quantitative measures associated to requirements. Furthermore, in order to improve transparency and traceability, the description of the design includes a record of the design decisions and their motivation in addition to a description of the artefact. DesignKARL is sketched as the formalism for expressing these aspects.
Citations
|
791
|
On the criteria to be used in decomposing systems into modules
– Parnas
- 1972
|
|
639
|
A Spiral Model of Software Development and Enhancement
– Boehm
- 1988
|
|
601
|
Dynamic logic
– Harel
- 1984
|
|
223
|
Representing and using non-functional requirements: A process-oriented approach
– Mylopoulos, Chung, et al.
- 1992
|
|
215
|
Modern Structured Analysis
– Yourdon
- 1989
|
|
157
|
KADS: a Modeling Approach to Knowledge Engineering
– Wielinga, Schreiber, et al.
- 1992
|
|
83
|
The knowledge acquisition and representation language KARL
– Fensel
- 1995
|
|
83
|
Recording the reasons for design decisions
– Potts, Bruns
- 1988
|
|
70
|
Design Maintenance Systems
– Baxter
- 1992
|
|
49
|
A systematic look at prototyping
– Floyd
- 1984
|
|
42
|
Extending the Potts and Bruns Model for Recording Design Rationale
– Lee
- 1991
|
|
34
|
Operationalisierung des Models der Expertise mit
– Angele
- 1993
|
|
30
|
Model-based and Incremental Knowledge Engineering: The MIKE Approach
– Angele, Fensel, et al.
- 1993
|
|
17
|
eds. KADS: A Principled Approach to Knowledge-Based System Development
– Schreiber, Wielinga, et al.
|
|
16
|
Structuring Primitives for a Dictionary of Entity Relationship Data Schemas
– Batini, Battista, et al.
- 1993
|
|
15
|
The Model of Expertise in KARL
– Angele, Fensel, et al.
- 1994
|
|
12
|
The design process in MIKE
– Landes, Studer
- 1994
|
|
10
|
Operationalizing models of expertise
– Schreiber, Wielinga, et al.
- 1993
|
|
9
|
Representation and Utilization of Non-Functional Requirements for Information System Design
– Chung
- 1991
|
|
9
|
Formalizing and Operationalizing a Design Task with KARL
– Landes, Fensel, et al.
- 1993
|
|
8
|
Evaluating Performance and Quality of Knowledge-Based Systems: Foundation and Methodology
– Guida, Mauri
- 1993
|
|
7
|
Extending ER model clustering by relationship clustering
– Jaeschke, Oberweis, et al.
- 1993
|
|
2
|
Preventative software engineering
– Reichardt
- 1993
|
|
1
|
A spiral model for knowledge engineering. Research report 245, Institut f��r Angewandte Informatik und Formale Beschreibungsverfahren
– Angele, Fensel
- 1992
|
|
1
|
Model construction in MIKE. In Knowledge Acquisition for Knowledge-Based Systems
– Neubert
- 1993
|
|
1
|
Development of knowledge-based systems on the basis of an executable specification
– Landes
- 1993
|
|
1
|
The CommonKADS quality viewpoint
– Williams, Tomlinson, et al.
- 1992
|
|
1
|
On problems with the knowledge level hypothesis
– Schreiber, Akkermans, et al.
|
|
1
|
with R.L. Glass: Measuring Software Design Quality
– Card
- 1990
|
|
1
|
Koono: An SDL-based expert system for automatic software design
– Far, Takizawa, et al.
- 1993
|
|
