loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: David Greaves and Daniel Gordon

Affiliation: University of Cambridge, Computer Laboratory, United Kingdom

Keyword(s): Compensation, Model Checking, Code Reflection, Ubiquitous Computing, Control Plane, Application Scripting.

Related Ontology Subjects/Areas/Topics: Distributed and Parallel Applications ; Internet Technology ; Web Information Systems and Technologies

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.205.5.65

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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; ISSN 2184-3252, SciTePress, pages 101-108. DOI: 10.5220/0001250401010108

@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},
issn={2184-3252},
}

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
IS - 2184-3252
AU - Greaves, D.
AU - Gordon, D.
PY - 2006
SP - 101
EP - 108
DO - 10.5220/0001250401010108
PB - SciTePress