Using change descriptions to maintain consistency across multiple representations

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.