License
When quoting this document, please refer to the following
DOI: 10.4230/DARTS.4.3.4
URL: http://drops.dagstuhl.de/opus/volltexte/2018/9235/
Go back to Dagstuhl Artifacts Series


Inoue, Hiroaki ; Aotani, Tomoyuki ; Igarashi, Atsushi

ContextWorkflow: A Monadic DSL for Compensable and Interruptible Executions (Artifact)

pdf-format:
DARTS-4-3-4.pdf (0.3 MB)
artifact-format:
DARTS-4-3-4-artifact-5cbb66a47d17e765b82d738e5532c951.zip (3,647 MB)


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


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI