1 Introduction

2 UML State Machines

3 Methodology and Categorization Criteria

4 The Translation Approaches

5 Approaches Providing Operational Semantics for UML State Machines

6 Tool Support

7 Related Surveys

8 Conclusion