Comparing State Machines;
Proc. 2008 ICSE Workshop on Comparison and
Versioning of Software Models, May 17, 2008,
ACM Digital Library
Abstract: State machines and similar state models are heavily
used model types in model-driven development. This paper discusses
how state models can be compared, more precisely how the
difference between two state models should be defined, how it can
be efficiently computed, and how it can be displayed. Some of the
issues result from an inappropriate design of the UML metamodels
and can be solved by switching to a more appropriate metamodel.
Another issue are move operations, which raise the question how to
optimize a difference. We argue in favour of simple heuristics and
the interactive correction of a difference.