The AMALTHEA Visualization can be opened via
Via the context menu it is also possible to open multiple visualization views.
On selecting a model element, the view will render a corresponding visualization. If multiple visualizations are available, the first one will be selected by default, unless the user has selected another visualization before.
The visualization view has 3 buttons in the toolbar:
APP4MC comes with a set of default model visualizations to show the options and possibilities the visualization framework provides.
Runnable Data Dependencies
The purpose of this small - but
hopefully useful - visualization is to lay out a graph of the
Runnables
in a software model based on there data dependencies.
This means, two runnables are connected by a directed edge if the first
runnable writes a
Label
that is read by the second one.
Furthermore, some parts of the control flow are expressed by edges. The
tool colors the graph in order to make it easier for the user to follow
individual edges.
For the visualization to work properly, the path to Graphviz DOT has to be set up in the PlantUML preferences. You can access them via Window > Preferences... and then opening the PlantUML tab.
The buttons in the top row are used to configure the visualization.
For performance reasons, the visualization has been limited to models containing at most 200 runnables. This limitation does not apply to the export of the graph in DOT format.
The table below summarizes which elements are visualized. The following elements are considered:
Other activity items (e.g. ProbabilitySwitch) are simply ignored. Using them may lead to incomplete results.
Runnables |
![]() |
Stimuli |
![]() |
Tasks |
![]() |
Data dependencies |
![]() (colored edges) |
Runnable sequence in tasks |
![]() |
Inter-process stimuli, OS events |
![]() |