Supporting the UML State Machine Diagrams at runtime

被引：0
|
作者：
Barbier, Franck [1 ]
机构：
[1] PauWare Res Grp Netfect Technol, F-64013 Pau, France
来源：
MODEL DRIVEN ARCHITECTURE - FOUNDATIONS AND APPLICATIONS, PROCEEDINGS | 2008年 / 5095卷
关键词：
UML; statecharts; model executability;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Input models that are not completely checked generate ill-formed output models in MDA transformation processes. Model executability is a means for, at development time, simulating/testing models and thus making them compliant with requirements. At runtime, persistent models bring added values like the monitoring and control of applications through the observation of the active states, the guards which hold true, the occurring events... This paper on purpose presents a Java-based execution engine for the UML State Machine Diagrams. In order to incorporate this UML interpreter into MDA tools, the execution semantics of the UML State Machine Diagrams is first analyzed and next disambiguated. Execution semantics choices are thus proposed and justified accordingly.
引用
下载
收藏
页码：338 / 348
页数：11
相关论文
共 50 条
  • [11] Bridging the Gap Between Fault Trees and UML State Machine Diagrams for Safety Analysis
    Kim, HyeonJeong
    Wong, W. Eric
    Debroy, Vidroha
    Bae, DooHwan
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 196 - 205
  • [12] Proposal of a supporting method for diagrams generation with the transformation rules in UML
    Katayama, T
    APSEC 2002: NINTH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE, 2002, : 475 - 484
  • [13] Logic Controller Design System Supporting UML Activity Diagrams
    Grobelny, Michal
    Grobelna, Iwona
    2015 22ND INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS & SYSTEMS (MIXDES), 2015, : 624 - 627
  • [14] UML Diagrams Supporting Domain Specification Inside the CRUTIAL Project
    Cerotti, Davide
    Codetta-Raiteri, Daniele
    Donatelli, Susanna
    Brasca, Claudio
    Dondossola, Giovanna
    Garrone, Fabrizio
    CRITICAL INFORMATION INFRASTRUCTURES SECURITY, 2008, 5141 : 106 - 123
  • [15] Supporting UML sequence diagrams using a processor net model
    Staines, Tony Spiteri
    ECBS 2007: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, Proceedings: RAISING EXPECTATIONS OF COMPUTER-BASES SYSTEMS, 2007, : 279 - 286
  • [16] UML State Machine Diagram Driven Runtime Verification of Java']Java Programs for Message Interaction Consistency
    Li, Xuandong
    Qiu, Xiaokang
    Wang, Linzhang
    Lei, Bin
    Wong, W. Eric
    APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 384 - +
  • [17] Towards formalizing UML state diagrams in CSP
    Ng, MY
    Butler, M
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 138 - 147
  • [18] A Formal Specification of UML Class and State Diagrams
    Hu, Gongzhu
    SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, 149 : 247 - 257
  • [19] EXTENDING UML STATE DIAGRAMS WITH BEHAVIORAL PATTERNS
    Suciu, Dan Mircea
    KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 355 - 365
  • [20] Modelling recursive calls with UML state diagrams
    Tenzer, J
    Stevens, P
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2003, 2621 : 135 - 149
12345