The open archive for STFC research publications

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):
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). 1998