RMTool: Interpeting a Reflexion Model
In the example below, you'll notice three different types of arcs between the nodes.
- The solid lines represent convergences (where the extracted source model was found to agree with the given
high-level model), for example the 29 calls between "Parse" and "AST".
- The dashed lines represent divergences (where the source model has one or more interactions that are not found in
the high-level model), for example the two unanticipated calls between "CodeGen" and
- The dotted lines represent absences (where the high-level model has an arc that isn't found in the source model), for
example there weren't any extracted calls between "CodeGen" and "Object".
[Note, although the dashed and dotted lines look similar, there will always be a zero next to an absence, helping to clear up
The graphical user interface or command line tools may be used to determine
the source model values mapped to specific arcs.
Last updated: July 21, 2000
Contact firstname.lastname@example.org for more
information or any problems with this page.