Supporting automatic model inconsistency fixing

@inproceedings{Xiong2009SupportingAM,
  title={Supporting automatic model inconsistency fixing},
  author={Yingfei Xiong and Zhenjiang Hu and Haiyan Zhao and Hui Song and Masato Takeichi and Hong Mei},
  booktitle={ESEC/SIGSOFT FSE},
  year={2009}
}
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. In this paper we… CONTINUE READING

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-10 OF 56 CITATIONS, ESTIMATED 91% COVERAGE

Synchronizing concurrent model updates based on bidirectional transformation

  • Software & Systems Modeling
  • 2010
VIEW 5 EXCERPTS
CITES METHODS, RESULTS & BACKGROUND
HIGHLY INFLUENCED

A Feature-Based Classification of Model Repair Approaches

  • IEEE Transactions on Software Engineering
  • 2017
VIEW 9 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED

From Abstract to Concrete Repairs of Model Inconsistencies: An Automated Approach

  • 2017 24th Asia-Pacific Software Engineering Conference (APSEC)
  • 2017
VIEW 8 EXCERPTS
CITES BACKGROUND & METHODS
HIGHLY INFLUENCED

AutoModel: A Domain-Specific Language for Automatic Modeling of Real-Time Embedded Systems

  • 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)
  • 2018
VIEW 1 EXCERPT
CITES METHODS

Poster: An Automated and Instant Discovery of Concrete Repairs for Model Inconsistencies

  • 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion)
  • 2018

Bidirectional Transformations in the Large

  • 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

FILTER CITATIONS BY YEAR

2009
2018

CITATION STATISTICS

  • 5 Highly Influenced Citations

References

Publications referenced by this paper.
SHOWING 1-3 OF 3 REFERENCES

Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models

  • 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
  • 2008
VIEW 16 EXCERPTS
HIGHLY INFLUENTIAL

Foundations of constraint satisfaction

  • Computation in cognitive science
  • 1993
VIEW 4 EXCERPTS
HIGHLY INFLUENTIAL

Fixing Inconsistencies in UML Design Models

  • 29th International Conference on Software Engineering (ICSE'07)
  • 2007
VIEW 15 EXCERPTS
HIGHLY INFLUENTIAL