Using Simple Push Logic
David Greaves
Programming languages designed to control remote devices or invoke transactions on remote servers are being designed with, so-called, compensation mechanisms to implement failure handling mechanism. Examples are STAC, BEPL4WS and Push Logic.
Push Logic is an experimental scripting language for a dynamic population of devices (sensors/processors/actuators) and dynamic number of concurrent applications in a reliable or safety-critical system. It is a constrained language amenable to automated reasoning, using a model checker, that runs before a new proactive agent may join a domain of participation.
In this talk, I will explain the background motivation and work so-far completed within the CMI Pebbles project.
Joint work with Daniel Gordon. A recent paper is here.
|