9th WSEAS International Conference on Applied Informatics and Communications, Moscow, Russia, 20 - 22 August 2009, pp.63-64
This paper defines techniques for the slicing of UML state machine models, to produce smaller or simpler models which have the same behaviour as the original model on selected data. Slicing enables more effective analysis and comprehension than the complete model, and can also be used to factor a model.