Abstract
The paper describes the MIKE (Model-based and Incremental Knowledge Engineering) approach for the development of knowledge-based systems (kbs). It integrates semiformal specification techniques, formal specification techniques, and prototyping into a coherent framework. This allows the domain and task model of a kbs to be described on different formalization levels. All activities in the building process are embedded in a cyclic life cycle model. For the semiformal representation we use a hypermedia-based formalism which serves as a communication basis between expert and knowledge engineer during knowledge acquisition. The semiformal knowledge representation is also the basis for formalization, resulting in a formal and executable model of expertise specified in the Knowledge Acquisition and Representation Language (KARL). Since KARL is executable the model of expertise can be developed and validated by prototyping. A smooth transition from a semiformal to a formal specification and further on to design is achieved as all the description techniques rely on the same conceptual model to describe the functional and non-functional aspects of the system. Thus, the system is thoroughly documented at different description levels, each of which focuses on a distinct aspect of the entire development effort. Traceability of requirements is supported by linking the different models to each other. Though the MIKE approach aims at supporting the building process of kbs, its principles and methods apply also to the development of non-knowledge-based software systems, e.g. information systems.
Chapter PDF
Similar content being viewed by others
Keywords
References
J. Angele, D. Fensel, D. Landes, S. Neubert, and R. Studer (1993): Model-Based and Incremental Knowledge Engineering: The MIKE Approach. In J. Cuena (ed.), Knowledge Oriented Software Design, IFIP Transactions A-27, North Holland, Amsterdam, 1993.
J. Angele (1993): Operationalisierung des Modells der Expertise mit KARL (Operationalization of the Model of Expertise with KARL), Ph.D. Theses in Artificial Intelligence, No. 53, infix, St. Augustin, 1993 (in German).
B.W. Boehm (1988): A Spiral Model of Software Development and Enhancement. In IEEE Computer, May 1988, pp. 61–72.
J.A. Breuker and W. Van de Velde (eds.) (1994). The Common KADS Library for Expertise Modeling. IOS Press, Amsterdam, 1994.
W.J. Clancey (1989): The Knowledge Level Reinterpreted: Modeling How Systems Interact. In: Machine Learning 4, 1989, 285–291.
D. Fensel, J. Angele, D. Landes, and R. Studer (1993): Giving Structured Analysis Techniques a Formal and Operational Semantics with KARL. In Proceedings of Requirements Engineering ‘83–Prototyping, Bonn, April 25–27, 1993, Teubner Verlag, Stuttgart, 1993.
D. Fensel, J. Angele, R. Studer (1995): The Knowledge Acquisition and Representation Language KARL. Research report, no 316, Institute AIFB, University of Karlsruhe, Mai 1995.
D. Fensel (1995a): The Knowledge Acquisition and Representation Language KARL. Kluwer Academic Publisher, Boston, 1995.
D. Fensel (1995b): A Case Study on Assumptions and Limitations of a Problem Solving Method. In: Proceedings of the 9th Banff Knowledge Acquisition for Knowledge-Based System Workshop (KAW’95), Banff, Canada, 1995.
D. Fensel (1995c): The Mincer Metaphor: A New View on Problem-Solving Methods for Knowledge-Based Systems? Department SWI, University of Amsterdam, 1995.
W. Fichtner, D. Landes, Th. Spengler, M. Ruch, O. Rentz, and R. Studer (1995): Der MIKE Ansatz zur Modellierung von Expertenwissen im Umweltbereich — dargestellt am Beispiel des Bauschuttrecyclings. In: H. Kremers et al. (eds.): Space and Time in Environmental Information Systems, Proc. 9th Int. Symposium on Computer Science for Environmental Protection, Berlin, September 1995, Metropolis Verlag (in German).
T.R. Gruber (1993): A Translation Approach to Portable Ontology Specifications. In: Knowledge Acquisition 5, 2, 1993, 199–221.
T.R. Gruber (1993): A Translation Approach to Portable Ontology Specifications. In: Knowledge Acquisition 5, 2, 1993, 199–221.
M. Jarke, J. Bubenko, C. Rolland, A. Sutcliffe, and Y. Vassiliou (1993): Theories Underlying Requirements Engineering: An Overview of NATURE at Genesis. In: Proc. IEEE Symposium on Requirements Engineering, San Diego, 1993.
D. W.L. Johnson, M.S. Feather, and D.R. Harris (1992): Representation and Presentation of Requirements Knowledge. In IEEE Trans. of Software Engineering 18, 10 (October 1992), 853–869.
D. Landes (1994): Design KARL–A Language for the Design of Knowledge-Based Systems. In Proceedings of the 6th International Conference on Software Engineering and Knowledge Engineering SEKE’94, Jurmala, Latvia, June 20–23, 1994.
D. Landes and R. Studer (1995): The Treatment of Non-Functional Requirements in MIKE. In: Proc. of the 5th European Software Engineering Conference (ESEC’95), Sitges, 1995, Springer LNCS, Vol. 989, 1995.
M. Linster (ed.) (1994): Sisyphus: Models of Problem Solving. In: Int. Journal of Human-Computer Studies 40, 2, special issue, February 1994.
B. Nebel (1995): Artificial Intelligence: A Computational Perspective. To appear in: G. Brewka (ed.): Essentials in Knowledge Representation.
S. Neubert (1993): Model Construction in MIKE (Model Based and Incremental Knowledge Engineering). In Knowledge Acquisition for Knowledge-Based Systems, Proceedings of the 7th European Workshop EKAW’93, Toulouse, France, September 6–10, Lecture Notes in AI, no 723, Springer-Verlag, Berlin, 1993.
A. Newell (1982): The Knowledge Level, Artificial Intelligence, vol 18, 1982.
A. Oberweis, G. Scherrer, and W. Stucky (1994): INCOME/STAR: Methodology and Tools for the Development of Distributed Information Systems. In: Information Systems 19, 8, 1994, 643–660.
T. Pirlein and R. Studer (1994): KARO: An Integrated Environment for Reusing Ontologies. In: Steels et al. (eds): A Future of Knowledge Acquisition, Proc. 8th European Knowledge Acquisition Workshop (EKAW’94), Hoegaarden, LNCS 867, Springer, 1994.
K. Pohl, G. Starke, and P. Peters (1995): Workshop Summary First Int. Workshop on Requirements Engineering: Foundation of Software Quality (REFSQ’94). In: ACM SIGSOFT 20, 1, pp. 39–45, January 1995.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen (1991): Object-Oriented Modeling and Design. Prentice Hall, 1991
A.G. Sutcliff and N.A.M. Maiden (1994): Domain Modeling for Reuse. In: Proc. 3rd Int. Conf. on Software Reuse, Rio de Janeiro, 1994.
G. Schreiber, B. Wielinga, and J. Breuker (eds.) (1993): KADS — A Principled Approach to Knowledge-Based System Development, Academic Press, London, 1993.
A.Th. Schreiber, B.J. Wielinga, R. de Hoog, H. Akkermans, and W. van de Velde (1994): CommonKADS: A Comprehensive Methodology for KBS Development. In: IEEE Expert, December 1994, 28–37.
M.L.G. Shaw and B.R. Gaines (1992): The Synthesis of Knowledge Engineering and Software Engineering. In: P. Loucopoulos (ed.): Advanced Information Systems Engineering, LNCS 593, 1992, 208–220.
G.R. Yost (1992): Configuring Elevator Systems. Technical report, Digital Equipment Co., Marlboro, Massachusetts, 1992.
E. Yourdon (1989): Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Angele, J., Fensel, D., Studer, R. (1996). Domain and Task Modeling in MIKE. In: Sutcliffe, A., Benyon, D., van Assche, F. (eds) Domain Knowledge for Interactive System Design. IS&O 1996. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35059-2_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-35059-2_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2891-9
Online ISBN: 978-0-387-35059-2
eBook Packages: Springer Book Archive