From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
From UML activity diagrams to Stochastic Petri nets: application to software performance engineering
WOSP '04 Proceedings of the 4th international workshop on Software and performance
Aspect-oriented software design with a variant of UML/STD
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Formalising UML state machines for model checking
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Using event-driven lightweight DSC-based agents for MAS modelling
International Journal of Agent-Oriented Software Engineering
Mobile UML statecharts with localities
GC'04 Proceedings of the 2004 IST/FET international conference on Global Computing
Dependability analysis of DES based on MARTE and UML state machines models
Discrete Event Dynamic Systems
Hi-index | 0.00 |
The paper discusses a complete formalisation of UML state machine semantics. This formalisation is given in terms of an operational semantics and it can be used as the basis for code generation, simulation and verification tools for UML Statecharts diagrams. The formalisation is done in two steps. First, the structure of a UML state machine is translated into a term rewriting system. In the second step, the operational semantics of state machines is defined. In addition, some problematic situations that may arise are discussed. Our formalisation is able to deal with all the features of UML state machines and it has been implemented in the vUML tool, a tool for model-checking UML models.