The DCR Workbench: Declarative choreographies for collaborative processes

16Citations
Citations of this article
5Readers
Mendeley users who have this article in their library.

This article is free to access.

Abstract

The DCR Workbench is an online tool for simulation and analysis of collaborative distributed processes specified as DCR graphs. The Workbench is a robust and comprehensive implementation of DCR graphs, providing concrete syntax, specification by refinement, visualisation, simulation, static analysis, time analysis, enforcement, declarative subprocesses, data dependencies, translation to other declarative models, and more. This chapter introduces the Workbench and, through the features of the Workbench, surveys the DCR formalism. The Workbench is available on-line at http: //dcr.tools.

Cite

CITATION STYLE

APA

Debois, S., & Hildebrandt, T. T. (2017). The DCR Workbench: Declarative choreographies for collaborative processes. In Behavioural Types: from Theory to Tools English (pp. 99–124). River Publishers. https://doi.org/10.1201/9781003337331-5

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free