Show simple item record

Files in this item

Thumbnail

Item metadata

dc.contributor.authorMendoza Santana, Juan Jose
dc.contributor.authorKuster Filipe Bowles, Juliana
dc.date.accessioned2019-07-05T08:30:04Z
dc.date.available2019-07-05T08:30:04Z
dc.date.issued2019-07-15
dc.identifier.citationMendoza Santana , J J & Kuster Filipe Bowles , J 2019 , ' Formal reasoning over class models with TOMM ' , Journal of Object Technology , vol. 18 , no. 2 . https://doi.org/10.5381/jot.2019.18.2.a12en
dc.identifier.issn1660-1769
dc.identifier.otherPURE: 268335424
dc.identifier.otherPURE UUID: df0a8c7f-a544-4989-8bb4-b051823ed599
dc.identifier.otherORCID: /0000-0002-5918-9114/work/59698695
dc.identifier.otherWOS: 000473336200013
dc.identifier.otherScopus: 85083399237
dc.identifier.urihttp://hdl.handle.net/10023/18047
dc.description.abstractClass 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.
dc.format.extent20
dc.language.isoeng
dc.relation.ispartofJournal of Object Technologyen
dc.rightsCopyright the Author(s) 2019. Licensed under Attribution 4.0 International (CC BY 4.0).en
dc.subjectFrameworken
dc.subjectClass diagramsen
dc.subjectRequirementsen
dc.subjectFormalisationen
dc.subjectValidationen
dc.subjectQA75 Electronic computers. Computer scienceen
dc.subjectT-NDASen
dc.subject.lccQA75en
dc.titleFormal reasoning over class models with TOMMen
dc.typeJournal articleen
dc.description.versionPublisher PDFen
dc.contributor.institutionUniversity of St Andrews.School of Computer Scienceen
dc.identifier.doihttps://doi.org/10.5381/jot.2019.18.2.a12
dc.description.statusPeer revieweden


This item appears in the following Collection(s)

Show simple item record