License: 
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
URN: urn:nbn:de:0030-drops-92356
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2018/9235/
Inoue, Hiroaki ;
Aotani, Tomoyuki ;
Igarashi, Atsushi
ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)
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 |
|
Collection: |
|
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 |
