Matches in SemOpenAlex for { <https://semopenalex.org/work/W2406648761> ?p ?o ?g. }
- W2406648761 endingPage "220" @default.
- W2406648761 startingPage "211" @default.
- W2406648761 abstract "Business process modeling plays an important role in the management of business processes. As valuable design artifacts, business process models are subject to quality considerations. In this context, the absence of formal errors, such as deadlocks, is of paramount importance for the subsequent implementation of the process. This talk presents the results of my doctoral thesis that provides a fourfold contribution to the understanding of such errors in business process models with a particular focus on Event-driven Process Chains (EPCs), a business process modeling language that is frequently used in practice. Firstly, I formalize the operational semantics of EPCs in a novel way so that matching OR-splits and OR-joins never deadlock. Secondly, and based on these semantics, we introduce a soundness criterion for EPCs that offers a precise identification of those models which have errors. For the verification of this soundness notion in practice, I present two analysis tools, a ProM plug-in for a verification based on the reachability graph, and a batch program called xoEPC for a verification based on reduction rules. Thirdly, I define a set of business process model metrics that are supposed to serve as predictors for error probability of an individual EPC. Fourthly, I use statistical methods and a sample of about 2000 EPCs from practice to derive a regression function for the prediction of error probability. This function is validated against a holdout set of 113 EPCs from textbooks showing that 90% of the EPCs could be classified correctly as having errors or not. These results emphasize the importance of quality issues in business process modeling, and provides the foundations for innovations in tool support." @default.
- W2406648761 created "2016-06-24" @default.
- W2406648761 creator A5062764959 @default.
- W2406648761 date "2007-01-01" @default.
- W2406648761 modified "2023-09-27" @default.
- W2406648761 title "Detection and Prediction of Errors in EPC Business Process Models." @default.
- W2406648761 cites W109673976 @default.
- W2406648761 cites W115368157 @default.
- W2406648761 cites W117903725 @default.
- W2406648761 cites W125435062 @default.
- W2406648761 cites W130111390 @default.
- W2406648761 cites W133091883 @default.
- W2406648761 cites W138591638 @default.
- W2406648761 cites W1483428413 @default.
- W2406648761 cites W1487060125 @default.
- W2406648761 cites W1489071853 @default.
- W2406648761 cites W1502414936 @default.
- W2406648761 cites W1502668132 @default.
- W2406648761 cites W1505145370 @default.
- W2406648761 cites W1505648523 @default.
- W2406648761 cites W1508229089 @default.
- W2406648761 cites W1512238160 @default.
- W2406648761 cites W1513814971 @default.
- W2406648761 cites W1519082449 @default.
- W2406648761 cites W1519419219 @default.
- W2406648761 cites W1522730781 @default.
- W2406648761 cites W1527598253 @default.
- W2406648761 cites W1530559183 @default.
- W2406648761 cites W1531602039 @default.
- W2406648761 cites W1532250211 @default.
- W2406648761 cites W1532777614 @default.
- W2406648761 cites W1533324147 @default.
- W2406648761 cites W1534257136 @default.
- W2406648761 cites W1534926211 @default.
- W2406648761 cites W1535626946 @default.
- W2406648761 cites W1535673446 @default.
- W2406648761 cites W1537095371 @default.
- W2406648761 cites W1537392528 @default.
- W2406648761 cites W1540819686 @default.
- W2406648761 cites W1550989081 @default.
- W2406648761 cites W1558295286 @default.
- W2406648761 cites W1561267729 @default.
- W2406648761 cites W1567947704 @default.
- W2406648761 cites W1568986740 @default.
- W2406648761 cites W1573912318 @default.
- W2406648761 cites W1574578120 @default.
- W2406648761 cites W1576632330 @default.
- W2406648761 cites W1578707878 @default.
- W2406648761 cites W1582568099 @default.
- W2406648761 cites W1584595690 @default.
- W2406648761 cites W1586682352 @default.
- W2406648761 cites W158773657 @default.
- W2406648761 cites W1589632492 @default.
- W2406648761 cites W1590667944 @default.
- W2406648761 cites W1591311008 @default.
- W2406648761 cites W1591721577 @default.
- W2406648761 cites W1591745554 @default.
- W2406648761 cites W1592182985 @default.
- W2406648761 cites W1592576412 @default.
- W2406648761 cites W1595520837 @default.
- W2406648761 cites W1600769751 @default.
- W2406648761 cites W1602465280 @default.
- W2406648761 cites W1602569358 @default.
- W2406648761 cites W1604592582 @default.
- W2406648761 cites W163210493 @default.
- W2406648761 cites W1641177182 @default.
- W2406648761 cites W1680392829 @default.
- W2406648761 cites W17579490 @default.
- W2406648761 cites W1791587663 @default.
- W2406648761 cites W1795964403 @default.
- W2406648761 cites W1802247608 @default.
- W2406648761 cites W1807470754 @default.
- W2406648761 cites W1858739376 @default.
- W2406648761 cites W1884179633 @default.
- W2406648761 cites W1910838678 @default.
- W2406648761 cites W1956112101 @default.
- W2406648761 cites W1964962870 @default.
- W2406648761 cites W1970911816 @default.
- W2406648761 cites W1973935338 @default.
- W2406648761 cites W1973948212 @default.
- W2406648761 cites W1980243955 @default.
- W2406648761 cites W1983128054 @default.
- W2406648761 cites W1983860203 @default.
- W2406648761 cites W1985123888 @default.
- W2406648761 cites W1985943940 @default.
- W2406648761 cites W1995020124 @default.
- W2406648761 cites W1995213244 @default.
- W2406648761 cites W1996109622 @default.
- W2406648761 cites W1997532020 @default.
- W2406648761 cites W2004865374 @default.
- W2406648761 cites W2005497495 @default.
- W2406648761 cites W2008620264 @default.
- W2406648761 cites W2009457315 @default.
- W2406648761 cites W2011589240 @default.
- W2406648761 cites W2012656354 @default.
- W2406648761 cites W2014892186 @default.
- W2406648761 cites W2015370254 @default.
- W2406648761 cites W2020248080 @default.