The impact of class model redesign on state machines

Abstract

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. © 2012 Springer-Verlag.