Formal reasoning over class models using TOMM

By: Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles


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.


Framework; Class diagrams; Requirements; Formalisation; Validation

Cite as:

Juan Jose Mendoza Santana, Juliana Küster Filipe Bowles, “Formal reasoning over class models using TOMM”, Journal of Object Technology, Volume 18, no. 2 (July 2019), pp. 12:1-20, doi:10.5381/jot.2019.18.2.a12.

PDF | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access   |    Contact