Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Sidorova, Natalia; Stahl, Christian; Trčka, N.

doi:10.1016/j.is.2011.04.004

Cited by 65 publications

(59 citation statements)

References 37 publications

(78 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This formalism was introduced in [6] and, later, revisited in [7]. A transition modeling an activity performs write operations on a given set of variables and may have a datadependent guard.…”

Section: Petri Nets With Datamentioning

confidence: 99%

“…6 A first ProM plug-in, the Data-aware Conformance Checker, takes a process model in form of a DPN-net and an event log as input and operationalizes the techniques described in Section 4, including the extensions for nonatomic formulas. The output is a set of optimal alignments, one for each trace in the event log.…”

Section: Implementation and Experiments On Real Life Event Logsmentioning

confidence: 99%

See 1 more Smart Citation

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

Leoni

Aalst

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Modern organizations have invested in collections of descriptive and/or normative process models, but these rarely describe the actual processes adequately. Therefore, a variety of techniques for conformance checking have been proposed to pinpoint discrepancies between modeled and observed behavior. However, these techniques typically focus on the control-flow and abstract from data, resources and time. This paper describes an approach that aligns event log and model while taking all perspectives into account (i.e., also data, time and resources). This way it is possible to quantify conformance and analyze differences between model and reality. The approach was implemented using ProM and has been evaluated using both synthetic event logs and a real-life case study.

show abstract

Section: Petri Nets With Datamentioning

confidence: 99%

Section: Implementation and Experiments On Real Life Event Logsmentioning

confidence: 99%

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

Leoni

Aalst

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Compared to our mapping, the authors duplicate transitions in the Petri net to specify each data constraint of the corresponding activity separately and did not address challenges with respect to parallel data access. [27] discusses WFD-nets, which are workflow nets extended with data. WFD-nets could directly be used to represent business processes with the disadvantage that data flow cannot be visualized graphically and data states are not regarded.…”

Section: -Soundness Checkingmentioning

confidence: 99%

Weak Conformance between Process Models and Synchronized Object Life Cycles

Meyer

Weske

2014

Service-Oriented Computing

View full text Add to dashboard Cite

Bibliografische Information der Deutschen NationalbibliothekDie Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen Nationalbibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.dnb.de/ abrufbar. Process models specify behavioral execution constraints between activities as well as between activities and data objects. A data object is characterized by its states and state transitions represented as object life cycle. For process execution, all behavioral execution constraints must be correct. Correctness can be verified via soundness checking which currently only considers control flow information. For data correctness, conformance between a process model and its object life cycles is checked. Current approaches abstract from dependencies between multiple data objects and require fully specified process models although, in real-world process repositories, often underspecified models are found. Coping with these issues, we introduce the concept of synchronized object life cycles and we define a mapping of data constraints of a process model to Petri nets extending an existing mapping. Further, we apply the notion of weak conformance to process models to tell whether each time an activity needs to access a data object in a particular state, it is guaranteed that the data object is in or can reach the expected state. Then, we introduce an algorithm for an integrated verification of control flow correctness and weak data conformance using soundness checking. Universitätsverlag 5

show abstract

“…Languages, like BPMN, EPCs, or UML Activity Diagrams, that can be mapped to free-choice Petri nets can be checked for soundness in quadratic time [17], structured models in linear time [18]. There are also techniques available for checking the correctness of data flow [19,20,21], satisfiability of constraints on the resource perspective [22,23,24], or the interoperability of cross-organizational workflows [25]. These correctness aspects are well understood and efficiently supported by tools for a wide range of process model classes.…”

Section: Perspectives On Process Model Qualitymentioning

confidence: 99%

“…Algorithm 5 proceeds with the analysis of activity labels of action-noun (of ) style (lines [17][18][19][20][21][22][23][24]. The label part preceding preposition of is recognized as an action.…”

Section: Derivation Of Action and Objectmentioning

confidence: 99%

On the refactoring of activity labels in business process models

Leopold

Smirnov

Mendling

2012

Information Systems

View full text Add to dashboard Cite

Large corporations increasingly utilize business process models for documenting and redesigning their operations. The extent of such modeling initiatives with several hundred models and dozens of often hardly trained modelers calls for automated quality assurance. While formal properties of control flow can easily be checked by existing tools, there is a notable gap for checking the quality of the textual content of models, in particular, its activity labels. In this paper, we address the problem of activity label quality in business process models. We designed a technique for the recognition of labeling styles, and the automatic refactoring of labels with quality issues. More specifically, we developed a parsing algorithm that is able to deal with the shortness of activity labels, which integrates natural language tools like WordNet and the Stanford Parser. Using three business process model collections from practice with differing labeling style distributions, we demonstrate the applicability of our technique. In comparison to a straightforward application of standard natural language tools, our technique provides much more stable results. As an outcome, the technique shifts the boundary of process model quality issues that can be checked automatically from syntactic to semantic aspects.

show abstract

Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible

Cited by 65 publications

References 37 publications

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

Aligning Event Logs and Process Models for Multi-perspective Conformance Checking: An Approach Based on Integer Linear Programming

Weak Conformance between Process Models and Synchronized Object Life Cycles

On the refactoring of activity labels in business process models

Contact Info

Product

Resources

About