S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, and P. Zave. (May 2007)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..
K. Bierhoff, and J. Aldrich. OOPSLA '07: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, page 301--320. New York, NY, USA, ACM, (2007)
R. Tiella, A. Villafiorita, and S. Tomasi. PPPJ '07: Proceedings of the 5th international symposium on Principles and practice of programming in Java, page 93--102. New York, NY, USA, ACM Press, (2007)
P. Murthy, P. Anitha, M. Mahesh, and R. Subramanyan. SCESM '06: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, page 75--82. New York, NY, USA, ACM Press, (2006)
S. Prochnow, and R. von Hanxleden. DATE '06: Proceedings of the conference on Design, automation and test in Europe, page 577--578. 3001 Leuven, Belgium, Belgium, European Design and Automation Association, (2006)