Supporting automatic model inconsistency fixing

Yingfei Xiong, Zhenjiang Hu, Haiyan Zhao, Hui Song, Masato Takeichi, Hong Mei

Abstract

Modern development environments often involve models with complex consistency relations. Some of the relations can be automatically established through "fixing procedures". When users update some parts of the model and cause inconsistency, a fixing procedure dynamically propagates the update to other parts to fix the inconsistency. Existing fixing procedures are manually implemented, which requires a lot of efforts and the correctness of a fixing procedure is not guaranteed.

BibTeX

@inproceedings{Xiong-al:FSE09,
  author    = {Yingfei Xiong and
               Zhenjiang Hu and
               Haiyan Zhao and
               Hui Song and
               Masato Takeichi and
               Hong Mei},
  title     = {Supporting automatic model inconsistency fixing},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {315--324},
  publisher = {{ACM}},
  year      = {2009},
}

Supporting automatic model inconsistency fixing

Abstract

Related papers