Development of a Method for Consistent Enterprise Modelling in ArchiMate

  • Sefanja Severin

Student thesis: Master's Thesis


ArchiMate is an enterprise modelling language that is designed to support consistency checking. However, it does not provide guidelines on how to create consistent models. By taking inspiration from goal-oriented requirements engineering (GORE) methods such as KAOS and ExtREME, and by thoroughly analysing the semantics of the ArchiMate metamodel, we have formulated the semantic relationships between three ArchiMate viewpoints as consistency rules and guidelines. They clarify the undefined justification of sub-models by goals in KAOS. Based on these consistency rules and guidelines, a method to create consistent multi-view models in ArchiMate has been proposed. This method has been evaluated by modelling an insurance case. The resulting set of views complies with our consistency requirements. The method can be used by ArchiMate practitioners and inspire researchers to further develop formal languages for the automatic validation of ArchiMate models. As an aside, our research shows that the goal refinement relationship is missing in ArchiMate.
Date of Award18 Jul 2022
Original languageEnglish
SupervisorElla Roubtsova (Examiner) & Ben Roelens (Co-assessor)


  • ArchiMate
  • multi-view consistency
  • enterprise modelling
  • goal-oriented requirements engineering (GORE)
  • KAOS
  • ExtREME

Master's Degree

  • Master Business Process management & IT (BPMIT)

Cite this