USING SIMPLE PUSHLOGIC

David Greaves, Daniel Gordon

2006

Abstract

Pushlogic is a scripting language for a dynamic population of devices (sensors/processors/actuators) and dynamic number of concurrent applications in a reliable or safety-critical system. System stability is assured by idempotency constraints and intrinsic error recovery capabilities arise from the reversible nature of Pushlogic. It is a constrained language amenable to automated reasoning. It defines ‘re-hydration’ for dynamic binding of rules to new device instances and a load-time model checker that runs before a new bundle of rules may join a domain of participation. In a typical application, complex embedded devices are partitioned into passive components known as ‘pebbles’. API reflection is then used to expose the interfaces offered by the pebbles. All proactive and interactive behaviour between pebbles or over the network must then be implemented with Pushlogic and ‘code reflection’, as we call it, exposes this behaviour for automated reasoning.

Paper Citation

in Harvard Style

Greaves D. and Gordon D. (2006). USING SIMPLE PUSHLOGIC . In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 101-108. DOI: 10.5220/0001250401010108

in Bibtex Style

@conference{webist06,
author={David Greaves and Daniel Gordon},
title={USING SIMPLE PUSHLOGIC},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={101-108},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001250401010108},
isbn={978-972-8865-46-7},
}

in EndNote Style

TY - CONF
JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - USING SIMPLE PUSHLOGIC
SN - 978-972-8865-46-7
AU - Greaves D.
AU - Gordon D.
PY - 2006
SP - 101
EP - 108
DO - 10.5220/0001250401010108