The DCR Workbench: Declarative Choreographies for Collaborative Processes
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Standard
The DCR Workbench: Declarative Choreographies for Collaborative Processes. / Debois, Søren; Hildebrandt, Thomas.
Behavioural Types: from Theory to Tools. red. / Simon Gay; António Ravara. River Publishers, 2017. s. 99-124 (Communications of the A C M).Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › fagfællebedømt
Harvard
APA
Vancouver
Author
Bibtex
}
RIS
TY - CHAP
T1 - The DCR Workbench: Declarative Choreographies for Collaborative Processes
AU - Debois, Søren
AU - Hildebrandt, Thomas
PY - 2017/6/1
Y1 - 2017/6/1
N2 - 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, staticanalysis, 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.
AB - 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, staticanalysis, 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.
M3 - Book chapter
SN - 978-87-93519-82-4
T3 - Communications of the A C M
SP - 99
EP - 124
BT - Behavioural Types: from Theory to Tools
A2 - Gay, Simon
A2 - Ravara, António
PB - River Publishers
ER -
ID: 227990419