Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs

Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco

doi:10.1016/j.jlap.2013.05.005

Cited by 53 publications

(39 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We know from [11] that refinement of DCR processes is known to be decidable; this fact relies on the state space of a DCR process being finite. Time does not change this; see [24] for details. It is therefore sufficient to prove that for any R and G, the set Inst(R, G, P ) is finite.…”

Section: Compliance Checking By Refinementmentioning

confidence: 99%

“…In contrast to Declare, the DCR graphs technology has been succesfully employed in major industrial case management systems, and at the moment it supports 70% of the Danish Central Government institutions 5 . DCR graphs have been extended to include both data [43], time [5,24], sub-processes [10], and choreographies [25]. In the present paper we consider the core notation with time, which is expressive enough to represent both regular and omega-regular languages [10] as well as so-called true concurrency [9].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Business Process Compliance Using Reference Models of Law

López¹,

Debois²,

Slaats³

et al. 2020

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

Legal compliance is an important part of certifying the correct behaviour of a business process. To be compliant, organizations might hard-wire regulations into processes, limiting the discretion that workers have when choosing what activities should be executed in a case. Worse, hard-wired compliant processes are difficult to change when laws change, and this occurs very often. This paper proposes a model-driven approach to process compliance and combines a) reference models from laws, and b) business process models. Both reference and process models are expressed in a declarative process language, The Dynamic Condition Response (DCR) graphs. They are subject to testing and verification, allowing law practitioners to check consistency against the intent of the law. Compliance checking is a combination of alignments between events in laws and events in a process model. In this way, a reference model can be used to check different process variants. Moreover, changes in the reference model due to law changes do not necessarily invalidate existing processes, allowing their reuse and adaptation. We exemplify the framework via the alignment of laws and business rules and a real contract change management process, Finally, we show how compliance checking for declarative processes is decidable, and provide a polynomial time approximation that contrasts NP complexity algorithms used in compliance checking for imperative business processes. All-together, this paper presents technical and methodological steps that are being used by legal practitioners in municipal governments in their efforts towards digitalization of work practices in the public sector.

show abstract

Section: Compliance Checking By Refinementmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Business Process Compliance Using Reference Models of Law

López¹,

Debois²,

Slaats³

et al. 2020

Fundamental Approaches to Software Engineering

Self Cite

View full text Add to dashboard Cite

show abstract

“…We exclude works that are not related to business processes, view temporal constraints solely in the sense of ordering relations, or only mention temporal constraints at an abstract level (i.e., no specific temporal constraints are discussed). In the end, several papers [20,9,16,17,15,32,10,4,26,2,18] were identified as relevant works in the context of our research.…”

Section: Temporal Constraints In Declarative Processes Modeling Langumentioning

confidence: 99%

“…Features F1 F2 F3 F4 Montali et al [20] X X Hildebrandt et al [9] X X X Maggi et al [16,17,15] X X X Jiang et al [10] X X Burattin et al [4,26] X X X Mans et al [18] X X Barba et al [2] = true, X = false declarative modeling language as appropriate as it enables the specification of a wide range of process models in a flexible way. Respective process models are denoted as constraint-based, i.e., they comprise information about (1) the activities that may be performed during process enactment as well as (2) the constraints to be obeyed in this context.…”

Section: Workmentioning

confidence: 99%

“…Declarative approaches are becoming increasingly popular for modeling business processes as they are able to cope with some of the limitations imperative notations are facing [28,31,20,9,17,10,4]. Although declarative modeling languages have been extensively discussed in literature [19,5], even in the context of healthcare [29,21,25], to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Ramirez

Barba

Reichert

et al. 2018

Advanced Information Systems Engineering

View full text Add to dashboard Cite

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.

show abstract

Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors

Xu,

Slaats,

Düdder

et al. 2024

J Software Evolu Process

View full text Add to dashboard Cite

Smart contracts executed on blockchains are interactive programs where external actors generate events that trigger function invocations. Events can be emitted by participants asynchronously. However, some functionalities should be restricted to participants inhabiting specific roles in the system, which might be dynamically adjusted while the system evolves. We argue that current smart contract languages adopting imperative programming paradigms require additional complicated access control code. Furthermore, smart contracts are often developed and evolved independently and cannot share a joint access control policy. This makes it challenging to ensure the correctness of access control properties and to maintain correctness when the contracts are adapted. We propose using dynamic condition response (DCR) graphs for role‐based and declarative access control for smart contracts and techniques for test‐driven modelling and refinement of DCR graphs to support the safe design and evolution of smart contracts. We show that they allow for capturing and visualizing a form of dynamic access control where access rights evolve as the contract state progresses. Their use supports the straightforward declaration of access control rights, improved code auditing, test‐driven modelling, and safe evolution of smart contracts and improves users' understanding.

show abstract

Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs

Cited by 53 publications

References 17 publications

Business Process Compliance Using Reference Models of Law

Business Process Compliance Using Reference Models of Law

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Safe design and evolution of smart contracts using dynamic condition response graphs to model generic role‐based behaviors

Contact Info

Product

Resources

About