Supporting the UML State Machine Diagrams at Runtime

Authors:
Franck Barbier
Affiliations:
PauWare Research Group - Netfective Technology, , Pau CEDEX, France 64013
Venue:
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Year:
2008

Citing 8
Cited 1

Statecharts: A visual formalism for complex systems

Science of Computer Programming
Designing object systems: object-oriented modelling with Syntropy

Designing object systems: object-oriented modelling with Syntropy
The STATEMATE semantics of statecharts

ACM Transactions on Software Engineering and Methodology (TOSEM)
Executable UML: A Foundation for Model-Driven Architectures

Executable UML: A Foundation for Model-Driven Architectures
Executable Object Modeling with Statecharts

Computer
Model-Driven Development Using UML 2.0: Promises and Pitfalls

Computer
Observability and controllability of wireless software components

DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
An enhanced composition model for conversational enterprise javabeans

CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering

A visual programming language for designing interactions embedded in web-based geographic applications

Proceedings of the 2012 ACM international conference on Intelligent User Interfaces

Quantified Score

Hi-index	0.02

Visualization

Abstract

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 Diagramsis first analyzed and next disambiguated. Execution semantics choices are thus proposed and justified accordingly.