Multi-Level Modelling

PhD Student: Muzaffar Igamberdiev
Supervisors: Prof. Markus Stumptner, Dr. Georg Grossmann

Multi-level modelling is a conceptual modelling approach that supports the representation of concepts across more than two modelling levels, in contrast to the norm for modelling languages such as those in the Unified Modelling Language (UML) family. The primary concern in multi-level modelling is the representation of entities (often referred to as clabjects due to their dual nature) that are at the same time both classes, wrt. a model level below, and objects or instances, wrt. a model level above.

We are developing a multi-level modelling framework and approach which we refer to as Open Multi-Level Modelling (OMLM). The framework is open to be extended/implemented by different implementation languages, for example a logic-based language such as Flora-2 or a traditional object-oriented language such as Java.

The Multi-Level Reasoning Framework (MULLER) extents OMLM to verify the correctness properties of OMLM, in particular, in the context of model transformations. The provided source code (FLORA-MLM_ONLINE.zip) demonstrates a two-level to multi-level model transformation in Flora-2, which uses the classification relationship to distribute model elements into ontological levels and to assign potencies. Additionally, it checks the model for the reflexive subclass relationships.

Publications

  • [PDF] [DOI] M. Igamberdiev, G. Grossmann, M. Selway, and M. Stumptner, “An integrated multi-level modeling approach for industrial-scale data interoperability,” Software & Systems Modeling, vol. online first, pp. 1-26, 2016.
    [Bibtex]
    @ARTICLE{sosym16/IgamberdievGSS,
      author = {Muzaffar Igamberdiev and Georg Grossmann and Matt Selway and Stumptner, Markus},
      title = {An integrated multi-level modeling approach for industrial-scale
      data interoperability},
      journal = {Software \& Systems Modeling},
      year = {2016},
      volume = {online first}, 
      doi = {10.1007/s10270-016-0520-6},
      publisher = {Springer-Verlag},
      pages = {1--26}
    }
  • [DOI] M. Igamberdiev, G. Grossmann, and M. Stumptner, “Simplification and Verification of Software and Data Structure Models in the Engineering Domain,” in 24th Australasian Software Engineering Conference (ASWEC 2015), 2015, pp. 138-147.
    [Bibtex]
    @INPROCEEDINGS{Muzaffar.etal2015,
      author = {Igamberdiev, Muzaffar and Grossmann, Georg and Stumptner, Markus},
      title = {Simplification and Verification of Software and Data Structure Models
      in the Engineering Domain},
      booktitle = {24th Australasian Software Engineering Conference ({ASWEC} 2015)},
      year = {2015},
      pages = {138-147},
      doi = {10.1109/ASWEC.2015.25},
      issn = {1530-0803},
      keywords = {Data models;ISO Standards;Industries;Interoperability;Object oriented
      modeling;Pragmatics;modeling;models;multi-level modeling;simplification;verification}
    }
  • [PDF] M. Igamberdiev, G. Grossmann, and M. Stumptner, “Verification of the CD2RDBMS Transformation Case in Flora-2: VOLT 2015 Case Study Technical Report,” Knowledge and Software Engineering Laboratory, University of South Australia 2015.
    [Bibtex]
    @TECHREPORT{VOLT/FullReport/IgamberdievGS15-v2,
      author = {Muzffar Igamberdiev and Georg Grossmann and Markus Stumptner},
      title = {Verification of the CD2RDBMS Transformation Case in Flora-2: VOLT
      2015 Case Study Technical Report},
      institution = {Knowledge and Software Engineering Laboratory, University of South
      Australia},
      year = {2015}
    }