State-machine versus trace modelling of real-time reactive systems

摘要

Both extended state-machines and trace-based models have been promoted as appropriate specification methods for real-time systems. We present the same real-time specification in both styles, in order to clearly compare the two approaches.