CVSM Bibliography, Entry [ KeS2008CVSM ]

Kelter, Udo; Schmidt, Maik: Comparing State Machines;
p.1-6 in: Proc. 2008 ICSE Workshop on Comparison and Versioning of Software Models, May 17, 2008, Leipzig; ACM; 2008
Library Entries: ACM Digital Library
Deskriptoren: SiDiff, CVSM, CVSM08, PI, model:difference

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.