The open archive for STFC research publications

ePubs is undergoing scheduled maintenance on 06/12/2022 between 08:30-09:00 and the service will be unavailable during this time.

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28937
Record Status Checked
Record Id 28937
Title UML Refinement and Abstract Transformations
Abstract Transformations of object-oriented models based on a rigorous underlying semantics represent a means of obtaining the benefits of formal methods without the need for users to reason directly in mathematical formalisms. In this paper we present a set of diagrammatic transformations on UML models which represent refinement or abstraction steps. We show how the correctness of these transformations can be justified in a suitable semantic model of UML.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Paper In Conference Proceedings In 2nd Workshop on Rigorous Object Oriented Methods (ROOM 2), Bradford, W. Yorkshire, UK, 29 May, 1998, (1998). UML.pdf 1998