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 条
  • [21] Towards dynamic meta modeling of UML extensions: An extensible semantics for UML sequence diagrams
    Hausmann, JH
    Heckel, R
    Sauer, S
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 80 - 87
  • [22] Assert and negate revisited: Modal semantics for UML sequence diagrams
    Harel, David
    Maoz, Shahar
    SOFTWARE AND SYSTEMS MODELING, 2008, 7 (02): : 237 - 252
  • [23] Safety-liveness semantics for UML 2.0 sequence diagrams
    Grosu, R
    Smolka, SA
    ACSD2005: FIFTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2005, : 6 - 14
  • [24] Assert and negate revisited: Modal semantics for UML sequence diagrams
    David Harel
    Shahar Maoz
    Software & Systems Modeling, 2008, 7 : 237 - 252
  • [25] Specifying behavioral semantics of UML diagrams through graph transformations
    Kong, Jun
    Zhang, Kang
    Dong, Jing
    Xu, Dianxiang
    JOURNAL OF SYSTEMS AND SOFTWARE, 2009, 82 (02) : 292 - 306
  • [26] An ontology-driven unifying metamodel of UML Class Diagrams, EER, and ORM2
    Keet, C. Maria
    Ruben Fillottrani, Pablo
    DATA & KNOWLEDGE ENGINEERING, 2015, 98 : 30 - 53
  • [27] The Formal Semantics of an UML Activity Diagram
    梁义芝
    王延章
    刘云飞
    Journal of Shanghai University, 2004, (03) : 322 - 327
  • [28] Formalizing and Verifying UML Activity Diagrams
    Abbas, Messaoud
    Beggas, Mounir
    Boucherit, Ammar
    NEW TRENDS IN MODEL AND DATA ENGINEERING, 2019, 1085 : 49 - 63
  • [29] Extending UML 2 activity diagrams with business intelligence objects
    Stefanov, V
    List, B
    Korherr, B
    DATA WAREHOUSING AND KNOWLEDGE DISCOVERY, PROCEEDINGS, 2005, 3589 : 53 - 63
  • [30] Aspect Diagrams for UML Activity Models
    Gronmo, Roy
    Moller-Pedersen, Birger
    APPLICATIONS OF GRAPH TRANSFORMATIONS WITH INDUSTRIAL RELEVANCE, 2008, 5088 : 329 - 344
12345