Search
Search Results
-
Capturing Smart Contract Design with DCR Graphs
Smart contracts manage blockchain assets and embody business processes. However, mainstream smart contract programming languages such as Solidity... -
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces
Dynamic Condition Response (DCR) Graphs is a popular declarative process modelling notation which is supported by commercial modelling tools and has... -
Improving Simplicity by Discovering Nested Groups in Declarative Models
Discovering simple, understandable and yet accurate process models is a well-known issue for models mined from real-life event logs. In this paper,... -
On the Semantic Transparency of Declarative Process Models: The Case of Constraints
Process modeling notations are essential for analyzing, designing, improving, and digitalizing business processes in organizations. In particular,... -
Uncovering Change: A Streaming Approach for Declarative Processes
Process discovery is a family of techniques that helps to comprehend processes from their data footprints. Yet, as processes change over time so... -
Counter Effect Rules Mining in Knowledge Graphs
Discovering causal relationships is the goal of many experiments in science. Such a relationship indicates that a variation in an attribute, i.e.,... -
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
We provide a practical translation from the Dynamic Condition Response (DCR) process modelling language to the Transaction Execution Approval... -
A Trustworthy decentralized Change Propagation Mechanism for Declarative Choreographies
Blockchain technologies have emerged to serve as a trust basis for the monitoring and execution of business processes, particularly business process... -
Declarative Choreographies with Time and Data
Choreographic models express coordination between business roles, in contrast to standard process models that merge local control flow and... -
DCR Event-Reachability via Genetic Algorithms
In declarative process models, a process is described as a set of rules as opposed to a set of permitted flows. Oftentimes, such rule-based notations... -
Exploring the Understandability of a Hybrid Process Design Artifact Based on DCR Graphs
Process design artifacts (e.g., process models, textual process descriptions and simulations) are increasingly used to provide input for requirements... -
DisCoveR: accurate and efficient discovery of declarative process models
Declarative process modeling formalisms—which capture high-level process constraints—have seen growing interest, especially for modeling flexible...
-
Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes
This paper addresses the open technical problems of evolving executable, event-based process models by refinement, that is, by iteratively expanding... -
Classifying and Detecting Task Executions and Routines in Processes Using Event Graphs
Business process management organizes work into several interrelated “units of work”, fundamentally conceptualized as a task. The classical concept... -
One-Shot Fiat-Shamir-Based NIZK Arguments of Composite Residuosity and Logarithmic-Size Ring Signatures in the Standard Model
The standard model security of the Fiat-Shamir transform has been an active research area for many years. In breakthrough results, Canetti et al.... -
DCR-KiPN a Hybrid Modeling Approach for Knowledge-Intensive Processes
Hybrid modeling approaches have been proposed to represent processes that have both strictly regulated parts and loosely regulated parts. Such... -
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
Process design artifacts have been increasingly used to guide the modeling of business processes. To support users in designing and understanding...
-
Discovering Responsibilities with Dynamic Condition Response Graphs
Declarative process discovery is the art of using historical data to better understand the responsibilities of an organisation: its governing... -
Multi-agent Reinforcement Learning Based Approach for Vehicle Routing Problem
Multi-Vehicle routing to service consumers in dynamic and unpredictable surroundings such as congested urban areas is a difficult operation that... -
Vehicle Routing Problem with Value Iteration Network
Multi Vehicle routing to service consumers in dynamic and unpredictable surrounding such as congested urban areas is a difficult operation that needs...