Abstract  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.
%0 Journal Article
%1 lano_08_compositional
%A Lano, Kevin
%D 2009
%J Software and Systems Modeling
%K 2009 semantics model\_transformation \_pdf uml
%N 1
%P 85--116
%R http://dx.doi.org/10.1007/s10270-007-0064-x
%T A compositional semantics of UML-RSDS
%U http://dx.doi.org/10.1007/s10270-007-0064-x
%V 8
%X Abstract  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.
@article{lano_08_compositional,
abstract = {Abstract\^{A} \^{A} 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 \^{a}€˜semantic profiles\^{a}€™ 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.},
added-at = {2009-03-10T04:38:56.000+0100},
author = {Lano, Kevin},
biburl = {https://www.bibsonomy.org/bibtex/2047e08c08e93764323de5b300774123e/leonardo},
citeulike-article-id = {1538205},
doi = {http://dx.doi.org/10.1007/s10270-007-0064-x},
interhash = {02e1c62f1870d288ca3ff188004f0fe2},
intrahash = {047e08c08e93764323de5b300774123e},
journal = {Software and Systems Modeling},
keywords = {2009 semantics model\_transformation \_pdf uml},
month = {February},
number = 1,
pages = {85--116},
posted-at = {2007-08-06 15:11:35},
priority = {4},
timestamp = {2009-03-10T04:38:56.000+0100},
title = {A compositional semantics of UML-RSDS},
url = {http://dx.doi.org/10.1007/s10270-007-0064-x},
volume = 8,
year = 2009
}