%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 }