Creative Commons Attribution 3.0 Germany license (CC BY 3.0 DE)when quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.4
URL: https://drops.dagstuhl.de/opus/volltexte/2018/9235/
Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
| pdf-format: |
|
|
| artifact-format: |
|
Abstract
This artifact provides the Scala, Haskell, and Purescript implementations of ContextWorkflow, an embedded domain-specific language for interruptible and compensable executions, and demonstrates the maze search example described in the companion paper. The Haskell and Purescript implementations provide the core language constructs including \texttt{checkpoint} for partial aborts and \texttt{sub} for sub-workflows and show that ContextWorkflow can be embedded in eager and lazy languages as described in the companion paper. The Scala implementation does not only provide user-friendly syntax of ContextWorkflow but also gives the maze search example as an interactive GUI application.
BibTeX - Entry
@Article{inoue_et_al:DARTS:2018:9235,
author = {Hiroaki Inoue and Tomoyuki Aotani and Atsushi Igarashi},
title = {{ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)}},
pages = {4:1--4:2},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2018},
volume = {4},
number = {3},
publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
address = {Dagstuhl, Germany},
URL = {http://drops.dagstuhl.de/opus/volltexte/2018/9235},
doi = {10.4230/DARTS.4.3.4},
annote = {Keywords: workflow, asynchronous exception, checkpoint, monad, embedded domain specific language}
}
| Keywords: | workflow, asynchronous exception, checkpoint, monad, embedded domain specific language | |
| Seminar: | DARTS, Volume 4, Issue 3 | |
| Related Scholarly Article: | https://dx.doi.org/10.4230/LIPIcs.ECOOP.2018.2 | |
| Issue date: | 2018 | |
| Date of publication: | 05.07.2018 |
