ITU

The DCR Workbench: Declarative Choreographies for Collaborative Processes

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Standard

The DCR Workbench: Declarative Choreographies for Collaborative Processes. / Debois, Søren; Hildebrandt, Thomas.

Behavioural Types: from Theory to Tools. ed. / Simon Gay; António Ravara. River Publishers, 2017. p. 99-124 (River Publishers Series in Automation, Control and Robotics).

Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

Harvard

Debois, S & Hildebrandt, T 2017, The DCR Workbench: Declarative Choreographies for Collaborative Processes. in S Gay & A Ravara (eds), Behavioural Types: from Theory to Tools. River Publishers, River Publishers Series in Automation, Control and Robotics, pp. 99-124. <https://www.riverpublishers.com/pdf/ebook/chapter/RP_9788793519817C5.pdf>

APA

Debois, S., & Hildebrandt, T. (2017). The DCR Workbench: Declarative Choreographies for Collaborative Processes. In S. Gay, & A. Ravara (Eds.), Behavioural Types: from Theory to Tools (pp. 99-124). River Publishers. River Publishers Series in Automation, Control and Robotics https://www.riverpublishers.com/pdf/ebook/chapter/RP_9788793519817C5.pdf

Vancouver

Debois S, Hildebrandt T. The DCR Workbench: Declarative Choreographies for Collaborative Processes. In Gay S, Ravara A, editors, Behavioural Types: from Theory to Tools. River Publishers. 2017. p. 99-124. (River Publishers Series in Automation, Control and Robotics).

Author

Debois, Søren ; Hildebrandt, Thomas. / The DCR Workbench: Declarative Choreographies for Collaborative Processes. Behavioural Types: from Theory to Tools. editor / Simon Gay ; António Ravara. River Publishers, 2017. pp. 99-124 (River Publishers Series in Automation, Control and Robotics).

Bibtex

@inbook{88834914a51b49fbae54c06a45d5d2e5,
title = "The DCR Workbench: Declarative Choreographies for Collaborative Processes",
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, 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.",
author = "S{\o}ren Debois and Thomas Hildebrandt",
year = "2017",
month = jun,
day = "1",
language = "English",
isbn = "978-87-93519-82-4",
series = "River Publishers Series in Automation, Control and Robotics",
publisher = "River Publishers",
pages = "99--124",
editor = "Simon Gay and Ant{\'o}nio Ravara",
booktitle = "Behavioural Types: from Theory to Tools",

}

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 - River Publishers Series in Automation, Control and Robotics

SP - 99

EP - 124

BT - Behavioural Types: from Theory to Tools

A2 - Gay, Simon

A2 - Ravara, António

PB - River Publishers

ER -

ID: 82437445