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 条
  • [41] A Code Generation Tool for Embedded Automotive Systems Based on Finite State Machines
    Lindlar, Felix
    Zimmermann, Armin
    2008 6TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS, VOLS 1-3, 2008, : 1443 - +
  • [42] Generation of SystemC/TLM code from UML/MARTE sequence diagrams for verification
    Ebeid, Emad
    Quaglia, Davide
    Fummi, Franco
    2012 IEEE 15TH INTERNATIONAL SYMPOSIUM ON DESIGN AND DIAGNOSTICS OF ELECTRONIC CIRCUITS & SYSTEMS (DDECS), 2012, : 187 - 190
  • [43] HDL code generation from UML/MARTE sequence diagrams for verification and synthesis
    Ebeid, Emad
    Fummi, Franco
    Quaglia, Davide
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2015, 19 (03) : 277 - 299
  • [44] Using GenERTiCA to generation code from RT-UML: A case study
    Instituto de Informática, Federal University of Rio Grande do Sul, Porto Alegre, Brazil
    不详
    不详
    IFAC Proc. Vol. (IFAC-PapersOnline), PART 1 (674-679):
  • [45] HDL code generation from UML/MARTE sequence diagrams for verification and synthesis
    Emad Ebeid
    Franco Fummi
    Davide Quaglia
    Design Automation for Embedded Systems, 2015, 19 : 277 - 299
  • [46] GENERATION OF OPTIMAL CODE FOR STACK MACHINES
    BRUNO, JL
    LASSAGNE, T
    JOURNAL OF THE ACM, 1975, 22 (03) : 382 - 396
  • [47] Realization of UML Class and State Machine Models in the C# Code Generation and Execution Framework
    Derezinska, Anna
    Pilitowski, Romuald
    INFORMATICA-JOURNAL OF COMPUTING AND INFORMATICS, 2009, 33 (04): : 431 - 440
  • [48] Metamodel-based transformation from UML state machines to DEVS models
    Gonzalez, Ariel
    Luna, Carlos
    Cuello, Roque
    Perez, Marcela
    Daniele, Marcela
    PROCEEDINGS OF THE 2014 XL LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2014,
  • [49] From UML State Machines to Petri nets: History Attribute Translation Strategies
    Pais, Rui
    Gomes, Luis
    Barros, Joao Paulo
    IECON 2011: 37TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2011, : 3776 - 3781
  • [50] An Infrastructure for UML-Based Code Generation Tools
    Wehrmeister, Marco A.
    Freitas, Edison P.
    Pereira, Carlos E.
    ANALYSIS, ARCHITECTURES AND MODELLING OF EMBEDDED SYSTEMS, 2009, 310 : 32 - +