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 条

[31] AN UML ACTIVITIES DIAGRAMS TRANSLATION INTO EVENT B SUPPORTING THE SPECIFICATION AND THE VERIFICATION OF WORKFLOW APPLICATION MODELS From UML Activities Diagrams to Event B
Ben Ayed, Leila Jemni
Hamdi, Najet
Hlaoui, Yousra Bendaly
ICSOFT 2010: PROCEEDINGS OF THE FIFTH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 2, 2010, : 329 - 332
[32] Automated Mapping of UML Activity Diagrams to Formal Specifications for Supporting Containment Checking
Ul Muram, Faiz
Tran, Huy
Zdun, Uwe
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (147): : 93 - 107
[33] UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
Pourali, Parsa
Atlee, Joanne M.
2019 ACM/IEEE 22ND INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2019), 2019, : 779 - 783
[34] A supporting method of the evolution of state diagrams with scenarios
Kadota, T
Ohnishi, A
EIGHTH INTERNATIONAL WORKSHOP ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2005, : 91 - 100
[35] Using UML State Diagrams for Visual Modeling of Business Rules
Kulakowski, Konrad
Nalepa, Grzegorz J.
2008 INTERNATIONAL MULTICONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGY (IMCSIT), VOLS 1 AND 2, 2008, : 173 - 178
[36] Code Generation from UML Activity Diagrams: State of the Art
Lopez Sanchez, Maximo
Rodriguez Flores, Jazmin
Idunate Rosales, Erick L.
CISCI 2007: 6TA CONFERENCIA IBEROAMERICANA EN SISTEMAS, CIBERNETICA E INFORMATICA, MEMORIAS, VOL I, 2007, : 133 - 136
[37] Unifying the Semantics of UML 2 State, Activity and Interaction Diagrams
Kohlmeyer, Jens
Guttmann, Walter
PERSPECTIVES OF SYSTEMS INFORMATICS, 2010, 5947 : 206 - 217
[38] Using UML State Diagrams for Modelling the Performance of Parallel Programs
Ortega Arjona, Jorge
COMPUTACION Y SISTEMAS, 2008, 11 (03): : 199 - 210
[39] Evaluating the layout quality of UML class diagrams using machine learning
Bergstroem, Gustav
Hujainah, Fadhl
Truong, Ho-Quang
Jolak, Rodi
Rukmono, Satrio Adi
Nurwidyantoro, Arif
Chaudron, Michel R. V.
JOURNAL OF SYSTEMS AND SOFTWARE, 2022, 192
[40] Educational Support for Automated Classification of UML Diagrams Using Machine Learning
Nedelcu, Irina-Gabriela
Opranescu, Veronica
Chiriac, Beatrice-Nicoleta
Ionita, Anca Daniela
GENERATIVE INTELLIGENCE AND INTELLIGENT TUTORING SYSTEMS, PT II, ITS 2024, 2024, 14799 : 185 - 192

← 1 2 3 4 5 →