Please use this identifier to cite or link to this item: https://open.uns.ac.rs/handle/123456789/3285
Title: Efficient compensation handling via subjective updates
Authors: Dedeić, Jovana 
Pantović, Jovanka 
Pérez J.
Issue Date: 3-Apr-2017
Journal: Proceedings of the ACM Symposium on Applied Computing
Abstract: © 2017 Copyright held by the owner/author(s). Programming abstractions for compensation handling and dynamic update are crucial in specifying reliable interacting systems, such as Collective Adaptive Systems (CAS). Compensations and updates both specify how a system reacts in response to exceptional events. Prior work showed that different semantics for compensation handling can be encoded into a calculus of adaptable processes with objective updates, in which a process is reconfigured by its context. This paper goes further by considering subjective updates, in which, intuitively, a process reconfigures itself. A calculus of adaptable processes with subjective update its introduced, and its expressivity is assessed by encoding two semantics for compensation handling. The resulting encodings are more efficient than those using objective updates: they require less computational steps.
URI: https://open.uns.ac.rs/handle/123456789/3285
ISBN: 9781450344869
DOI: 10.1145/3019612.3019625
Appears in Collections:FTN Publikacije/Publications

Show full item record

SCOPUSTM   
Citations

1
checked on May 3, 2024

Page view(s)

24
Last Week
13
Last month
0
checked on May 10, 2024

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.