Generating UML Sequence Charts: Difference between revisions

(Created page with "= UML Sequence Charts for Traces ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical...")
 
No edit summary
Line 5: Line 5:




=== Specifying the Actors
=== Specifying the Actors ===


For every B Operation Op that you want to visualise you need to add a definition
For every B Operation Op that you want to visualise you need to add a definition
Line 21: Line 21:
* <pre>->x</pre>
* <pre>->x</pre>
* <pre>->></pre>
* <pre>->></pre>
etc


Optionally you can add these suffixes:
Optionally you can add these suffixes:

Revision as of 08:54, 24 November 2021

= UML Sequence Charts for Traces

ProB has a new experimental feature to generate a UML sequence chart from the current animation trace. It currently only works for classical B models and you need to copy the plantUML.jar file to ProB's lib folder.


Specifying the Actors

For every B Operation Op that you want to visualise you need to add a definition

SEQUENCE_CHART_Op

in your DEFINITIONS. The definition can take arguments, in which case the actual arguments in the trace are passed to the definition. The definition can take fewer arguments (but not more) than the B operation.

The definition should either return

  • a couple (ActorFrom,ActorTo) specifying the name of the actor sending the message (ActorFrom) and the one receiving the message (ActorTo). You can use strings or other values (which will be converted to strings).
  • a triple (ActorFrom,ArrowStyle,ActorTo), where the actors are like above and ArrowStyle is a string representing a valid plantUML arrow.

Currently these arrow styles are supported:

  • -->
  • ->
  • ->x
  • ->>

etc

Optionally you can add these suffixes:

  • ++
    (activate the target)
  • -
    (deactivate source)
  • **
    (create an instance of target)
  • !!
    (destroy an instance of target)