The Impact of Class Model Redesign on State Machines

This paper examines the effect of class diagram transformation on state machines, a subject which has not been properly investigated. It is demonstrated that structural relations between states can be interpreted as a logical relation between the corresponding formulas and the preservation of the la...

Full description

Saved in:
Bibliographic Details
Published inTheory and Practice of Model Transformations pp. 264 - 279
Main Author Kosiuczenko, Piotr
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg 2012
SeriesLecture Notes in Computer Science
Subjects
design patterns
OCL
redesign
refactoring
State Machines
UML
Online AccessGet full text
ISBN9783642304750
3642304753
ISSN0302-9743
1611-3349
DOI10.1007/978-3-642-30476-7_18

Cover

More Information
Summary:This paper examines the effect of class diagram transformation on state machines, a subject which has not been properly investigated. It is demonstrated that structural relations between states can be interpreted as a logical relation between the corresponding formulas and the preservation of the latter corresponds to the preservation of state machine structure. A sufficient condition, based on the form of the underlying transformation and proofs, is provided which guarantees that class structure transformation preserves the structure of state machines. The goal is to automatically transform state-invariants and to identify those state machines which need to be manually transformed after class model redesign.
ISBN:9783642304750
3642304753
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-642-30476-7_18