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 条
  • [41] From state diagrams to sequence diagrams: a requirements acquisition approach
    Wei B.
    Delugach H.S.
    Wang Y.
    International Journal of Computers and Applications, 2019, 41 (02) : 87 - 109
  • [42] A Prolog Based Approach to Consistency Checking of UML Class and Sequence Diagrams
    Khai, Zohaib
    Nadeem, Aamer
    Lee, Gang-soo
    SOFTWARE ENGINEERING, BUSINESS CONTINUITY, AND EDUCATION, 2011, 257 : 85 - +
  • [43] A Model Checking Based Approach for Containment Checking of UML Sequence Diagrams
    Muram, Faiz Ul
    Tran, Huy
    Zdun, Uwe
    2016 23RD ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2016), 2016, : 73 - 80
  • [44] Seamless transformation from use case to sequence diagrams
    Alyami, Abdulrahman
    Pileggi, Salvatore Flavio
    Sohaib, Osama
    Hawryszkiewycz, Igor
    PEERJ COMPUTER SCIENCE, 2023, 9
  • [45] Seamless transformation from use case to sequence diagrams
    Alyami A.
    Pileggi S.F.
    Sohaib O.
    Hawryszkiewycz I.
    PeerJ Computer Science, 2023, 9
  • [46] Enhanced Code Generation from UML Composite State Machines
    Badreddin, Omar
    Lethbridge, Timothy C.
    Forward, Andrew
    Elaasar, Maged
    Aljamaan, Hamoud
    Garzon, Miguel A.
    PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014), 2014, : 235 - 245
  • [47] HDL code generation from UML/MARTE sequence diagrams for verification and synthesis
    Ebeid, Emad
    Fummi, Franco
    Quaglia, Davide
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2015, 19 (03) : 277 - 299
  • [48] HDL code generation from UML/MARTE sequence diagrams for verification and synthesis
    Emad Ebeid
    Franco Fummi
    Davide Quaglia
    Design Automation for Embedded Systems, 2015, 19 : 277 - 299
  • [49] Automatic generation of UML sequence diagrams from user stories in Scrum process
    Elallaoui, Meryem
    Nafil, Khalid
    Touahni, Raja
    2015 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS: THEORIES AND APPLICATIONS (SITA), 2015,
  • [50] Generating operation specifications from UML class diagrams: A model transformation approach
    Albert, Manoli
    Cabot, Jordi
    Gomez, Cristina
    Pelechano, Vicente
    DATA & KNOWLEDGE ENGINEERING, 2011, 70 (04) : 365 - 389