The Community for Technology Leaders
Software Engineering, International Conference on (2007)
Minneapolis, Minnesota
May 20, 2007 to May 26, 2007
ISSN: 0270-5257
ISBN: 0-7695-2828-7
pp: 54-64
Marsha Chechik , University of Toronto, Canada
Mehrdad Sabetzadeh , University of Toronto, Canada
Steve Easterbrook , University of Toronto, Canada
Pamela Zave , AT&T Laboratories--Research, USA
Shiva Nejati , University of Toronto, Canada
ABSTRACT
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 of the models to improve the accuracy of matching. Our Merge operator preserves the hierarchical structure of the input models, and handles differences in behaviour through parameterization. In this way, we automatically construct merges that preserve the semantics of Statecharts models. We illustrate and evaluate our work by applying our operators to AT&T telecommunication features.
INDEX TERMS
null
CITATION
Marsha Chechik, Mehrdad Sabetzadeh, Steve Easterbrook, Pamela Zave, Shiva Nejati, "Matching and Merging of Statecharts Specifications", Software Engineering, International Conference on, vol. 00, no. , pp. 54-64, 2007, doi:10.1109/ICSE.2007.50
181 ms
(Ver 3.3 (11022016))