(Softwaretechnik-Trends Band 28, Heft 3, 2008) Weißleder, Stephan; Sokenou, Dehla
In this paper, we discuss how to transform UML state machines with OCL expressions into cause-effect graphs. This transformation is necessary to keep test models consistent and understandable. We substantiate all explanations by an example model, which is part of a model for a freight elevator control