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.
Original language | English |
---|---|
Title of host publication | Behavioural Types: from Theory to Tools |
Editors | Simon Gay, António Ravara |
Number of pages | 26 |
Publisher | River Publishers |
Publication date | 1 Jun 2017 |
Pages | 99-124 |
Chapter | 5 |
ISBN (Print) | 978-87-93519-82-4 |
Publication status | Published - 1 Jun 2017 |
Externally published | Yes |
Series | Communications of the A C M |
---|