My favorites | Sign in
Project Home Wiki Issues Source
READ-ONLY: This project has been archived. For more information see this post.
Project Information
Members

Description

We proposes an approach to detecting inconsistent updates for QVT-R-based synchronization. First, we identifies two kinds of sc-constraints, i.e. the assignment and the existence constraint, with a simple example. Then, we define a concept of the transformation dependency graph (TDG) to record the dependencies existing in the synchronization. We propose five rules to infer the two kinds of sc-constraints from TDG. After that, we employ the sc-constraints to check the modified model: if the model violates any constraint, the update must be inconsistent. Finally, from the violated constraint, we are able to find the error information quickly.

Experiment Results are listed in Wiki pages

Powered by Google Project Hosting