The DCR Workbench: Declarative Choreographies for Collaborative Processes

Søren Debois; Thomas Hildebrandt

The DCR Workbench: Declarative Choreographies for Collaborative Processes

9 Citationer (Scopus)

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.

Originalsprog	Engelsk
Titel	Behavioural Types: from Theory to Tools
Redaktører	Simon Gay, António Ravara
Antal sider	26
Forlag	River Publishers
Publikationsdato	31 jul. 2017
Sider	99-124
Kapitel	5
ISBN (Trykt)	978-87-93519-82-4
Status	Udgivet - 31 jul. 2017
Udgivet eksternt	Ja

Navn	Communications of the A C M

Adgang til dokumentet

https://www.riverpublishers.com/pdf/ebook/chapter/RP_9788793519817C5.pdf

Citationsformater

@inbook{61b9e11a8b414005aa22bebc0e574322,

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 = jul,

day = "31",

language = "English",

isbn = "978-87-93519-82-4",

series = "Communications of the A C M",

publisher = "River Publishers",

pages = "99--124",

editor = "Simon Gay and Ant{\'o}nio Ravara",

booktitle = "Behavioural Types: from Theory to Tools",

address = "Denmark",

}

TY - CHAP

T1 - The DCR Workbench: Declarative Choreographies for Collaborative Processes

AU - Debois, Søren

AU - Hildebrandt, Thomas

PY - 2017/7/31

Y1 - 2017/7/31

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 -

The DCR Workbench: Declarative Choreographies for Collaborative Processes

Abstract

Adgang til dokumentet

Fingeraftryk

Citationsformater