Abstract
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.
| Original language | English |
|---|---|
| Title of host publication | 32nd Annual ACM Symposium on Applied Computing, SAC 2017 |
| Publisher | Association for Computing Machinery |
| Pages | 51-58 |
| Number of pages | 8 |
| ISBN (Electronic) | 9781450344869 |
| DOIs | |
| Publication status | Published - 3-Apr-2017 |
| Event | 32nd Annual ACM Symposium on Applied Computing, SAC 2017 - Marrakesh, Morocco Duration: 4-Apr-2017 → 6-Apr-2017 |
Publication series
| Name | Proceedings of the ACM Symposium on Applied Computing |
|---|---|
| Volume | Part F128005 |
Conference
| Conference | 32nd Annual ACM Symposium on Applied Computing, SAC 2017 |
|---|---|
| Country/Territory | Morocco |
| City | Marrakesh |
| Period | 04/04/2017 → 06/04/2017 |
Keywords
- Compensation handling
- Concurrency
- Dynamic update
- Expressiveness
- Process calculi
- Semantics of programming languages