The DCR Workbench: Declarative Choreographies for Collaborative Processes

Søren Debois, Thomas Hildebrandt

Publikation: Konference artikel i Proceeding eller bog/rapport kapitelBidrag til bog/antologiForskningpeer review


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:
TitelBehavioural Types: from Theory to Tools
RedaktørerSimon Gay, António Ravara
Antal sider26
ForlagRiver Publishers
Publikationsdato1 jun. 2017
ISBN (Trykt)978-87-93519-82-4
StatusUdgivet - 1 jun. 2017
NavnRiver Publishers Series in Automation, Control and Robotics


Dyk ned i forskningsemnerne om 'The DCR Workbench: Declarative Choreographies for Collaborative Processes'. Sammen danner de et unikt fingeraftryk.