The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/33969
Record Status Checked
Record Id 33969
Title Structured Axiomatic Semantics for UML Models
Abstract In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a struc­ tured temporal logic, enables precise analysis of the properties of these models, and the verification of one model against another. We extend pre­ vious work by providing a structured logical interpretation for sequence diagrams, in which object communication is represented using theory morphisms. As an application of the formalisation, we show how the in­ troduction of particular design patterns can be proved to be refinement transformations.
Organisation CCLRC , BITD
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Conference Proceedings 3rd Workshop on Rigorous Object Oriented Methods (ROOM3), York, UK, January 2000. 2000 structuredAxiomaticUML.ps 2000