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 条
  • [31] On formalizing UML state machines using ASMs
    Börger, E
    Cavarra, A
    Riccobene, E
    INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (05) : 287 - 292
  • [32] Transformation of UML state machines for direct execution
    Schattkowsky, T
    Müller, W
    2005 IEEE Symposium on Visual Language and Human-Centric Computing, Proceedings, 2005, : 117 - 124
  • [33] An Institutional Approach to Communicating UML State Machines
    Rosenberger, Tobias
    Knapp, Alexander
    Roggenbach, Markus
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2022, 2022, 13241 : 205 - 224
  • [34] Refinement Patterns for Hierarchical UML State Machines
    Schoenborn, Jens
    Kyas, Marcel
    FUNDAMENTALS OF SOFTWARE ENGINEERING, 2010, 5961 : 371 - +
  • [35] Formalising UML state machines for model checking
    Lilius, J
    Paltor, IP
    UML'99 - THE UNIFIED MODELING LANGUAGE: BEYOND THE STANDARD, 1999, 1723 : 430 - 445
  • [36] 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
  • [37] 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
  • [38] UML 2.0 state machines:: Complete formal semantics via core state machines
    Fecher, Harald
    Schoenborn, Jens
    FORMAL METHODS: APPLICATIONS AND TECHNOLOGY, 2007, 4346 : 244 - +
  • [39] Conformance Testing Based on UML State Machines Automated Test Case Generation, Execution and Evaluation
    Seifert, Dirk
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2008, 5256 : 45 - 65
  • [40] Verification of UML state diagrams using concurrent state machines
    Miescicki, Jerzy
    Software Engineering Techniques: Design for Quality, 2006, 227 : 261 - 271