Fresco: Flexible and Reliable Evolution System for Components

In this position paper, the focus is on the design time support and the tool DeepCompare. After the functional development of a component, DeepCompare constructs a meta-model from both the old and the new component versions. These models are compared and equivalent data-structures are identified. This information is subsequently used to partially generate state transition functions. Possible benefits include the verification of the correctness of an update using component invariants and the estimation of the complexity of the upgrade in order to flag certain problem scenarios to the developer.