The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/29067
Record Status Checked
Record Id 29067
Title Formalising the UML in Structured Temporal Theories
Abstract In this paper we describe a possible semantics for a large part of the Unified Modelling Notation (UML),using structured theories in a simple temporal logic. This semantic representation is suitable for modular reasoning about UML models. We show how it can be used to clarify certain ambiguous cases of UML semantics, and how to justify enhancement or refinement transformations on UML models.
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 Proc. Second ECOOP Workshop on Precise Behavioral Semantics. ISBN:3-540-65460-7 (ECOOP'98), Brussels, Belgium, 21-22 July 1998, (1998). download.pdf 1998