Umple is an open-source software modeling tool and compiler. It incorporates textual
language constructs for UML modeling, including associations and state machines. It …

An event-driven architecture is a useful way to design and implement complex systems. The
UML State Machine and its visualizations are a powerful means to the modeling of the …

Huge benefits are gained when Model Driven Engineering are adopted to develop software
systems. However, it remains a challenge for software modelers to embrace the MDE …

Traits, as sets of behaviors, can provide a good mechanism for reusability. However, they
are limited in important ways and are not present in widely used programming and modeling …

In this paper, we present an approach to formally encode state machines expressed in
Umple for symbolic verification. We illustrate this with a real-world modeling example that …

We describe the synergies gained by enabling variants for product lines, or features, to be
modeled in the same master syntax as design models (class diagrams, state diagrams …

This paper presents our work on the optimization of hierarchical, concurrent state machines
for the purpose of model checking software systems. We propose an encoding strategy that …

Model-driven engineering provides possibly several advantages compared to the direct
implementation of a system. An existing code basis needs to be imported into the modeling …

This paper presents a method to generate a model of the code implementation for UML state
diagrams. First, it promotes the states of a state machine into objects, and then it structures …

We propose an approach to encode state diagrams with and-cross transitions. The notion of
and-cross transitions is being rejected by researchers and practitioners in model-driven …