Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams

被引：6
|
作者：
Hausmann, JH [1 ]
Heckel, R [1 ]
Sauer, S [1 ]
机构：
[1] Univ Gesamthsch Paderborn, Dept Math & Comp Sci, D-33095 Paderborn, Germany
来源：
IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS | 2001年
关键词：
UML semantics; extension mechanisms; multimedia; graph transformation; dynamic meta modeling;
D O I：
10.1109/HCC.2001.995242
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The Unified Modeling Language (UML) still lacks a formal and commonly agreed specification of its semantics that also accounts for UML's built-in semantic variation points and extension mechanisms. The semantics specification of such extensions must be formally integrated and consistent with the standard UML semantics without changing the latter Feasible semantics approaches must thus allow advanced UML modelers to define domain-specific language extensions in a precise, yet usable manner We have proposed dynamic meta modeling for specifying operational semantics of UML behavioral diagrams based on UML collaboration diagrams that are interpreted as graph transformation rules. Herein we show how this approach can be advanced to specify the semantics of UML extensions. As a case study we specify the operational semantics of UML sequence diagrams and extend this specification to include features for modeling multimedia applications.
引用
收藏
页码：80 / 87
页数：8
相关论文
共 50 条
  • [1] An Extensible Operational Semantics for UML Activity Diagrams
    Daw, Zamira
    Cleaveland, Rance
    [J]. SOFTWARE ENGINEERING AND FORMAL METHODS, 2015, 9276 : 360 - 368
  • [2] Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML
    Engels, G
    Hausmann, JH
    Heckel, R
    Sauer, S
    [J]. UML 2000 - THE UNIFIED MODELING LANGUAGE, PROCEEDINGS: ADVANCING THE STANDARD, 2000, 1939 : 323 - 337
  • [3] A framework for semantics of UML sequence diagrams in PVS
    Aredo, DB
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697
  • [4] Design and evaluation of extensions to UML sequence diagrams for modeling multithreaded interactions
    Xie, Shaohua
    Kraemer, Eileen
    Stirewalt, R. E. K.
    Dillon, Laura K.
    Fleming, Scott D.
    [J]. INFORMATION VISUALIZATION, 2009, 8 (02) : 120 - 136
  • [5] Branching time semantics for UML 2.0 sequence diagrams
    Hammal, Youcef
    [J]. FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2006, 2006, 4229 : 259 - 274
  • [6] Semantics-based weaving of UML sequence diagrams
    Gronmo, Roy
    Sorensen, Fredrik
    Moller-Pedersen, Birger
    Krogdahl, Stein
    [J]. THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2008, 5063 : 122 - 136
  • [7] Towards the Mechanized Semantics and Refinement of UML Class Diagrams
    Sheng, Feng
    Zhu, Huibiao
    Yang, Zongyuan
    [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 47 - 54
  • [8] Towards the reverse engineering of UML sequence diagrams
    Briand, LC
    Labiche, Y
    Miao, Y
    [J]. 10TH WORKING CONFERENCE ON REVERSE ENGINEERING, PROCEEDINGS, 2003, : 57 - 66
  • [9] Modeling crosscutting services with UML sequence diagrams
    Deubler, M
    Meisinger, M
    Rittmann, S
    Krüger, I
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 522 - 536
  • [10] Assert and negate revisited: Modal semantics for UML sequence diagrams
    Harel, David
    Maoz, Shahar
    [J]. SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 237 - 252
12345