A validation tool for the UEML approach

  • Jérémy Mahiat

Student thesis: Master typesMaster in Computer science


The current economical environment constrains enterprises to be more flexible and reactive in order to be able to anticipate and adapt to frequent changes they have to face. In order to master these changes, enterprises have to determine, as clearly as possible, their way of working and their environment. A fundamental tool for that purpose is Enterprise Modelling (EM). EM has an extremely large scope that gave rise to many different Enterprise Modelling Languages (EMLs). As enterprises deal with many different incompatible but interrelated models and as they work more and more together, a real need for EMLs interoperation appeared. UEML (Unified Enterprise Modelling Language) sets itself up as a solution to this need. The project aims to create a federator language. It developed a method to analyze EMLs and to capture the knowledge from these analyses in an ontology. Tools are provided in order to facilitate the process. The main goal of our work is to describe the solutions brought by UEML and to provide a new tool that helps to validate the content of the analyses. In order to build this new tool called “UEML Validator”, we formalized the method by establishing 65 constraints that restrict how the ontology can be populated and ensure it to be more consistent. By interpreting the “UEML Validator” results, we make recommendations for another UEML tool in construction.
Date of Award2006
Original languageEnglish
SupervisorPatrick Heymans (Supervisor)


  • Unified Enterprise Modelling language
  • UEML
  • Enterprise Modelling Language
  • interoperation
  • validation
  • tool
  • ontology
  • OWL
  • Prolog
  • meta modelling
  • syntax and semantics of modelling languages

Cite this