Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams

被引：0
|
作者：
Kohlmeyer, Jens [1 ]
Guttmann, Walter [1 ]
机构：
[1] Univ Ulm, D-89069 Ulm, Germany
来源：
PERSPECTIVES OF SYSTEMS INFORMATICS | 2010年 / 5947卷
关键词：
FORMAL SEMANTICS; MACHINES;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We define a formal semantics of the combined use of UML 2 state machines, activities and interactions using Abstract State Machines. The behaviour of software models can henceforth be specified by composing these diagrams, choosing the most adequate formalism at each level of abstraction. We present several reasonable ways to link different kinds of diagrams and illustrate them by examples. We also give a formal semantics of communication between these diagrams. The resulting rules reveal unclear parts of the UML specification and serve as a basis for tool support.
引用
收藏
页码：206 / 217
页数：12
相关论文
共 50 条
  • [41] A Formal Specification of UML Class and State Diagrams
    Hu, Gongzhu
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
  • [42] Supporting the UML State Machine Diagrams at runtime
    Barbier, Franck
    MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS, 2008, 5095 : 338 - 348
  • [43] EXTENDING UML STATE DIAGRAMS WITH BEHAVIORAL PATTERNS
    Suciu, Dan Mircea
    KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 355 - 365
  • [44] Modelling recursive calls with UML state diagrams
    Tenzer, J
    Stevens, P
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 135 - 149
  • [45] Requirements analysis and UML - Interaction diagrams and state transition diagrams (Reprinted from Developing Web Information Systems, 2003)
    Vidgen, R
    COMPUTING & CONTROL ENGINEERING JOURNAL, 2003, 14 (03): : 7 - 11
  • [46] Using the Structure-Behavior Coalescence Method to Formalize the Action Flow Semantics of UML 2.0 Activity Diagrams
    Haga S.W.
    Ma W.-M.
    Chao W.S.
    Journal of Computing Science and Engineering, 2023, 17 (02) : 60 - 70
  • [47] Towards Formalizing UML Activity Diagrams in CSP
    Xu, Dong
    Philbert, Nduwimfura
    Liu, Zongtian
    Liu, Wei
    ISCSCT 2008: INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE AND COMPUTATIONAL TECHNOLOGY, VOL 2, PROCEEDINGS, 2008, : 450 - 453
  • [48] Tool support for verifying UML activity diagrams
    Eshuis, R
    Wieringa, R
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2004, 30 (07) : 437 - 447
  • [49] Temporal Interval Modeling for UML Activity Diagrams
    Olszewska, Joanna Isabelle
    KEOD: PROCEEDINGS OF THE 8TH INTERNATIONAL JOINT CONFERENCE ON KNOWLEDGE DISCOVERY, KNOWLEDGE ENGINEERING AND KNOWLEDGE MANAGEMENT - VOL. 2, 2016, : 199 - 203
  • [50] Prioritization of Scenarios based on UML Activity Diagrams
    Sapna, P. G.
    Mohanty, Hrushikesha
    2009 1ST INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE, COMMUNICATION SYSTEMS AND NETWORKS(CICSYN 2009), 2009, : 271 - 276
12345