|Home Latest Advanced Search By Year By Division|
|Not Logged in. Login|
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.
Repository Staff Only: item control page