Towards the Refinement of Executable Temporal Objects

摘要

Concurrent MetateM is a high-level language in which the behaviour of an individual reactive component is represented by a temporal logic formula and is animated by direct execution. The combination of this executable temporal formalism, together with an operational model providing asynchronous concurrency and broadcast message-passing, presents a powerful and flexible framework in which to develop concurrent object-based, particularly agent-based, applications.