Enhanced Code Generation from UML Composite State Machines

被引:0
|
作者
Badreddin, Omar [1 ]
Lethbridge, Timothy C. [1 ]
Forward, Andrew [1 ]
Elaasar, Maged [2 ]
Aljamaan, Hamoud [1 ]
Garzon, Miguel A. [1 ]
机构
[1] Univ Ottawa, Sch Elect Engn & Comp Sci, Ottawa, ON, Canada
[2] Carleton Univ, Dept Syst & Comp Engn, Ottawa, ON, Canada
关键词
State Machine; Code Generation; Reverse Engineering; Model Oriented Programming; Model Driven Architecture; Model Driven Development; Umple;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
UML modelling tools provide poor support for composite state machine code generation. Generated code is typically complex and large, especially for composite state machines. Existing approaches either do not handle this case at all or handle it by flattening the composite state machine into a simple one with a combinatorial explosion of states, and excessive generated code. This paper presents a new approach that transforms a composite state machine into an equivalent set of simple state machines before code generation. This avoids the combinatorial explosion and leads to more concise and scalable generated code. We implement our approach in Umple. We report on a case study, comparing our approach to others in terms of code size and scalability.
引用
收藏
页码:235 / 245
页数:11
相关论文
共 50 条
  • [21] Refining mobile UML state machines
    Knapp, A
    Merz, S
    Wirsing, M
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 274 - 288
  • [22] Interactive verification of UML state machines
    Balser, M
    Bäumler, S
    Knapp, A
    Reif, W
    Thums, A
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 434 - 448
  • [23] Automatic Generation of RAMS Analyses from Model-based Functional Descriptions using UML State Machines
    Kaukewitsch, Christof
    Papist, Henrik
    Zeller, Marc
    Rothfelder, Martin
    2020 ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS 2020), 2020,
  • [24] Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino
    Bonfanti, Silvia
    Carissoni, Marco
    Gargantini, Angelo
    Mashkoor, Atif
    NASA FORMAL METHODS (NFM 2017), 2017, 10227 : 295 - 301
  • [25] An MDE Approach for Automatic Code Generation from UML/MARTE to OpenCL
    Rodrigues, A. Wendell O.
    Guyomarc'h, Frederic
    Dekeyser, Jean-Luc
    COMPUTING IN SCIENCE & ENGINEERING, 2013, 15 (01) : 46 - 55
  • [26] Automated Code Generation for DES Controllers Modeled as Finite State Machines
    Possato, Tiago
    Valentini, Joao H.
    Southier, Luiz F. P.
    Teixeira, Marcelo
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2023, 2024, 14414 : 113 - 130
  • [27] Automatic code generation from UML for data memory optimization in microcontrollers
    Posadas, Hector
    Vazquez, Jose Luis
    Villar, Eugenio
    2023 38TH CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS, DCIS, 2023,
  • [28] Test cases generation from UML state diagrams
    Kim, Y.G.
    Hong, H.S.
    Bae, D.H.
    Cha, S.D.
    IEE Proceedings: Software, 1999, 146 (04): : 187 - 192
  • [29] From UML 2 Sequence Diagrams to State Machines by Graph Transformation
    Gronmo, Roy
    Moller-Pedersen, Birger
    JOURNAL OF OBJECT TECHNOLOGY, 2011, 10
  • [30] Design of Reconfigurable Logic Controllers from Hierarchical UML State Machines
    Adamski, Marian
    ICIEA: 2009 4TH IEEE CONFERENCE ON INDUSTRIAL ELECTRONICS AND APPLICATIONS, VOLS 1-6, 2009, : 82 - +