Matches in SemOpenAlex for { <https://semopenalex.org/work/W1413304420> ?p ?o ?g. }
- W1413304420 endingPage "159" @default.
- W1413304420 startingPage "144" @default.
- W1413304420 abstract "Declarative process models define the behaviour of business processes as a set of constraints. Declarative process discovery aims at inferring such constraints from event logs. Existing discovery techniques verify the satisfaction of candidate constraints over the log, but completely neglect their interactions. As a result, the inferred constraints can be mutually contradicting and their interplay may lead to an inconsistent process model that does not accept any trace. In such a case, the output turns out to be unusable for enactment, simulation or verification purposes. In addition, the discovered model contains, in general, redundancies that are due to complex interactions of several constraints and that cannot be solved using existing pruning approaches. We address these problems by proposing a technique that automatically resolves conflicts within the discovered models and is more powerful than existing pruning techniques to eliminate redundancies. First, we formally define the problems of constraint redundancy and conflict resolution. Thereafter, we introduce techniques based on the notion of an automata-product monoid that guarantee the consistency of the discovered models and, at the same time, keep the most interesting constraints in the pruned set. We evaluate the devised techniques on real-world benchmarks." @default.
- W1413304420 created "2016-06-24" @default.
- W1413304420 creator A5007015446 @default.
- W1413304420 creator A5047795784 @default.
- W1413304420 creator A5062764959 @default.
- W1413304420 creator A5078031491 @default.
- W1413304420 date "2015-01-01" @default.
- W1413304420 modified "2023-09-27" @default.
- W1413304420 title "Ensuring Model Consistency in Declarative Process Discovery" @default.
- W1413304420 cites W1555544970 @default.
- W1413304420 cites W1660874201 @default.
- W1413304420 cites W1857461085 @default.
- W1413304420 cites W1985769033 @default.
- W1413304420 cites W2009636439 @default.
- W1413304420 cites W2017473312 @default.
- W1413304420 cites W2035125241 @default.
- W1413304420 cites W2042780115 @default.
- W1413304420 cites W2098250644 @default.
- W1413304420 cites W2105250349 @default.
- W1413304420 cites W2106821978 @default.
- W1413304420 cites W2113071192 @default.
- W1413304420 cites W2142079217 @default.
- W1413304420 cites W2156131568 @default.
- W1413304420 cites W2160967540 @default.
- W1413304420 cites W2167405691 @default.
- W1413304420 cites W66923425 @default.
- W1413304420 cites W2211321824 @default.
- W1413304420 doi "https://doi.org/10.1007/978-3-319-23063-4_9" @default.
- W1413304420 hasPublicationYear "2015" @default.
- W1413304420 type Work @default.
- W1413304420 sameAs 1413304420 @default.
- W1413304420 citedByCount "14" @default.
- W1413304420 countsByYear W14133044202016 @default.
- W1413304420 countsByYear W14133044202017 @default.
- W1413304420 countsByYear W14133044202018 @default.
- W1413304420 countsByYear W14133044202019 @default.
- W1413304420 countsByYear W14133044202020 @default.
- W1413304420 crossrefType "book-chapter" @default.
- W1413304420 hasAuthorship W1413304420A5007015446 @default.
- W1413304420 hasAuthorship W1413304420A5047795784 @default.
- W1413304420 hasAuthorship W1413304420A5062764959 @default.
- W1413304420 hasAuthorship W1413304420A5078031491 @default.
- W1413304420 hasBestOaLocation W14133044202 @default.
- W1413304420 hasConcept C108010975 @default.
- W1413304420 hasConcept C111919701 @default.
- W1413304420 hasConcept C112505250 @default.
- W1413304420 hasConcept C126255220 @default.
- W1413304420 hasConcept C127413603 @default.
- W1413304420 hasConcept C137631369 @default.
- W1413304420 hasConcept C138885662 @default.
- W1413304420 hasConcept C144133560 @default.
- W1413304420 hasConcept C152124472 @default.
- W1413304420 hasConcept C154945302 @default.
- W1413304420 hasConcept C162853370 @default.
- W1413304420 hasConcept C173404611 @default.
- W1413304420 hasConcept C174998907 @default.
- W1413304420 hasConcept C177264268 @default.
- W1413304420 hasConcept C199360897 @default.
- W1413304420 hasConcept C207505557 @default.
- W1413304420 hasConcept C2776036281 @default.
- W1413304420 hasConcept C2776436953 @default.
- W1413304420 hasConcept C33923547 @default.
- W1413304420 hasConcept C41008148 @default.
- W1413304420 hasConcept C41895202 @default.
- W1413304420 hasConcept C44616089 @default.
- W1413304420 hasConcept C49937458 @default.
- W1413304420 hasConcept C6557445 @default.
- W1413304420 hasConcept C75291252 @default.
- W1413304420 hasConcept C78519656 @default.
- W1413304420 hasConcept C80444323 @default.
- W1413304420 hasConcept C85345410 @default.
- W1413304420 hasConcept C86803240 @default.
- W1413304420 hasConcept C93453677 @default.
- W1413304420 hasConcept C98045186 @default.
- W1413304420 hasConceptScore W1413304420C108010975 @default.
- W1413304420 hasConceptScore W1413304420C111919701 @default.
- W1413304420 hasConceptScore W1413304420C112505250 @default.
- W1413304420 hasConceptScore W1413304420C126255220 @default.
- W1413304420 hasConceptScore W1413304420C127413603 @default.
- W1413304420 hasConceptScore W1413304420C137631369 @default.
- W1413304420 hasConceptScore W1413304420C138885662 @default.
- W1413304420 hasConceptScore W1413304420C144133560 @default.
- W1413304420 hasConceptScore W1413304420C152124472 @default.
- W1413304420 hasConceptScore W1413304420C154945302 @default.
- W1413304420 hasConceptScore W1413304420C162853370 @default.
- W1413304420 hasConceptScore W1413304420C173404611 @default.
- W1413304420 hasConceptScore W1413304420C174998907 @default.
- W1413304420 hasConceptScore W1413304420C177264268 @default.
- W1413304420 hasConceptScore W1413304420C199360897 @default.
- W1413304420 hasConceptScore W1413304420C207505557 @default.
- W1413304420 hasConceptScore W1413304420C2776036281 @default.
- W1413304420 hasConceptScore W1413304420C2776436953 @default.
- W1413304420 hasConceptScore W1413304420C33923547 @default.
- W1413304420 hasConceptScore W1413304420C41008148 @default.
- W1413304420 hasConceptScore W1413304420C41895202 @default.
- W1413304420 hasConceptScore W1413304420C44616089 @default.
- W1413304420 hasConceptScore W1413304420C49937458 @default.
- W1413304420 hasConceptScore W1413304420C6557445 @default.