Matches in SemOpenAlex for { <https://semopenalex.org/work/W1997532020> ?p ?o ?g. }
- W1997532020 abstract "The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process modelling do not have formal execution semantics which is a prerequisite to check correctness criteria. In this context, soundness defines a minimum correctness criterion that a process model should fulfil. In this paper we present a novel approach to reason about soundness based on so-called causal footprints. A causal footprint represents a set of conditions on the order of activities that holds for every case of a process model. We identify three kinds of error patterns that affect the soundness of a process model, namely the deadlock pattern, the multiple termination pattern, and the trap pattern. We use event-driven process chains (EPCs) and Petri nets to demonstrate the applicability of our approach for both conceptual as for formal process modelling languages. Furthermore, it can easily be applied to other languages, such as UML activity diagrams or BPEL. Based on the trap pattern, we prove that the vicious circle, that is heavily discussed in EPC literature, is unsound" @default.
- W1997532020 created "2016-06-24" @default.
- W1997532020 creator A5030986860 @default.
- W1997532020 creator A5062764959 @default.
- W1997532020 creator A5069762894 @default.
- W1997532020 date "2006-10-01" @default.
- W1997532020 modified "2023-09-26" @default.
- W1997532020 title "Structural Patterns for Soundness of Business Process Models" @default.
- W1997532020 cites W1551214605 @default.
- W1997532020 cites W1569043828 @default.
- W1997532020 cites W1821930315 @default.
- W1997532020 cites W1983860203 @default.
- W1997532020 cites W1985161650 @default.
- W1997532020 cites W1996109622 @default.
- W1997532020 cites W2040836689 @default.
- W1997532020 cites W2093537559 @default.
- W1997532020 cites W2096998948 @default.
- W1997532020 cites W2113498867 @default.
- W1997532020 cites W2129466958 @default.
- W1997532020 cites W2911625174 @default.
- W1997532020 doi "https://doi.org/10.1109/edoc.2006.56" @default.
- W1997532020 hasPublicationYear "2006" @default.
- W1997532020 type Work @default.
- W1997532020 sameAs 1997532020 @default.
- W1997532020 citedByCount "53" @default.
- W1997532020 countsByYear W19975320202012 @default.
- W1997532020 countsByYear W19975320202013 @default.
- W1997532020 countsByYear W19975320202014 @default.
- W1997532020 countsByYear W19975320202015 @default.
- W1997532020 countsByYear W19975320202016 @default.
- W1997532020 countsByYear W19975320202017 @default.
- W1997532020 countsByYear W19975320202018 @default.
- W1997532020 countsByYear W19975320202019 @default.
- W1997532020 countsByYear W19975320202021 @default.
- W1997532020 countsByYear W19975320202022 @default.
- W1997532020 crossrefType "proceedings-article" @default.
- W1997532020 hasAuthorship W1997532020A5030986860 @default.
- W1997532020 hasAuthorship W1997532020A5062764959 @default.
- W1997532020 hasAuthorship W1997532020A5069762894 @default.
- W1997532020 hasConcept C115903868 @default.
- W1997532020 hasConcept C127413603 @default.
- W1997532020 hasConcept C145644426 @default.
- W1997532020 hasConcept C151730666 @default.
- W1997532020 hasConcept C174998907 @default.
- W1997532020 hasConcept C179299601 @default.
- W1997532020 hasConcept C199360897 @default.
- W1997532020 hasConcept C207505557 @default.
- W1997532020 hasConcept C21547014 @default.
- W1997532020 hasConcept C2777904410 @default.
- W1997532020 hasConcept C2779343474 @default.
- W1997532020 hasConcept C35578498 @default.
- W1997532020 hasConcept C38677869 @default.
- W1997532020 hasConcept C39920170 @default.
- W1997532020 hasConcept C41008148 @default.
- W1997532020 hasConcept C4927394 @default.
- W1997532020 hasConcept C55439883 @default.
- W1997532020 hasConcept C57041688 @default.
- W1997532020 hasConcept C76956256 @default.
- W1997532020 hasConcept C80444323 @default.
- W1997532020 hasConcept C85345410 @default.
- W1997532020 hasConcept C86803240 @default.
- W1997532020 hasConcept C93453677 @default.
- W1997532020 hasConcept C98045186 @default.
- W1997532020 hasConceptScore W1997532020C115903868 @default.
- W1997532020 hasConceptScore W1997532020C127413603 @default.
- W1997532020 hasConceptScore W1997532020C145644426 @default.
- W1997532020 hasConceptScore W1997532020C151730666 @default.
- W1997532020 hasConceptScore W1997532020C174998907 @default.
- W1997532020 hasConceptScore W1997532020C179299601 @default.
- W1997532020 hasConceptScore W1997532020C199360897 @default.
- W1997532020 hasConceptScore W1997532020C207505557 @default.
- W1997532020 hasConceptScore W1997532020C21547014 @default.
- W1997532020 hasConceptScore W1997532020C2777904410 @default.
- W1997532020 hasConceptScore W1997532020C2779343474 @default.
- W1997532020 hasConceptScore W1997532020C35578498 @default.
- W1997532020 hasConceptScore W1997532020C38677869 @default.
- W1997532020 hasConceptScore W1997532020C39920170 @default.
- W1997532020 hasConceptScore W1997532020C41008148 @default.
- W1997532020 hasConceptScore W1997532020C4927394 @default.
- W1997532020 hasConceptScore W1997532020C55439883 @default.
- W1997532020 hasConceptScore W1997532020C57041688 @default.
- W1997532020 hasConceptScore W1997532020C76956256 @default.
- W1997532020 hasConceptScore W1997532020C80444323 @default.
- W1997532020 hasConceptScore W1997532020C85345410 @default.
- W1997532020 hasConceptScore W1997532020C86803240 @default.
- W1997532020 hasConceptScore W1997532020C93453677 @default.
- W1997532020 hasConceptScore W1997532020C98045186 @default.
- W1997532020 hasLocation W19975320201 @default.
- W1997532020 hasOpenAccess W1997532020 @default.
- W1997532020 hasPrimaryLocation W19975320201 @default.
- W1997532020 hasRelatedWork W1520358132 @default.
- W1997532020 hasRelatedWork W1673753150 @default.
- W1997532020 hasRelatedWork W1918882354 @default.
- W1997532020 hasRelatedWork W1985694089 @default.
- W1997532020 hasRelatedWork W1997532020 @default.
- W1997532020 hasRelatedWork W2158991459 @default.
- W1997532020 hasRelatedWork W2373001050 @default.
- W1997532020 hasRelatedWork W2736396190 @default.
- W1997532020 hasRelatedWork W3006546481 @default.
- W1997532020 hasRelatedWork W3181810329 @default.