Abstract:
We describe a technique for dealing with partial mappings between different representations,
both formal and informal, of an evolving software system. This technique uses discrete "change
descriptions" to propagate changes between related views. These change descriptions my be
used to autiomatically modify affected views, or to annotate the view to indicate manual
intervention is required to maintain consistency.