Metatem at work: modelling reactive systems using executable temporal logic

In this paper we describe the application of a high-level programming language to the abstract modelling of transport systems. We show how METATEM, a language based upon the execution of temporal logics, can be used to model railway networks. The examples considered are abstractions of real rail systems, and we show how such abstractions can be modelled both by standard, and concurrent, METATEM. During this exercise, we highlight the features of executable temporal logics, and METATEM in particular, which aid the modelling of such dynamic, reactive systems.