Compilation and distribution of state-machines using SPots

摘要

In this paper, we will present a recursive structure of UML state-machines; give a brief introduction to synchronous pre-order transition system (Spots), and then formulate a translation from state-machines into Spots. At last, we will concisely compare the models of deploying a synchronous system over asynchronous networks; define the criteria of correct distribution; and present a mechanism to compile and distributed Spots system.