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 "SymTab". 
  
• 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 distinction] 

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 murphy@cs.ubc.ca for more information or any problems with this page.