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
13
Last month
0
0
checked on May 10, 2024
Google ScholarTM
Check
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.