| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 10329727 | Electronic Notes in Theoretical Computer Science | 2005 | 9 Pages |
Abstract
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.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Yves Vandewoude, Yolande Berbers,