Relaxed Soundness of Business Processes

Dehnert, Juliane; Rittgen, Peter

doi:10.1007/3-540-45341-5_11

Cited by 77 publications

(70 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…This notion allows for dead transitions. The notion of relaxed soundness is introduced in [DA04,DR01]. This notion allows for potential deadlocks and livelocks, however, for each transition there should be at least one proper execution.…”

Section: Related Workmentioning

confidence: 99%

Soundness of workflow nets: classification, decidability, and analysis

et al. 2011

View full text Add to dashboard Cite

Abstract. Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows. Typically, they are used as an abstraction of the workflow that is used to check the so-called soundness property. This property guarantees the absence of livelocks, deadlocks, and other anomalies that can be detected without domain knowledge. Several authors have proposed alternative notions of soundness and have suggested to use more expressive languages, e.g., models with cancellations or priorities. This paper provides an overview of the different notions of soundness and investigates these in the presence of different extensions of workflow nets. We will show that the eight soundness notions described in the literature are decidable for workflow nets. However, most extensions will make all of these notions undecidable. These new results show the theoretical limits of workflow verification. Moreover, we discuss some of the analysis approaches described in the literature.

show abstract

Section: Related Workmentioning

confidence: 99%

Soundness of workflow nets: classification, decidability, and analysis

et al. 2011

View full text Add to dashboard Cite

show abstract

“…Related to the first aspect, formal correctness criteria play an important role in process modeling. Several criteria have been proposed including soundness for Workflow nets [23], relaxed soundness [24], or well-structuredness (see [25,26] for comparisons). The second aspect is the subject of model checking and involves issues like separation of duty constraints, which can be verified, for example, by using linear temporal logic (LTL) [27].…”

Section: Validation Versus Verificationmentioning

confidence: 99%

“…Relaxed Soundness The soundness property of workflow models has stimulated the specification of several soundness derivatives, mainly because some soundness aspects proved to be too restrictive in certain application domains. In [24] the authors argue that business processes are often conceptually modeled in such a way that only the desired behavior results in a proper completion. Since such conceptual models are not used for workflow execution, deadlocks are resolved by the people working in the process in a cooperative and ad-hoc fashion.…”

Section: Verification Approachesmentioning

confidence: 99%

Empirical Studies in Process Model Verification

Mendling

2009

Transactions on Petri Nets and Other Models of Concurrency II

View full text Add to dashboard Cite

Abstract. Despite the large body of knowledge on formal analysis techniques for process models, in particular Petri nets, there has been a notable gap of empirical research into verification. In this paper we compare the few studies that report results from applying verification techniques to real-world process model collections. For this comparison we are particularly interested in the different approaches, their computational performance, and the number of errors found. Our comparison reveals that most of the samples have error rates of 10% to 20%. Some of the studies have established a connection between error probability and process model metrics, as well as between model understanding and both metrics and modeling competence of the model reader. Based on these results, we discuss implications and directions for future research.

show abstract

“…While these problems have been addressed in academic contributions, see e.g. [9,11,12], and while there exist approaches to provide semantics to EPCs, see e.g. [13], there is not yet a generally accepted solution to the issue of EPC semantics.…”

Section: On the Syntax And Semantics Of Epcsmentioning

confidence: 99%

“…Hence, we seek to validate the behavior of configurable processes through their translation to regular EPCs. Then, any of the formalization approaches mentioned in [9,[11][12][13] can be used as a semantic foundation, and we may stop the discussion of semantics here. However, we later need to some semantic implications when translating Configurable EPCs into lawful process models.…”

Section: On the Syntax And Semantics Of Epcsmentioning

confidence: 99%

On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Models

Recker

Rosemann

Aalst

et al. 2006

Business Process Management Workshops

View full text Add to dashboard Cite

Abstract. Enterprise Systems need to be configured to fit organizational requirements and to provide support for their business operations. Reference models aim at supporting this task but fail in providing adequate conceptual support due to missing configurability of the models themselves. Our research extends the work on a configurable reference modeling approach. In previous research we developed a conceptual notation for configurable reference models. This paper considers a syntactic perspective of reference model configuration. We discuss the lawful environments of configurable nodes and report about syntactic implications of model configuration in these environments. We then apply these findings in the design of an interchange format for configurable reference models and discuss its applicability for the XML-based design of tool support, which ultimately will facilitate the automatic verification and transformation of reference process models to executable workflow specifications.

show abstract

Relaxed Soundness of Business Processes

Cited by 77 publications

References 3 publications

Soundness of workflow nets: classification, decidability, and analysis

Soundness of workflow nets: classification, decidability, and analysis

Empirical Studies in Process Model Verification

On the Syntax of Reference Model Configuration – Transforming the C-EPC into Lawful EPC Models

Contact Info

Product

Resources

About