2026-07-22T16:58:16Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:9207 2024-03-06T10:43:37Z ddc:004 open_access

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions Inoue, Hiroaki Aotani, Tomoyuki Igarashi, Atsushi workflow asynchronous exception checkpoint monad embedded domain specific language Context-aware applications, whose behavior reactively depends on the time-varying status of the surrounding environment - such as network connection, battery level, and sensors - are getting more and more pervasive and important. The term "context-awareness" usually suggests prompt reactions to context changes: as the context change signals that the current execution cannot be continued, the application should immediately abort its execution, possibly does some clean-up tasks, and suspend until the context allows it to restart. Interruptions, or asynchronous exceptions, are useful to achieve context-awareness. It is, however, difficult to program with interruptions in a compositional way in most programming languages because their support is too primitive, relying on synchronous exception handling mechanism such as try-catch. We propose a new domain-specific language ContextWorkflow for interruptible programs as a solution to the problem. A basic unit of an interruptible program is a workflow, i.e., a sequence of atomic computations accompanied with compensation actions. The uniqueness of ContextWorkflow is that, during its execution, a workflow keeps watching the context between atomic actions and decides if the computation should be continued, aborted, or suspended. Our contribution of this paper is as follows; (1) the design of a workflow-like language with asynchronous interruption, checkpointing, sub-workflows and suspension; (2) a formal semantics of the core language; (3) a monadic interpreter corresponding to the semantics; and (4) its concrete implementation as an embedded domain-specific language in Scala. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Hiroaki Inoue and Tomoyuki Aotani and Atsushi Igarashi 2018 Is Part Of LIPIcs, Volume 109, 32nd European Conference on Object-Oriented Programming (ECOOP 2018) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2018.2 urn:nbn:de:0030-drops-92074 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2018.2 eng https://creativecommons.org/licenses/by/3.0/legalcode