Page History
...
You can download a standalone version of the UML Maude implementation here: http://trac.rtsys.informatik.uni-kiel.de/trac/kieler/raw-attachment/wiki/Projects/UMLSim/ UML_SM_Maude.zip
...
Overview
This subproject integrates the Papyrus MDT UML State Machine editor into KIELER. It also integrates the Maude System into Eclipse/KIELER and additionally uses KIELER technologies and a special generic Maude state machine backend to offer simulation and model checking based on state machines modeled in Papyrus. The editor, the DataTable and KIEM are used as a GUI and I/O facility for modeling, simulating and model checking.
...