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
来源
关键词
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] Ordering actions in sequence diagrams of UML
    Cardoso, J
    Sibertin-Blanc, C
    ITI 2001: PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2001, : 3 - 14
  • [42] Analyzing UML Sequence Diagrams with UTP
    Yang, Jing
    FCST 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON FRONTIER OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, : 417 - 423
  • [43] Transformation rules for UML class diagrams
    Gogolla, M
    Richters, M
    UNIFIED MODELING LANGUAGE: UML'98: BEYOND THE NOTATION, 1999, 1618 : 92 - 106
  • [44] Interactive exploration of UML sequence diagrams
    Sharp, Richard
    Rountev, Atanas
    3RD IEEE INTERNATIONAL WORKSHOP ON VISUALIZING SOFTWARE FOR UNDERSTANDING AND ANALYSIS, PROCEEEDINGS, 2005, : 8 - 13
  • [45] Static generation of UML sequence diagrams
    Chris Alvin
    Brian Peterson
    Supratik Mukhopadhyay
    International Journal on Software Tools for Technology Transfer, 2021, 23 : 31 - 53
  • [46] Extending agent UML sequence diagrams
    Huget, MP
    AGENT-ORIENTED SOFTWARE ENGINEERING III, 2002, 2585 : 150 - 161
  • [47] Generating structured implementation schemes from UML sequence diagrams
    Selonen, P
    Systä, T
    Koskimies, K
    TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 317 - 328
  • [48] Proposed notation for exception handling in UML 2 sequence diagrams
    Halvorsen, Oddleif
    Haugen, Oystein
    2006 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2006, : 29 - +
  • [49] Model Generation with LLMs: From Requirements to UML Sequence Diagrams
    Ferrari, Alessio
    Abualhaija, Sallam
    Arora, Chetan
    32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 291 - 300
  • [50] Automatic Network Protocol Synthesis from UML Sequence Diagrams
    Ebeid, E.
    Fummi, F.
    Quaglia, D.
    Stefanni, F.
    2013 14TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR TEST AND VERIFICATION (MTV): COMMON CHALLENGES AND SOLUTIONS, 2013, : 68 - 73