A compositional semantics of UML-RSDS

被引:6
作者
Lano, K. [1 ]
机构
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
关键词
UML semantics; UML-RSDS; Model transformations;
D O I
10.1007/s10270-007-0064-x
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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.
引用
收藏
页码:85 / 116
页数:32
相关论文
empty
未找到相关数据