Matching and Merging of Statecharts Specifications

@article{Nejati2007MatchingAM,
  title={Matching and Merging of Statecharts Specifications},
  author={Shiva Nejati and Mehrdad Sabetzadeh and Marsha Chechik and Steve M. Easterbrook and Pamela Zave},
  journal={29th International Conference on Software Engineering (ICSE'07)},
  year={2007},
  pages={54-64}
}
Model Management addresses the problem of managing an evolving collection of models, by capturing the relationships between models and providing well-defined operators to manipulate them. In this paper, we describe two such operators for manipulating hierarchical Statecharts: Match, for finding correspondences between models, and Merge, for combining models with respect to known correspondences between them. Our Match operator is heuristic, making use of both static and behavioural properties… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 219 CITATIONS, ESTIMATED 37% COVERAGE

598 Citations

050'09'12'15'18
Citations per Year
Semantic Scholar estimates that this publication has 598 citations based on the available data.

See our FAQ for additional information.

References

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

An introduction to ECharts: The concise user manual

  • G. Bond
  • Technical report, AT&T,
  • 2006
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…