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
来源
PROCEEDINGS OF THE 2014 2ND INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2014) | 2014年
关键词
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] Code generation for classical-quantum software systems modeled in UML
    Jimenez-Navajas, Luis
    Perez-Castillo, Ricardo
    Piattini, Mario
    SOFTWARE AND SYSTEMS MODELING, 2025, : 795 - 821
  • [22] Modeling and Code Generation of Recursive Algorithms with Extended UML Activity Diagrams
    Schumacher, Frank
    Holzer, Markus
    Greiner, Thomas
    Rosenstiel, Wolfgang
    PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE - RADIOELEKTRONIKA 2011, 2011, : 397 - 400
  • [23] BlueState A Metamodel-based Execution Framework for UML State Machines
    Ortigosa, Alfredo
    Rossi, Carlos
    ICSOFT 2011: PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATABASE TECHNOLOGIES, VOL 2, 2011, : 226 - 231
  • [24] A rule-based Approach to Model Checking of UML State Machines
    Grobelna, Iwona
    Grobelny, Michal
    Stefanowicz, Lukasz
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2016 (ICCMSE-2016), 2016, 1790
  • [25] Rules for automated code generation defined over simplified metamodels of class, sequence and state machine diagrams of UML 2.0
    Muneton, Andres
    Zapata, Carlos M.
    Arango, Fernando
    DYNA-COLOMBIA, 2007, 74 (153): : 267 - 283
  • [26] Integrating UML and ALF: An Approach to Overcome the Code Generation Dilemma in Model-Driven Software Engineering
    Schroepfer, Johannes
    Buchmann, Thomas
    MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, MODELSWARD 2019, 2020, 1161 : 1 - 26
  • [27] A CSP Semantics for UML State Machines Aiming at Hidden Formal Methods Verification
    Ferreira, Diego
    Lima, Lucas
    FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2024, 2025, 15403 : 49 - 67
  • [28] To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines
    Elekes, Marton
    Molnar, Vince
    Micskei, Zoltan
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2024, 50 (08) : 2124 - 2141
  • [29] A systematic review of code generation proposals from state machine specifications
    Dominguez, Eladio
    Perez, Beatriz
    Rubio, Angel L.
    Zapata, Maria A.
    INFORMATION AND SOFTWARE TECHNOLOGY, 2012, 54 (10) : 1045 - 1066
  • [30] A MODEL TRANSFORMATION APPROACH FOR CODE GENERATION FROM STATE MACHINE DIAGRAM
    Bousetta, Brahim
    El Beggar, Omar
    Gadi, Toufiq
    IADIS-INTERNATIONAL JOURNAL ON COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2014, 9 (01): : 1 - 15