Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

Vanhatalo, Jussi; Völzer, Hagen; Leymann, Frank

doi:10.1007/978-3-540-74974-5_4

Cited by 194 publications

(187 citation statements)

References 15 publications

Supporting

Mentioning

180

Contrasting

Unclassified

Order By: Relevance

“…Applying such techniques to real-life models typically results in the discovery of many errors. This has been demonstrated in some recent case studies [MMN + 06, MVD + 08, FFJ + 09, MNA07,VVL07].…”

Section: Resultssupporting

confidence: 63%

See 1 more Smart Citation

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: Resultssupporting

confidence: 63%

“…This more refined analysis showed that 20.9 percent of the SAP models are actually flawed. In [VVL07] a set of 340 real business processes modeled with the IBM WebSphere Business Modeler is analyzed. We would also like to point to the comparative analysis of various workflow verification approaches described in [FFJ + 09].…”

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

“…Metrics including size, complexity and coupling are validated for their correlation with understanding and maintainability [31,32]. Further metrics aim to quantify cognitive complexity and modularity [33,34,35,36]. Various metrics have been validated as predictors of error probability [37], which is assumed to be a symptom of bad understanding by the modeler during the process of model creation.…”

Section: Structural Factors Of Process Model Understandingmentioning

confidence: 99%

Managing Structural and Textual Quality of Business Process Models

Mendling

2013

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Abstract. Business process models are increasingly used for capturing business operations of companies. Such models play an important role in the requirements elicitation phase of to-be-created information systems and in as-is analysis of business efficiency. Many process modeling initiatives have grown considerably big in size involving dozens of modelers with varying expertise creating and maintaining hundreds, sometimes thousands of models. One of the roadblocks towards a more effective usage of these process models is the often insufficient provision of quality assurance. The aim of this paper is to give an overview on how empirical research informs structural and textual quality assurance of process models. We present selected findings and show how they can be utilized as a foundation for novel automatic analysis techniques.

show abstract

“…Hence, the observed behavioral constraint coincides with the behavioral constraint imposed by the model. A prominent example of activity groups that fulfill the defined requirement are groups resulting from the canonical decomposition of a process model into single entry single exit fragments, see [18,19].…”

Section: Definition 8 (Behavioral Inconsistency) Letmentioning

confidence: 99%

State Propagation in Abstracted Business Processes

Smirnov

Farahani

Weske

2011

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.de/ abrufbar. Abstract. Business process models are abstractions of concrete operational procedures that occur in the daily business of organizations. To cope with the complexity of these models, business process model abstraction has been introduced recently. Its goal is to derive from a detailed process model several abstract models that provide a high-level understanding of the process. While techniques for constructing abstract models are reported in the literature, little is known about the relationships between process instances and abstract models. In this paper we show how the state of an abstract activity can be calculated from the states of related, detailed process activities as they happen. The approach uses activity state propagation. With state uniqueness and state transition correctness we introduce formal properties that improve the understanding of state propagation. Algorithms to check these properties are devised. Finally, we use behavioral profiles to identify and classify behavioral inconsistencies in abstract process models that might occur, once activity state propagation is used. Universitätsverlag

show abstract

Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

Cited by 194 publications

References 15 publications

Soundness of workflow nets: classification, decidability, and analysis

Soundness of workflow nets: classification, decidability, and analysis

Managing Structural and Textual Quality of Business Process Models

State Propagation in Abstracted Business Processes

Contact Info

Product

Resources

About