Computing Refactorings of Behavior Models

Abstract

Abstract.For given behavior models expressed in statechart-like formalisms, we show how to compute semantically equivalent but structurally different models. These refactorings are defined by user-provided logical predicates that partition the system's state space and that characterize coherent parts-modes or control states-of the behavior.