Skip to content

Research at St Andrews

Formal reasoning over class models with TOMM

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Juan Jose Mendoza Santana, Juliana Kuster Filipe Bowles

School/Research organisations

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

Details

Original languageEnglish
Title of host publicationJournal of Object Technology
PublisherAssociation Internationale pour les Technologies Objets
Number of pages20
Volume18
DOIs
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
https://staf2019.win.tue.nl/events/ecmfa19/

Conference

Conference15th European Conference on Modelling Foundations and Applications (ECMFA)
Abbreviated titleECMFA
CountryNetherlands
CityEindhoven
Period15/07/1919/07/19
Internet address

    Research areas

  • Framework, Class diagrams, Requirements, Formalisation, Validation

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Correct composition in the presence of behavioural conflicts and dephasing

    Kuster Filipe Bowles, J. & Caminati, M. B., 15 Oct 2019, In : Science of Computer Programming. 185, p. 1-22 22 p., 102323.

    Research output: Contribution to journalArticle

  2. A framework for automated conflict detection and resolution in medical guidelines

    Bowles, J., Caminati, M. B., Cha, S. & Mendoza, J., 1 Aug 2019, In : Science of Computer Programming. 182, p. 42-63 22 p.

    Research output: Contribution to journalArticle

  3. Our data, our society, our health: a vision for inclusive and transparent health data science in the United Kingdom and beyond

    Ford, E., Boyd, A., K. F. Bowles, J., Havard, A., Aldridge, R., Curcin, V., Greiver, M., Harron, K., Katikireddi, V., Rodgers, S. & Sperrin, M., Jul 2019, In : Learning Health Systems. 3, 3, 12 p., e10191.

    Research output: Contribution to journalArticle

  4. Security and privacy of medical data: challenges for next-generation patient-centric healthcare systems

    Janjic, V., Bowles, J., Belk, M. & Pitsillides, A., 6 Jun 2019, ACM UMAP 2019 Adjunct - Adjunct Publication of the 27th Conference on User Modeling, Adaptation and Personalization. New York: Association for Computing Machinery, Inc, p. 213-214 2 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Computer aided verification of radiotherapy treatment plans

    Kuster Filipe Bowles, J. & Munbodh, R., Jun 2019, Medical Physics. Wiley/American Association of Physicists in Medicine, Vol. 46.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

ID: 258687972

Top