The DCR Workbench: Declarative Choreographies for Collaborative Processes

Søren Debois · Thomas Hildebrandt

11 citations0/0 files storedRiver Publishers eBooks

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Business Process Modeling and Analysis Multi-Agent Systems and Negotiation Model-Driven Software Engineering Techniques

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 https://dcr.tools .

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 11 citations exist upstream.

References

1997Verification of workflow nets 2007DECLARE: Full Support for Loosely-Structured Processes 2011Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs 2011Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles 2007DECLARE: Full Support for Loosely-Structured Processes 2012Nested Dynamic Condition Response Graphs 2013Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs 2013Exformatics Declarative Case Management Workflows as DCR Graphs

Cited by

2022Decision Modelling in Timed Dynamic Condition Response Graphs with Data

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

Imported from OpenAlex (CC0) — nothing here is generated.