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 Sequence Diagrams to State Machines by Graph Transformation
    Gronmo, Roy
    Moller-Pedersen, Birger
    THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, 2010, 6142 : 93 - 107
  • [2] A GRAPH TRANSFORMATION APPROACH FOR MODELING AND VERIFICATION OF UML 2.0 SEQUENCE DIAGRAMS
    Hamrouche, Houda
    Chaoui, Allaoua
    Mazouzi, Smaine
    COMPUTING AND INFORMATICS, 2022, 41 (05) : 1284 - 1309
  • [3] From UML sequence diagrams to labeled generalized stochastic Petri net models using graph transformation
    Bouarioua, Mouna
    Chaoui, Allaoua
    Elmansouri, Raida
    Communications in Computer and Information Science, 2011, 171 CCIS : 318 - 328
  • [4] 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
  • [5] 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
  • [6] The Algorithm of Transformation from UML Sequence Diagrams to the Topological Functioning Model
    Ovchinnikova, Viktoria
    Asnina, Erika
    ENASE 2015 - PROCEEDINGS OF THE 10TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, 2015, : 377 - 384
  • [7] 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
  • [8] Verification of UML state diagrams using concurrent state machines
    Miescicki, Jerzy
    Software Engineering Techniques: Design for Quality, 2006, 227 : 261 - 271
  • [9] Checking consistency in UML diagrams: Classes and state machines
    Rasch, H
    Wehrheim, H
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2003, 2884 : 229 - 243
  • [10] From sequence diagrams UML 2.x to FD-DEVS by model transformation
    Pasqua, Roberto
    Foures, Damien
    Albert, Vincent
    Nketsa, Alexandre
    ESM 2012 - 2012 European Simulation and Modelling Conference: Modelling and Simulation 2012, 2012, : 37 - 43
12345