MoMo(ID:4188/mom002)

modelling language

GMD Bonn Germany 1995


Related languages
MODEL-K => MoMo   Evolution of
OMOS => MoMo   Evolution of
References:
  • Linster, M.; Karbach, W.; Voss, A. and Walther; J. "An Analysis of the Role of Operational Modelling Languages in the Development of Knowledge-Based Systems" view details
          in Proceedings of Expert Systems and their Applications, 11th International Workshop, Conference Tools, Techniques & Methods , May 27-31, Avignon, 1991. view details
  • Voss, A.; Voss, H.; Walther, J. and T. Hemman "Model-Driven Prototyping - Prototyping-Driven Modelling in Knowledge-Based System" view details
          in Züllighoven, H. et al (eds.), Requirements Engineering ´93: Prototyping, German Chapter of the ACM Berichte, no 41, Teubner Verlag, Stuttgart, 1993 view details
  • Voss, H and Voss, A "Reuse-Oriented Knowledge Engineering with MoMo" view details
          in [SEKE] Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering (SEKE´93), San Fransisco Bay, June 14-18, 1993 view details
  • Fensel, Dieter and van Harmelen, Frank "A Comparison of Languages which Operationalise and Formalise KADS Models of Expertise" The Knowledge Engineering Review, 9(2), 1994. view details Abstract: In the field of Knowledge Engineering, dissatisfaction with  the rapid-prototyping approach has led to a number of more principled  methodologies for the construction of knowledgebased systems. Instead of  immediately implementing the gathered and interpreted knowledge in a  given implementation formalism according to the rapid-prototyping  approach, many such methodologies centre around the notion of a  conceptual model: an abstract, implementation independent description of  the relevant problem solving expertise. A conceptual model should  describe the task which is solved by the system and the knowledge which  is required by it. Although such conceptual models have often been  formulated in an informal way, recent years have seen the advent of  formal and operational languages to describe such conceptual models more  precisely, and operationally as a means for model evaluation. In this  paper, we study a number of such formal and operational languages for  specifying conceptual models. In order to enable a meaningful comparison  of such languages, we focus on languages which are all aimed at the same  underlying conceptual model, namely that from the KADS method for  building KBS. We describe eight formal languages for KADS models of  expertise, and compare these languages with respect to their modelling  primitives, their semantics, their implementations and their  applications. Future research issues in the area of formal and  operational specification languages for KBS are identified as the result  of studying these languages. The paper also contains an extensive  bibliography of research in this area.


    External link: Online copy Extract: FORKADS
    FORKADS has been developed at the IBM Germany Scientific Center in Heidelberg. It was one of the first published approaches to formal KADS models.
    Contrary to the languages described so far, FORKADS aims not only at operationalizing KADS models, but also at giving formal foundations to KADS models. Furthermore, the aim is to use this language as a (or perhaps even the only) communication medium between the people responsible for knowledge acquisition and those responsible for system design. For this purpose, the main foundation of FORKADS is a first-order logical language which is extended with notions of concept heterarchies and procedural attachment. In many respects FORKADS is rooted in the LLILOG language Extract: MoMo
    MoMo is a language to operationalize KADS models of expertise. It is developed at the German National Research Center for Computer Science,
    GMD in Bonn and is the successor of OMOS and MODEL-K. MoMo aims to extend the limited expressiveness of OMOS, and to restrict the unlimited computational power of MODEL-K. The degree of elaboration of a model depends on what is considered as essential.
    MoMo aims at allowing models at any desired grainsize. The parts that are unspecified can either be “executed” interactively by the user, e.g. for testing partial models, or they can be attached to available pieces of code reachable from its implementation environment CLOS
    (Common Lisp Object System). Extract: (ML)2
    (ML)2  is a language for formalizing KADS models of expertise. It was developed in the course of the ESPRIT Projects "REFLECT" and "KADS-II" and a bilateral research project of the Netherlands Energy Research Foundation ECN and the University of Amsterdam. Although a subset of (ML)2 can be operationalized to
    allow explorative prototyping it is mainly introduced as a formalization language.
          in [SEKE] Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering (SEKE´93), San Fransisco Bay, June 14-18, 1993 view details
  • Gebhardt, F.; "MoMo: language and case studies" Fabel-Report 36, GMD, Sankt Augustin, July 1995. view details Abstract: This report serves two purposes. Firstly, it documents the syntax and
    semantics of the modelling language MoMo: the complete specification of the task layer; changes against previous definitions to domain and inference layers and to views connecting both; essential components of the strategy layer.
    Secondly, it discusses three detailed case studies to show the applicability of MoMo.
    External link: page at cite-seer
          in [SEKE] Proceedings of the 5th International Conference on Software Engineering and Knowledge Engineering (SEKE´93), San Fransisco Bay, June 14-18, 1993 view details