Animating temporal specifications using METATEM

Discusses METATEM, a developing framework in which a variety of temporal logics can be executed. It provides an execution and model-building process for temporal logic and has been used, not only as a prototyping and modeling tool, but also as a programming language in its own right. Meta-level capabilities are at the heart of the METATEM framework, thus providing a wide range of flexibility in developing, reconfiguring and dynamically modifying the behaviour of systems. Thus, the METATEM approach develops the use of temporal logic as a vehicle for the specification and modeling via direct execution of the logic, of reactive systems