RMTool: Command-Line Interface
Compiling the Map

Mapping the Source Model

Forming the Reflexion Model



 Reflexion models may also be computed using a series of command-line tools. Computing a reflexion model using these tools involves three steps:
  1. compiling the mapping file,
  2. pushing the source model values through the map to create an induced high-level model,
  3. comparing the induced high-level model to the original high-level model.

The textual description of the computed reflexion model is output. This description may also be output in dot format for display with AT&T's graphviz package.

Compiling the Map

To compile a mapping file, execute:

java -Dml2map.structFilename=<filename>
       -Dml2map.mapFilename=<filename>
       -Dml2map.compiledMapFilename=<filename>
       jRMTool.map.Ml2map

where:

  • structFilename specifies the structure description file to use,
  • mapFilename specifies the mapping file to use, and
  • compiledMapFilename specifies the file in which to output a compiled version of the map.

Two optional properties are also available:

  • -Dml2map.version which reports version information
  • -Dml2map.debug which turns on debugging information

Mapping the Source Model

To map the source model, execute:

java -Dcompute.compiledMapFilename=<filename>
       -Dcompute.sourceModelFilename=<filename>
       -Dcompute.errorFilename=<filename>
       -Dcompute.infoFilename=<filename>
       -Dcompute.inducedHLMFilename=<filename>
       jRMTool.compute.Compute

where:

  • compiledMapFilename specifies the compiled map to use
  • sourceModelFilename specifies the source model to use
  • errorFilename specifies the name of a file in which to leave information about all unmapped source model entities
  • infoFilename specifies the name of a file in which to leave information about which source model entities mapped to which high-level model entities
  • inducedHLMFilename specifies the name of a file in which to leave the induced high-level model 

Three optional properties are also available:

  • -Dcompute.version reports version information
  • -Dcompute.debug[=level] reports debugging information
  • -Dcompute.noOptimize causes the tool to refrain from optimizing regular expression comparisons

Forming the Reflexion Model

To form a RM, execute:

java -DmakeRM.HLMFilename=<filename>
       -DmakeRM.inducedHLMFilename=<filename>
       -DmakeRM.RMFilename=<filename>
       jRMTool.model.MakeRM

where:

  • HLMFilename specifies the high-level model to use
  • inducedHLMFilename specifies the result of the mapping the source model step
  • RMFilename specifies the name of a file in which to leave a textual description of the computed reflexion model

Four optional properties are also available:

  • -DmakeRM.version reports version information
  • -DmakeRM.debug[=level] reports debugging information
  • -DmakeRM.configFilename=<filename> specifies the name of a file to use to visually configure the reflexion model (dot format)
  • -DmakeRM.RMDotFilename=<filename> specifies the name of a file in which to leave a "dot" version of the computed reflexion model for display.

Last Updated on: March 13, 2001

Contact murphy@cs.ubc.ca for more information or any problems with this page.