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 条
  • [1] From UML Sequence Diagrams to Labeled Generalized Stochastic Petri Net Models Using Graph Transformation
    Bouarioua, Mouna
    Chaoui, Allaoua
    Elmansouri, Raida
    E-TECHNOLOGIES AND NETWORKS FOR DEVELOPMENT, 2011, 171 : 318 - 328
  • [2] From UML Class Diagrams to Aspect-Oriented Class Diagrams Using Graph Transformation
    Aouag, Mouna
    Chaoui, Allaoua
    2013 INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2013, : 458 - 463
  • [3] From UML Communication Diagrams to Aspect-Oriented Communication Diagrams Using Graph Transformation
    Aouag, Mouna
    Chama, Wafa
    Chaoui, Allaoua
    INFORMATION AND SOFTWARE TECHNOLOGIES, 2012, 319 : 199 - 209
  • [4] Automatic Model Transformation from UML Sequence Diagrams to Coloured Petri Nets
    Custodio Soares, Joao Antonio
    Lima, Bruno
    Faria, Joao Pascoal
    PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 668 - 679
  • [5] Translation of UML 2 Activity Diagrams into Finite State Machines for Model Checking
    Raschke, Alexander
    2009 35TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2009, : 149 - 154
  • [6] Model-based test case generation from UML sequence diagrams using extended finite state machines
    Rocha, Mauricio
    Simao, Adenilso
    Sousa, Thiago
    SOFTWARE QUALITY JOURNAL, 2021, 29 (03) : 597 - 627
  • [7] Model-based test case generation from UML sequence diagrams using extended finite state machines
    Mauricio Rocha
    Adenilso Simão
    Thiago Sousa
    Software Quality Journal, 2021, 29 : 597 - 627
  • [8] A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of UML Class and Sequence Diagrams
    Hermann, Frank
    Ehrig, Hartmut
    Taentzer, Gabriele
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 211 (0C) : 261 - 269
  • [9] Test Generation from UML Sequence Diagrams
    Faria, Joao Pascoal
    Paiva, Ana C. R.
    Yang, Zhuanli
    2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 245 - 250
  • [10] A Graph Transformation Approach to Generate Analysable Maude Specifications from UML Interaction Overview Diagrams
    Djaoui, Chafika
    Kerkouche, Elhillali
    Khalfaoui, Khaled
    Chaoui, Allaoua
    2018 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), 2018, : 511 - 517
12345