Several design patterns are defined to make systems more flexible and extensible. The main goal of this work is to show how the representation of these kind of patterns, which we refer to as ...

The Design and Implementation of a Query Platform and Simulation Tool for the Analysis of UML State Machines Through Declarative Modeling Abstract Among the various aspects of the UML, a state machine ...