The DCR Workbench: Declarative Choreographies for Collaborative Processes
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Book chapter
Peer-reviewOriginal language
EnglishPages from-to (Number of pages)
Pages 99-124 (26 pages)Publication milestones
- Published - 01/06/2017
Publication status
Published - 01/06/2017
Publisher
River PublishersBook series
- Book series name: River Publishers Series in Automation, Control and Robotics
ISSN: 0001-0782
ISBN (Print)
978-87-93519-82-4Chapter Number
5Publication IDs
- Scopus: 85053613034
Host publication title
Behavioural Types: from Theory to ToolsHost publication editors
- Simon Gay
- António Ravara
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.
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.
Publication metrics
PlumX
Citations
16
Access to documents
Final published version