![]() | Only 14 pages are availabe for public view |
Abstract Object orientation is becoming more popular in the design and implementation of computer based systems. It is a new way of thinking on how inforrnation should be structured within a computer by viewing problems as models for real life systems. Modeling is a characteristic in object oriented approach that views concepts in an abstract forrn. Thus, the object oriented modeling approach to view the knowledge, may assist in solving some of knowledge engineering problem. This research is to investigate how object orientation can be used as an approach for knowledge engineering. The OMT is a conceptual software development method uses three types of models to express important domain related concepts: object model, dynamic model and functional model. Also, it has a clear distinction between domain concepts and relationships, dynamic behavior and functions. In This thesis, we use OMT as a methodology for KBS development. OMT together with the formal approach reduces the gap between forrnal and informal representation both in theoretical basis and development methodology. The most important and novel contribution of this research is the definition of representation suitable to represent object and dynamic models of OMT. We define two forrnal models one for object model using set theory, and the other for dynamic model using Petri Net |