Add to ORKGAbstract. We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested sub-graphs and a new milestone relation between events. The extension was devel-oped during a case study carried out jointly with our industrial partner Exformat-ics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with mile-stones, and then extending the previously given mapping from DCR Graphs to Büchi-automata to include the milestone relation.
In this paper we develop a formal dynamic version of Chain Event Graphs (CEGs), a particularly expre...
Abstract. As a provider of Electronic Case Management solutions to knowledge-intensive businesses an...
In a food processing chain, a process is a succession of unit operations leading to the food product...
We present Dynamic Condition Response Graphs (DCRGraphs) as a declarative, event-based process model...
We present Dynamic Condition Response Graphs (DCRGraphs) as a declarative, event-based process model...
We propose the recently introduced declarative and event-based Dynamic Condition Response (DCR) Grap...
Abstract—We present a case study of the use of Dynamic Con-dition Response (DCR) Graphs, a recently ...
Abstract. Declarative workflow languages have been a growing research subject over the past ten year...
Abstract—We describe how the declarative Dynamic Condi-tion Response (DCR) Graphs process model can ...
We present distributed dynamic condition response structures as a declarative process model in-spire...
We study modularity, run-time adaptation and refinement under safety and liveness constraints in eve...
Part 1: Full PapersInternational audienceWe provide the first formal model for declarative choreogra...
Abstract. We give a general technique for safe distribution of a declarative (global) process as a n...
Abstract—Recently we have presented dynamic condition re-sponse structures (DCR) as a declarative pr...
We present ongoing work on a new declarative and purely event-based programming language, tentativel...
In this paper we develop a formal dynamic version of Chain Event Graphs (CEGs), a particularly expre...
Abstract. As a provider of Electronic Case Management solutions to knowledge-intensive businesses an...
In a food processing chain, a process is a succession of unit operations leading to the food product...
We present Dynamic Condition Response Graphs (DCRGraphs) as a declarative, event-based process model...
We present Dynamic Condition Response Graphs (DCRGraphs) as a declarative, event-based process model...
We propose the recently introduced declarative and event-based Dynamic Condition Response (DCR) Grap...
Abstract—We present a case study of the use of Dynamic Con-dition Response (DCR) Graphs, a recently ...
Abstract. Declarative workflow languages have been a growing research subject over the past ten year...
Abstract—We describe how the declarative Dynamic Condi-tion Response (DCR) Graphs process model can ...
We present distributed dynamic condition response structures as a declarative process model in-spire...
We study modularity, run-time adaptation and refinement under safety and liveness constraints in eve...
Part 1: Full PapersInternational audienceWe provide the first formal model for declarative choreogra...
Abstract. We give a general technique for safe distribution of a declarative (global) process as a n...
Abstract—Recently we have presented dynamic condition re-sponse structures (DCR) as a declarative pr...
We present ongoing work on a new declarative and purely event-based programming language, tentativel...
In this paper we develop a formal dynamic version of Chain Event Graphs (CEGs), a particularly expre...
Abstract. As a provider of Electronic Case Management solutions to knowledge-intensive businesses an...
In a food processing chain, a process is a succession of unit operations leading to the food product...