Comparing state machines

Authors:
Udo Kelter;Maik Schmidt
Affiliations:
University of Siegen, Siegen, Germany;University of Siegen, Siegen, Germany
Venue:
Proceedings of the 2008 international workshop on Comparison and versioning of software models
Year:
2008

Citing 2
Cited 5

Differences between versions of UML diagrams

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Difference computation of large models

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering

Comparison and versioning of scientific workflows

CVSM '09 Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models
The effect of animation, dual view, difference layers, and relative re-layout in hierarchical diagram differencing

Proceedings of Graphics Interface 2011
A rule-based approach to the semantic lifting of model differences in the context of model versioning

ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Adaptability of model comparison tools

Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure

ACM Transactions on Software Engineering and Methodology (TOSEM)

Quantified Score

Hi-index	0.00

Visualization

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.