Informal textual description

Each symbol in the model can be further described with a formated text editor including possible links to external documents and images.

PragmaDev Process V3.4 introduces a mark down editor to write formated text that will extend the description of any symbol. Links to external documents and embedded images can be inserted in the description.

Ease simulation analysis

A new button in the logs view displays the final execution state of selected log without having to save it as an MSC and replay it.

The final state views helps to quickly identify what has not been executed

Enhanced critical path

Message flows are now included in the critical path for easier analysis.

A statistical critical path occurence probability is displayed.

The displayed color is related to the occurence probability.