UML activity diagrams are a wide-spread modelling technique to capture behavioral aspects of system models.
Usually, pre- and post-conditions of activities are described in natural language and are not formally integrated with the static domain model.
Hence, early consistency validation of activity models is difficult due to their semi-formal nature.
In the ActiGra approach and tool for visual modeling, we use integrated behavior models that integrate activity diagrams with object rules defining sets of actions in simple activities.
We formalize integrated behavior models using typed, attributed graph transformation. It provides a basis for plausibility checking by static conflict and causality detection between specific object rules, taking into account their occurrence within the control flow.
This analysis leads to favorable as well as critical signs for consistency of the integrated behavior model. Our approach is supported by ActiGra, an Eclipse plug-in for editing, simulating and analyzing integrated behavior models. It visualizes favorable and critical signs for consistency in a convenient way and uses the well-known graph transformation tool AGG for rule application as well as static conflict and causality detection.
To install the latest pre-compiled release please use the update site of Eclipse (Help -> Install New Software) and select the TFS Software Repository under GitHub https://github.com/de-tu-berlin-tfs/Henshin-Editor .
Alternatively, you can read it with git clone firstname.lastname@example.org:de-tu-berlin-tfs/Henshin-Editor.git.
Select the projects AGG Engine, MuVitor and ActiGra to import them into Eclipse.
Now, ActiGra transformation systems can be defined and applied in the Eclipse Runtime Workbench.
This program is free software; you can redistribute it and/or modify
it under the terms of the
GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.