anchor.diff:  Through pattern matching, the text editor highlights any of the words
   found in the keyword configuration file.
   
  -Automatic indentation is the first feature to require a parser generated
  -from a Backus-Naur form (BNF or EBNF) grammar of the language.  An Eclipse
  -extension exists to assist with this; this extension has been used in the
  -OAL editor.
  -
  +Automatic indentation can be accomplished using regular expressions on a
  +line by line basis.  The standard text editor is extended to use a class
  +that supplies these rules.  An Eclipse extension exists to assist with this;
  +this extension has been used in the OAL editor.
  +
  +Name validation is the first feature to require a parser generated
  +from a Backus-Naur form (BNF or EBNF) grammar of the language.
   Name validation links the textual action language with the structural
   elements of the language such as classes, associations, events, etc.
   When parsing the activities, the names used in the action language
  
positive.code: |         | interpreted in Verifier    | learning curve         |                |
  |         | large body of examples     | less rich syntax       |                |
  |         | alternate model compilers  |                        |                |
  | MASL    | richest syntax             | conversion required    |                | few users
  |         | strongest typing           | learning curve         |                |
  |         | local (UK) user community  |                        |                |
  |         | proximity to Ada target    |                        |                |
  
negative.code: 
  === File Formats
  Isolate the interface to the model compilation tool chain and document
  file formats noting that example files are supplied by the client.
  
  === Integrity
  Define steps to ensure and validate the integrity of models through
  the conversion process.
  
  ==== Round Trip
  Explore the use of "round trip testing" to automate the import and export
  