Towards the Refinement of Executable Temporal Objects [chapter]

Michael Fisher
1997 IFIP Advances in Information and Communication Technology  
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. While Concurrent METATEM has
more » ... applied in a variety of scenarios, and techniques for the verification of properties of Concurrent METATEM systems have been developed, little work has been carried out on the basis for refining such systems. Here, we introduce simple mechanisms for the refinement both of an object's internal behaviour and interface, and of individual objects into new systems of communicating objects.
doi:10.1007/978-0-387-35261-9_30 fatcat:bf3ndzsb3rdrlgdwn5uop7n6ra