Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

A Compositional Semantics of UML-RSDS

Lano, K (2007) A Compositional Semantics of UML-RSDS. Software and Systems Modelling . (In Press)

Full text not available from this repository.


This paper provides a semantics for the UML-RSDS (Reactive System Development Support) subset of UML, using the real-time action logic (RAL) formalism. We show how this semantics can be used to resolve some ambiguities and omissions in UML semantics, and to support reasoning about specifications using the B formal method and tools. We use `semantic profiles' to provide precise semantics for different semantic variation points of UML. We also show how RAL can be used to give a semantics to notations for real-time specification in UML. Unlike other approaches to UML semantics, which concentrate on the class diagram notation, our semantic representation has behaviour as a central element, and can be used to define semantics for use cases, state machines and interactions, in addition to class diagrams.

Item Type:Article
ID Code:320
Deposited By:Dr K Lano
Deposited On:31 Oct 2007 11:44
Last Modified:01 Nov 2007 18:51

Repository Staff Only: item control page