Formal reasoning over class models with TOMM

Juan Jose Mendoza Santana, Juliana Kuster Filipe Bowles

Research output: Contribution to journalArticlepeer-review


Class diagrams are widely used in modelling and system design. They capture the relation between the requirements specification (problem domain) and system components (solution domain). However, constant changes to requirements and manual modelling may result in invalid soft- ware models, and potentially invalid software solutions. We propose an automated approach at the meta-model level to reason about the validity of diagrams and/or their associated requirements. This paper introduces the foundations of the formal framework TOMM, and illustrates how it can be used for validation of class diagram based models, and potentially extended for model generation and comparison.
Original languageEnglish
Number of pages20
JournalJournal of Object Technology
Issue number2
Publication statusPublished - 15 Jul 2019
Event15th European Conference on Modelling Foundations and Applications (ECMFA) - Eindhoven, Netherlands
Duration: 15 Jul 201919 Jul 2019
Conference number: 15


  • Framework
  • Class diagrams
  • Requirements
  • Formalisation
  • Validation


Dive into the research topics of 'Formal reasoning over class models with TOMM'. Together they form a unique fingerprint.

Cite this