A Debugger for SCXML Documents

The development of non-trivial applications as SCXML documents entails the requirement for application authors to verify and retrace their execution semantics and behavior. As of now, there are no tools available to debug SCXML documents as one would debug e.g. a Java or C program. In this paper we outline an approach to map established idioms for debugging onto the interpretation of SCXML documents, enabling document authors to break and step through their interpretation and to inspect the interpreter.