Formal reasoning over class models with TOMM

Juan Jose Mendoza Santana; Juliana Kuster Filipe Bowles

doi:10.5381/jot.2019.18.2.a12

Formal reasoning over class models with TOMM

Juan Jose Mendoza Santana, Juliana Kuster Filipe Bowles

School of Computer Science

Research output: Contribution to journal › Article › peer-review

Abstract

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 language	English
Number of pages	20
Journal	Journal of Object Technology
Volume	18
Issue number	2
DOIs	https://doi.org/10.5381/jot.2019.18.2.a12
Publication status	Published - 15 Jul 2019
Event	15th European Conference on Modelling Foundations and Applications (ECMFA) - Eindhoven, Netherlands Duration: 15 Jul 2019 → 19 Jul 2019 Conference number: 15 https://staf2019.win.tue.nl/events/ecmfa19/

Keywords

Framework
Class diagrams
Requirements
Formalisation
Validation

Access to Document

10.5381/jot.2019.18.2.a12Licence: CC BY

Santana-2019-Formal-reasoning-JOT-12
Copyright the Author(s) 2019. Licensed under Attribution 4.0 International (CC BY 4.0).
Final published version, 1.13 MBLicence: CC BY

Cite this

@article{df0a8c7fa54449898bb4b051823ed599,

title = "Formal reasoning over class models with TOMM",

abstract = "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.",

keywords = "Framework, Class diagrams, Requirements, Formalisation, Validation",

author = "{Mendoza Santana}, {Juan Jose} and {Kuster Filipe Bowles}, Juliana",

year = "2019",

month = jul,

day = "15",

doi = "10.5381/jot.2019.18.2.a12",

language = "English",

volume = "18",

journal = "Journal of Object Technology",

issn = "1660-1769",

publisher = "Journal of Object Technology",

number = "2",

note = "15th European Conference on Modelling Foundations and Applications (ECMFA), ECMFA ; Conference date: 15-07-2019 Through 19-07-2019",

url = "https://staf2019.win.tue.nl/events/ecmfa19/",

}

TY - JOUR

T1 - Formal reasoning over class models with TOMM

AU - Mendoza Santana, Juan Jose

AU - Kuster Filipe Bowles, Juliana

N1 - Conference code: 15

PY - 2019/7/15

Y1 - 2019/7/15

N2 - 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.

AB - 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.

KW - Framework

KW - Class diagrams

KW - Requirements

KW - Formalisation

KW - Validation

U2 - 10.5381/jot.2019.18.2.a12

DO - 10.5381/jot.2019.18.2.a12

M3 - Article

SN - 1660-1769

VL - 18

JO - Journal of Object Technology

JF - Journal of Object Technology

IS - 2

T2 - 15th European Conference on Modelling Foundations and Applications (ECMFA)

Y2 - 15 July 2019 through 19 July 2019

ER -

Formal reasoning over class models with TOMM

Abstract

Keywords

Access to Document

Fingerprint

Cite this