anchor.diff:  checking in elements within the model hierarchy.
   
   === WACA Model Compiler Migration
  -WACA represents valuable intellectual property (IP).  It emobodies the
  +WACA represents valuable intellectual property (IP).  It embodies the
   software architecture.  Rules of translation from Shlaer-Mellor platform
   independent models (PIMs) are manifest as a separate concern.  WACA contains
   no application-specific information; it is platform specific.  Multiple
  
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: and transition instances as well as action language activities.
  Likewise, MASL can represent the fullness of the Shlaer-Mellor semantic
  for an application model.  Both languages are derivatives of the same
  methodology (and roughly the same meta-model).  There is a mapping of
  structural elements, and ASL activity semantics are a subset of MASL
  activity semantics.  Therefore, WASL can potentially be converted to MASL.
  
  