Nested Dynamic Condition Response Graphs

Hildebrandt, Thomas; Mukkamala, Raghava Rao

doi:10.1007/978-3-642-29320-7_23

Cited by 51 publications

(34 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Recently, also dynamic condition response (DCR) graphs [41] have gained increasing interest. DCR graphs, like Declare, allow for the specification of declarative process models, support the specification of sub-processes [24], and have been applied in a case study for a cross-organizational case management system [25]. Unlike Declare, DCR graphs focus on a set of core constraints instead of allowing for the specification of arbitrary constraints.…”

Section: Related Workmentioning

confidence: 99%

“…Problem statement Existing research has addressed technical issues of declarative process models, such as formalization of semantics [24], maintainability [63], verification [47], and execution [5]. Understandability concerns of declarative models (i.e., the ability to correctly explain the model, and solve problems related to the model), on the contrary, have only been considered to a limited extent.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Understanding Declare models: strategies, pitfalls, empirical results

et al. 2014

View full text Add to dashboard Cite

Declarative approaches to business process modeling are regarded as well suited for highly volatile environments, as they enable a high degree of flexibility. However, problems in understanding and maintaining declarative process models often impede their adoption. Likewise, little research has been conducted into the understanding of declarative process models. This paper takes a first step toward addressing this fundamental question and reports on an empirical investigation consisting of an exploratory study and a follow-up study focusing on the system analysts' sense-making of declarative process models that are specified in Declare. For this purpose, we distributed real-world Declare models to the participating subjects and asked them to describe the illustrated process and to perform a series of sense-making tasks. The results of our studies indicate that two main strategies for reading Declare models exist: either considering the execution order of the activities in the process model, or orienting by the layout of the process model. In addition, the results indicate that single constraints can be handled well by most subjects, while combinations of constraints pose significant challenges. Moreover, the study revealed that aspects that are similar in both imperative and declarative process modeling languages at a graphical level, while having different semantics, cause considerable troubles. This research not only helps guiding the future development of tools for supporting system analysts, but also gives advice on the design of declarative process modeling notations and points out typical pitfalls to teachers and educators of future systems analysts.

show abstract

Section: Related Workmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

Understanding Declare models: strategies, pitfalls, empirical results

et al. 2014

View full text Add to dashboard Cite

show abstract

“…In the present paper we propose to use the recently introduced event-based declarative process model, Dynamic Condition Response Graphs (DCR Graphs) [3,6,7,13], as a formal basis for modular and aspect-oriented construction of context-sensitive systems. The modular and aspect-oriented construction is facilitated by a new, general join operator.…”

Section: Introductionmentioning

confidence: 99%

“…Note we use the nested DCR Graphs notation introduced in [6], a relation to a box around events is simply a short hand for having the relation to all the sub events. Now, if an emergency event happens (e.g.…”

Section: Introductionmentioning

confidence: 99%

Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

Hildebrandt

Mukkamala

Zanitti

2013

Proceedings of the 12th Workshop on Foundations of Aspect-Oriented Languages

Self Cite

View full text Add to dashboard Cite

We propose the recently introduced declarative and event-based Dynamic Condition Response (DCR) Graphs process model as a formal basis for modular implementation of context-sensitive and aspect-oriented processes. The proposal is supported by a new join operator allowing modular composition and refinement of DCR Graphs. We give small illustrative examples of DCR Graphs defining context-sensitive processes where context-events dynamically enable and disable the need for authentication and the join operator is used to add authentication to a process. Finally, we discuss the use of formal verification to ensure that processes satisfy safety and liveness properties, and define two liveness properties (deadlock freedom and liveness) that can be verified directly on the state graph for DCR Graphs.

show abstract

“…In a declarative model, any behaviour that does not comply with such constraints is forbidden, but anything that is not explicitly ruled out is permissible. Examples of declarative modelling techniques are Declare [18,27], DCR graphs [11], and SCIFF [15].…”

Section: Introductionmentioning

confidence: 99%

The Semantics of Hybrid Process Models

Slaats

Schunselaar

Maggi

et al. 2016

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

The semantics of hybrid process models Slaats, Tijs; Schunselaar, Dennis M. M.; Maggi, Fabrizio M.; Reijers, Hajo A. Abstract. In the area of business process modelling, declarative notations have been proposed as alternatives to notations that follow the dominant, imperative paradigm. Yet, the choice between an imperative or declarative style of modelling is not always easy to make. Instead, a mixture of these styles is sometimes preferable. This observation has underpinned recent calls for so-called hybrid process modelling notations.In this paper, we present a formal semantics for these. In our proposal, a hybrid process model is hierarchical, where each of its sub-processes may be specified in either an imperative or declarative fashion. The semantics we provide will allow modelling communities to build on the benefits of existing imperative and declarative modelling notations, instead of spending their energy on inventing new ones.

show abstract

Nested Dynamic Condition Response Graphs

Cited by 51 publications

References 12 publications

Understanding Declare models: strategies, pitfalls, empirical results

Understanding Declare models: strategies, pitfalls, empirical results

Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

The Semantics of Hybrid Process Models

Contact Info

Product

Resources

About