Domain and Task Modeling in MIKE

  • Juergen Angele
  • Dieter Fensel
  • Rudi Studer
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT)


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.


Knowledge Engineering Knowledge Acquisition Domain Modeling Task Modeling Problem-Solving Method MIKE KARL 


  1. 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.Google Scholar
  2. 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).Google Scholar
  3. B.W. Boehm (1988): A Spiral Model of Software Development and Enhancement. In IEEE Computer, May 1988, pp. 61–72.Google Scholar
  4. J.A. Breuker and W. Van de Velde (eds.) (1994). The Common KADS Library for Expertise Modeling. IOS Press, Amsterdam, 1994.Google Scholar
  5. W.J. Clancey (1989): The Knowledge Level Reinterpreted: Modeling How Systems Interact. In: Machine Learning 4, 1989, 285–291.Google Scholar
  6. 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.Google Scholar
  7. 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.Google Scholar
  8. D. Fensel (1995a): The Knowledge Acquisition and Representation Language KARL. Kluwer Academic Publisher, Boston, 1995.CrossRefGoogle Scholar
  9. 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.Google Scholar
  10. D. Fensel (1995c): The Mincer Metaphor: A New View on Problem-Solving Methods for Knowledge-Based Systems? Department SWI, University of Amsterdam, 1995.Google Scholar
  11. 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).Google Scholar
  12. T.R. Gruber (1993): A Translation Approach to Portable Ontology Specifications. In: Knowledge Acquisition 5, 2, 1993, 199–221.Google Scholar
  13. T.R. Gruber (1993): A Translation Approach to Portable Ontology Specifications. In: Knowledge Acquisition 5, 2, 1993, 199–221.Google Scholar
  14. 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.Google Scholar
  15. 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.Google Scholar
  16. 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.Google Scholar
  17. 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.Google Scholar
  18. M. Linster (ed.) (1994): Sisyphus: Models of Problem Solving. In: Int. Journal of Human-Computer Studies 40, 2, special issue, February 1994.Google Scholar
  19. B. Nebel (1995): Artificial Intelligence: A Computational Perspective. To appear in: G. Brewka (ed.): Essentials in Knowledge Representation.Google Scholar
  20. 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.Google Scholar
  21. A. Newell (1982): The Knowledge Level, Artificial Intelligence, vol 18, 1982.CrossRefGoogle Scholar
  22. 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.Google Scholar
  23. 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.Google Scholar
  24. 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.CrossRefGoogle Scholar
  25. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy and W. Lorensen (1991): Object-Oriented Modeling and Design. Prentice Hall, 1991Google Scholar
  26. 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.Google Scholar
  27. G. Schreiber, B. Wielinga, and J. Breuker (eds.) (1993): KADS — A Principled Approach to Knowledge-Based System Development, Academic Press, London, 1993.Google Scholar
  28. 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.Google Scholar
  29. 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.CrossRefGoogle Scholar
  30. G.R. Yost (1992): Configuring Elevator Systems. Technical report, Digital Equipment Co., Marlboro, Massachusetts, 1992.Google Scholar
  31. E. Yourdon (1989): Modern Structured Analysis, Prentice-Hall, Englewood Cliffs, 1989.Google Scholar

Copyright information

© IFIP International Federation for Information Processing 1996

Authors and Affiliations

  • Juergen Angele
    • 1
  • Dieter Fensel
    • 1
  • Rudi Studer
    • 1
  1. 1.Institute AIFBUniversity of KarlsruheKarlsruheGermany

Personalised recommendations