|
Project Information
|
DescriptionWe 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 |