ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
Contributors
K Lano
,
J Bicarregui
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
Keywords
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Journal Checker Tool
Google Scholar