A compositional semantics of UML-RSDS

被引：6
|
作者：
Lano, K. [1 ]
机构：
[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England
来源：
SOFTWARE AND SYSTEMS MODELING | 2009年 / 8卷 / 01期
关键词：
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
相关论文
共 50 条
  • [41] Compositional Semantics and Normative ‘Ought’
    Joanna Klimczyk
    Axiomathes, 2021, 31 : 381 - 399
  • [42] COMPOSITIONAL SEMANTICS AND MORPHOLOGICAL FEATURES
    LANDMAN, F
    MOERDIJK, I
    THEORETICAL LINGUISTICS, 1983, 10 (2-3) : 205 - 225
  • [43] A COMPOSITIONAL SEMANTICS FOR CONCURRENT PROLOG
    KOK, JN
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 294 : 373 - 388
  • [44] Syntactics, Cognition and Compositional Semantics
    Norman, Boris Ju.
    VESTNIK ROSSIISKOGO UNIVERSITETA DRUZHBY NARODOV-SERIYA LINGVISTIKA-RUSSIAN JOURNAL OF LINGUISTICS, 2019, 23 (03): : 714 - 730
  • [45] A COMPOSITIONAL SEMANTICS FOR LOGIC PROGRAMS
    BOSSI, A
    GABBRIELLI, M
    LEVI, G
    MEO, MC
    THEORETICAL COMPUTER SCIENCE, 1994, 122 (1-2) : 3 - 47
  • [46] Enhancing the semantics of UML association redefinition
    Nieto, Pilar
    Costal, Dolors
    Gomez, Cristina
    DATA & KNOWLEDGE ENGINEERING, 2011, 70 (02) : 182 - 207
  • [47] Formalizing the semantics of UML statecharts with Z
    Zhan, XD
    Miao, HK
    Liu, L
    FOURTH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, PROCEEDINGS, 2004, : 1116 - 1121
  • [48] An Executable Semantics of the SystemC UML Profile
    Riccobene, Elvinia
    Scandurra, Patrizia
    ABSTRACT STATE MACHINES, ALLOY, B AND Z, PROCEEDINGS, 2010, 5977 : 75 - +
  • [49] Formal semantics for interacting UML subsystems
    Jürjens, Jan
    IFIP Advances in Information and Communication Technology, 2002, 81 : 29 - 43
  • [50] Specifying with defaults:: Compositional semantics
    Dionísio, FM
    Lipeck, UW
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1998, 1376 : 206 - 222
12345