Comparing state machines
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...
Saved in:
| Published in: | International Conference on Software Engineering 2008 Vol. 2008; no. 25 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
17-05-2008
|
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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. |
|---|---|
| Bibliography: | SourceType-Scholarly Journals-2 ObjectType-Feature-2 ObjectType-Conference Paper-1 content type line 23 SourceType-Conference Papers & Proceedings-1 ObjectType-Article-3 |
| ISBN: | 1605580457 9781605580456 |
| ISSN: | 0270-5257 |
| DOI: | 10.1145/1370152.1370154 |