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 条

[1] Representing security specifications in UML state machine diagrams
Khan, Muhammad Umair
10TH INTERNATIONAL CONFERENCE ON FUTURE NETWORKS AND COMMUNICATIONS (FNC 2015) / THE 12TH INTERNATIONAL CONFERENCE ON MOBILE SYSTEMS AND PERVASIVE COMPUTING (MOBISPC 2015) AFFILIATED WORKSHOPS, 2015, 56 : 453 - 458
[2] Supporting the Composition of UML Component Diagrams
Ermel, Guilherme
Farias, Kleinner
Goncales, Lucian Jose
Bischoff, Vinicius
PROCEEDINGS OF THE 14TH BRAZILIAN SYMPOSIUM ON INFORMATION SYSTEMS (SBSI2018), 2018, : 441 - +
[3] Supporting collaborative modelling in UML class diagrams
Cortiana Neto, Raul Antonio
Farias, Kleinner
Bischoff, Vinicius
Goncales, Lucian Jose
REVISTA BRASILEIRA DE COMPUTACAO APLICADA, 2019, 11 (03): : 39 - 46
[4] Automatic test case generation from UML State Machine diagrams
Olianas, Dario
PROGRAMMING 2019: PROCEEDINGS OF THE CONFERENCE COMPANION OF THE 3RD INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, 2019,
[5] EXTENDING UML STATE DIAGRAMS WITH BEHAVIORAL PATTERNS
Suciu, Dan Mircea
KEPT 2011: KNOWLEDGE ENGINEERING PRINCIPLES AND TECHNIQUES, 2011, : 355 - 365
[6] 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
[7] 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
[8] UML State Machine as Modeling Language for DEVS Formalism
Gonzalez, Ariel
Luna, Carlos
Abella, Rodrigo
PROCEEDINGS OF THE 2016 XLII LATIN AMERICAN COMPUTING CONFERENCE (CLEI), 2016,
[9] Integration of the association ends within UML state diagrams
Bouabana-Tebibel, Thouraya
Belmesk, Mounira
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2008, 5 (01) : 7 - 15
[10] A new approach to describe DEVS models using both UML State Machine Diagrams and Fuzzy Logic
Garredu, Stephane
Bisgambiglia, P. -A.
Vittori, Evelyne
Santucci, Jean-Francois
22ND EUROPEAN MODELING AND SIMULATION SYMPOSIUM (EMSS 2010), 2010, : 215 - 221

← 1 2 3 4 5 →