From UML 2 Sequence Diagrams to State Machines by Graph Transformation

被引：12
|
作者：
Gronmo, Roy [1 ]
Moller-Pedersen, Birger [2 ]
机构：
[1] SINTEF Informat & Commun Technol, Oslo, Norway
[2] Univ Oslo, Dept Informat, Oslo, Norway
来源：
JOURNAL OF OBJECT TECHNOLOGY | 2011年 / 10卷
关键词：
Graph transformation; Model transformation; UML; sequence diagram; state machine;
D O I：
10.5381/jot.2011.10.1.a8
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Algebraic graph transformation has been promoted by several authors as a means to specify model transformations. This paper explores how we can specify graph transformation-based rules for a classical problem of transforming from sequence diagrams to state machines. The specification of the transformation rules is based on the concrete syntax of sequence diagrams and state machines. We introduce tailored transformation support for sequence diagrams and a novel graphical operator to match and transform combined fragments.
引用
收藏
页数：22
相关论文
共 50 条
  • [31] Generation of Context-based Usage Scenario Test from UML Sequence Diagrams
    Mhanna, Hussein
    Leserf, Patrick
    Saudrais, Sebastien
    2018 IEEE/ACS 15TH INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2018,
  • [32] Modeling UML sequence diagrams using extended Petri nets
    Yang, Nianhua
    Yu, Huiqun
    Sun, Hua
    Qian, Zhilin
    TELECOMMUNICATION SYSTEMS, 2012, 51 (2-3) : 147 - 158
  • [33] Modeling UML sequence diagrams using extended Petri nets
    Nianhua Yang
    Huiqun Yu
    Hua Sun
    Zhilin Qian
    Telecommunication Systems, 2012, 51 : 147 - 158
  • [34] Automatic Test Sequence Generation and Functional Coverage Measurement From UML Sequence Diagrams
    Ekici, Nazim Umut
    Tuglular, Tugkan
    INTERNATIONAL JOURNAL OF INFORMATION SYSTEM MODELING AND DESIGN, 2023, 14 (01)
  • [35] Modelling of UML sequence diagrams with generalized nets
    Koycheva, EN
    Trifonov, TA
    Aladjov, HT
    2002 FIRST INTERNATIONAL IEEE SYMPOSIUM INTELLIGENT SYSTEMS, VOL III, STUDENT SESSION, PROCEEDINGS, 2002, : 79 - 84
  • [36] Consistency Checking of UML Class and Sequence Diagrams
    Ekanayake, E. M. N. K.
    Kodituwakku, Saluka R.
    2015 8TH INTERNATIONAL CONFERENCE ON UBI-MEDIA COMPUTING (UMEDIA) CONFERENCE PROCEEDINGS, 2015, : 98 - 103
  • [37] A framework for semantics of UML sequence diagrams in PVS
    Aredo, DB
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2002, 8 (07): : 674 - 697
  • [38] Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams
    Satish, Preeti
    Paul, Arinjita
    Rangarajan, Krishnan
    2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 88 - 97
  • [39] A UML/OCL framework for the analysis of graph transformation rules
    Cabot, Jordi
    Clariso, Robert
    Guerra, Esther
    de Lara, Juan
    SOFTWARE AND SYSTEMS MODELING, 2010, 9 (03): : 335 - 357
  • [40] Processing Redundancy in UML Diagrams Based on Knowledge Graph
    Jiang, Yirui
    Duan, Yucong
    Huang, Mengxing
    Chen, Mingrui
    Li, Jingbin
    Zhou, Hui
    PARALLEL ARCHITECTURE, ALGORITHM AND PROGRAMMING, PAAP 2017, 2017, 729 : 418 - 426
12345