Matches in SemOpenAlex for { <https://semopenalex.org/work/W79843527> ?p ?o ?g. }
- W79843527 endingPage "92" @default.
- W79843527 startingPage "75" @default.
- W79843527 abstract "Process mining is a discipline that aims at discovering, monitoring and improving real-life processes by extracting knowledge from event logs. Process discovery and conformance checking are the two main process mining tasks. Process discovery techniques can be used to learn a process model from example traces in an event log, whereas the goal of conformance checking is to compare the observed behavior in the event log with the modeled behavior. In this paper, we propose an approach based on temporal logic query checking, which is in the middle between process discovery and conformance checking. It can be used to discover those LTL-based business rules that are valid in the log, by checking against the log a (user-defined) class of rules. The proposed approach is not limited to provide a boolean answer about the validity of a business rule in the log, but it rather provides valuable diagnostics in terms of traces in which the rule is satisfied (witnesses) and traces in which the rule is violated (counterexamples). We have implemented our approach as a proof of concept and conducted a wide experimentation using both synthetic and real-life logs." @default.
- W79843527 created "2016-06-24" @default.
- W79843527 creator A5002287827 @default.
- W79843527 creator A5007015446 @default.
- W79843527 creator A5062764959 @default.
- W79843527 creator A5068425882 @default.
- W79843527 creator A5078031491 @default.
- W79843527 date "2014-01-01" @default.
- W79843527 modified "2023-10-16" @default.
- W79843527 title "Log-Based Understanding of Business Processes through Temporal Logic Query Checking" @default.
- W79843527 cites W124909259 @default.
- W79843527 cites W1480053192 @default.
- W79843527 cites W1555544970 @default.
- W79843527 cites W1592359484 @default.
- W79843527 cites W166818797 @default.
- W79843527 cites W1700264732 @default.
- W79843527 cites W1933906947 @default.
- W79843527 cites W1988808695 @default.
- W79843527 cites W2009636439 @default.
- W79843527 cites W2023808162 @default.
- W79843527 cites W2034102118 @default.
- W79843527 cites W2096998948 @default.
- W79843527 cites W2099873140 @default.
- W79843527 cites W2104537183 @default.
- W79843527 cites W2110279509 @default.
- W79843527 cites W2116117396 @default.
- W79843527 cites W2117189826 @default.
- W79843527 cites W2142079217 @default.
- W79843527 cites W2143962534 @default.
- W79843527 cites W2156131568 @default.
- W79843527 cites W2160967540 @default.
- W79843527 cites W2340735175 @default.
- W79843527 cites W2405800102 @default.
- W79843527 cites W2497180905 @default.
- W79843527 cites W2913459036 @default.
- W79843527 cites W2946553200 @default.
- W79843527 cites W790410956 @default.
- W79843527 cites W81200208 @default.
- W79843527 cites W2507030177 @default.
- W79843527 doi "https://doi.org/10.1007/978-3-662-45563-0_5" @default.
- W79843527 hasPublicationYear "2014" @default.
- W79843527 type Work @default.
- W79843527 sameAs 79843527 @default.
- W79843527 citedByCount "18" @default.
- W79843527 countsByYear W798435272016 @default.
- W79843527 countsByYear W798435272017 @default.
- W79843527 countsByYear W798435272018 @default.
- W79843527 countsByYear W798435272019 @default.
- W79843527 countsByYear W798435272020 @default.
- W79843527 countsByYear W798435272021 @default.
- W79843527 countsByYear W798435272022 @default.
- W79843527 countsByYear W798435272023 @default.
- W79843527 crossrefType "book-chapter" @default.
- W79843527 hasAuthorship W79843527A5002287827 @default.
- W79843527 hasAuthorship W79843527A5007015446 @default.
- W79843527 hasAuthorship W79843527A5062764959 @default.
- W79843527 hasAuthorship W79843527A5068425882 @default.
- W79843527 hasAuthorship W79843527A5078031491 @default.
- W79843527 hasConcept C110251889 @default.
- W79843527 hasConcept C118615104 @default.
- W79843527 hasConcept C120567893 @default.
- W79843527 hasConcept C121332964 @default.
- W79843527 hasConcept C124101348 @default.
- W79843527 hasConcept C124670913 @default.
- W79843527 hasConcept C144133560 @default.
- W79843527 hasConcept C162838799 @default.
- W79843527 hasConcept C162853370 @default.
- W79843527 hasConcept C174998907 @default.
- W79843527 hasConcept C199360897 @default.
- W79843527 hasConcept C207505557 @default.
- W79843527 hasConcept C25016198 @default.
- W79843527 hasConcept C2775948798 @default.
- W79843527 hasConcept C2779662365 @default.
- W79843527 hasConcept C33923547 @default.
- W79843527 hasConcept C41008148 @default.
- W79843527 hasConcept C62520636 @default.
- W79843527 hasConcept C80309976 @default.
- W79843527 hasConcept C80444323 @default.
- W79843527 hasConcept C85345410 @default.
- W79843527 hasConcept C93453677 @default.
- W79843527 hasConcept C98045186 @default.
- W79843527 hasConceptScore W79843527C110251889 @default.
- W79843527 hasConceptScore W79843527C118615104 @default.
- W79843527 hasConceptScore W79843527C120567893 @default.
- W79843527 hasConceptScore W79843527C121332964 @default.
- W79843527 hasConceptScore W79843527C124101348 @default.
- W79843527 hasConceptScore W79843527C124670913 @default.
- W79843527 hasConceptScore W79843527C144133560 @default.
- W79843527 hasConceptScore W79843527C162838799 @default.
- W79843527 hasConceptScore W79843527C162853370 @default.
- W79843527 hasConceptScore W79843527C174998907 @default.
- W79843527 hasConceptScore W79843527C199360897 @default.
- W79843527 hasConceptScore W79843527C207505557 @default.
- W79843527 hasConceptScore W79843527C25016198 @default.
- W79843527 hasConceptScore W79843527C2775948798 @default.
- W79843527 hasConceptScore W79843527C2779662365 @default.
- W79843527 hasConceptScore W79843527C33923547 @default.
- W79843527 hasConceptScore W79843527C41008148 @default.