Filters








381,038 Hits in 2.5 sec

Applying MapReduce to Conformance Checking
Применение MapReduce для проверки соответствия моделей процессов и логов событий

I.S. Shugurov, A.A. Mitsyuk
2016 Proceedings of the Institute for System Programming of RAS  
MapReduce is a popular model of parallel computing which allows for simple implementation of efficient and scalable distributed calculations.  ...  Solving this particular problem is of high importance for checking conformance between real-life business process models and event logs, which might be quite problematic using existing approaches.  ...  Moreover, its existing implementation keeps the processed models, event logs, event nets, and computed alignments in computer's main memory.  ... 
doi:10.15514/ispras-2016-28(3)-7 fatcat:mngicibgavh5nbulzb4gcdvv4y

Online conformance checking: relating event streams to process models using prefix-alignments

Sebastiaan J. van Zelst, Alfredo Bolt, Marwan Hassani, Boudewijn F. van Dongen, Wil M. P. van der Aalst
2017 International Journal of Data Science and Analytics  
Conformance checking techniques allow us to assess to what degree such process models and corresponding process execution data correspond to one another.  ...  Companies often specify the intended behaviour of their business processes in a process model.  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s41060-017-0078-6 dblp:journals/ijdsa/ZelstBHDA19 fatcat:23xvabwzmfheddmiwnxh3mjr5e

Constructing Probable Explanations of Nonconformity: A Data-Aware and History-Based Approach

Mahdi Alizadeh, Massimiliano De Leoni, Nicola Zannone
2015 2015 IEEE Symposium Series on Computational Intelligence  
In particular, we show how cost functions can be automatically computed based on historical logging data and taking into account multiple process perspectives.  ...  Conformance checking has been proposed as a viable approach to analyze process executions with respect to a process model.  ...  Acknowledgments: This work has been partially funded by the NWO CyberSecurity programme under the PriCE project, the Dutch national program COMMIT under the THeCS project and the European Community's Seventh  ... 
doi:10.1109/ssci.2015.194 dblp:conf/ssci/AlizadehLZ15 fatcat:zfc7c56nlbgvrl5zn2sirs6sii

Conformance Checking Approximation using Subset Selection and Edit Distance [article]

Mohammadreza Fani Sani, Sebastiaan J. van Zelst, Wil M.P. van der Aalst
2019 arXiv   pre-print
Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other.  ...  Specifically, for large event data, the computing time for alignments is considerably long using current techniques which makes them inapplicable in reality.  ...  Instead of computing the accurate alignment between the process model and all the traces available in the event log, we propose to just consider a subset of possible behavior in the process model and use  ... 
arXiv:1912.05022v1 fatcat:fmuvckqpdneurkss3fbslfmkui

Conformance Checking Approximation Using Subset Selection and Edit Distance [chapter]

Mohammadreza Fani Sani, Sebastiaan J. van Zelst, Wil M. P. van der Aalst
2020 Lecture Notes in Computer Science  
Conformance checking techniques let us find out to what degree a process model and real execution data correspond to each other.  ...  Specifically, for large event data, the computation time for alignments is considerably long using current techniques which makes them inapplicable in reality.  ...  Instead of computing the accurate alignment between the process model and all the traces available in the event log, we propose to just consider a subset of possible behavior in the process model and use  ... 
doi:10.1007/978-3-030-49435-3_15 fatcat:iukkimdtq5bt3beinfkgwq3cfa

The Alignment of Formal, Structured and Unstructured Process Descriptions [chapter]

Josep Carmona
2017 Lecture Notes in Computer Science  
Alignment APPROXIMATE ALIGNMENTSComputing alignments more efficiently  Computing alignments at different level of granularities Process Model Trace METHOD Approximate Alignment Finest  ...  at different level of granularities APPROXIMATE ALIGNMENTSComputing alignments more efficiently  Computing alignments at different level of granularities Process Model Trace METHOD Approximate  ... 
doi:10.1007/978-3-319-57861-3_1 fatcat:oysgpwgoofftvi6fve4r5mmpke

Data- and Resource-Aware Conformance Checking of Business Processes [chapter]

Massimiliano de Leoni, Wil M. P. van der Aalst, Boudewijn F. van Dongen
2012 Lecture Notes in Business Information Processing  
This paper describes an approach that aligns event log and model while taking all perspectives into account (i.e., also data and resources).  ...  Process mining is not restricted to process discovery and also includes conformance checking, i.e., checking whether observed behavior recorded in the event log matches modeled behavior.  ...  Therefore, an event log is a multi-set of traces, i.e., L ∈ B(S * ). 3 Aligning Event Log and Process Model Conformance checking requires an alignment of event log L and process model P: the events  ... 
doi:10.1007/978-3-642-30359-3_5 fatcat:cjggyhzzgzfxxfpw5bcejv5isu

Conformance checking

Sebastian Dunzer, Matthias Stierle, Martin Matzner, Stephan Baier
2019 Proceedings of the 11th International Conference on Subject-Oriented Business Process Management - S-BPM ONE '19  
Conformance checking is a set of process mining functions that compare process instances with a given process model.  ...  Researchers have proposed a variety of conformance checking techniques that are geared towards certain process model notations or specific applications such as process model evaluation.  ...  [31] evolve basic alignments into balanced multiperspective alignments that align resource and context-data between an event log and a model.  ... 
doi:10.1145/3329007.3329014 dblp:conf/s-bpm-one/DunzerSMB19 fatcat:cyfmzukjefa4fjyp5bdmxwalya

Conformance Checking Techniques of Process Mining: A Survey [chapter]

Ashok Kumar Saini, Ruchi Kamra, Utpal Shrivastava
2021 Advances in Parallel Computing  
The key intention of Process Mining is to extracting facts from the event log and used them for analysis, ratification, improvement, and redesigning of a process.  ...  Researchers have proposed various CC techniques for specific applications and process models. This paper has a detailed study of key concepts and contributions of Process Mining.  ...  Such methods are based on the decomposition of model and event log into small components and aligned respectively; the decomposition technique shows better computation time.  ... 
doi:10.3233/apc210213 fatcat:6kakp6cvvrc6jnyfljo7kyog34

History-Based Construction of Alignments for Conformance Checking: Formalization and Implementation [chapter]

Mahdi Alizadeh, Massimiliano de Leoni, Nicola Zannone
2015 Lecture Notes in Business Information Processing  
Our approach has been implemented in ProM and evaluated using both synthetic and real-life data.  ...  The cost function only relies on objective factors and thus enables the construction of probable alignments, i.e. alignments that provide probable explanations of nonconformity.  ...  Acknowledgement This work has been partially funded by the NWO CyberSecurity programme under the PriCE project, the Dutch national program COMMIT under the THeCS project and the European Communitys Seventh  ... 
doi:10.1007/978-3-319-27243-6_3 fatcat:kane5koc55frbjq5etlkbl25ym

Conformance Checking Based on Partially Ordered Event Data [chapter]

Xixi Lu, Dirk Fahland, Wil M. P. van der Aalst
2015 Lecture Notes in Business Information Processing  
DTest … … E A H L D R C D1 D1 D1 • Handle unreliability, flexibility and concurrency -Partially ordered alignments • reveal useful insights into the structural information of process executions in addition  ...  • Difficult to recall dependencies and concurrency Data-Based Partially Ordered Traces -Case studies using real-life data sets -Other ways to compute partially ordered traces C R E A Trace A L > > E Run  ... 
doi:10.1007/978-3-319-15895-2_7 fatcat:r6dv2eoo7nhq7l4vvztluicdgu

Repairing Alignments of Process Models

Sebastiaan J. van Zelst, Joos C. A. M. Buijs, Borja Vázquez-Barreiros, Manuel Lama, Manuel Mucientes
2019 Business & Information Systems Engineering  
Process mining represents a collection of data driven techniques that support the analysis, understanding and improvement of business processes.  ...  For collections of such models, computing alignments from scratch is inefficient, since large parts of the alignments are likely to be the same.  ...  Galician Ministry of Education under the projects EM2014/012, CN2012/151, GRC2014/030, and the DELI-BIDA research program supported by NWO.  ... 
doi:10.1007/s12599-019-00601-7 fatcat:hxzpzpyicnfpthziict67cc5kq

Computing Models for FPGA-Based Accelerators

Martin C. Herbordt, Yongfeng Gu, Tom VanCourt, Josh Model, Bharat Sukhwani, Matt Chiu
2008 Computing in science & engineering (Print)  
better way (BLAST) The BLAST heuristic … An Observation DP and BLAST are duals of each other … DP  processes M alignments simultaneously;  processing is perpendicular to main diagonal BLAST  processes  ...  Simulation of MD*• Simulation with simplified models • Approximate forces with barriers and square wells • Classic discrete event simulation *FPL07, FCCM08DMD step-wise force approximationDiscrete Event  ...  Overview -Dataflow Main idea: DMD in one big pipeline • Events processed with a throughput of one event per cycle • Therefore, in a single cycle:  ... 
doi:10.1109/mcse.2008.143 pmid:21603152 pmcid:PMC3096930 fatcat:grnengnuwfehdpcbgp2lp3ripa

Conformance checking in healthcare based on partially ordered event data

Xixi Lu, Ronny S. Mans, Dirk Fahland, Wil M.P. van der Aalst
2014 Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA)  
Conformance checking can be used to improve processes by analyzing event data and directly relating observed behavior and modeled behavior.  ...  The approach has been implemented in ProM and was evaluated using event data from a Dutch hospital.  ...  ACKNOWLEDGMENT This research is supported by the Dutch Cyber Security program in the context of the PriCE project and by the Dutch Technology Foundation STW, applied science division of NWO and the Technology  ... 
doi:10.1109/etfa.2014.7005060 dblp:conf/etfa/LuMFA14 fatcat:2m2btm2dqjbwhkxw6jdtzqwpgy

Extending Process Logs with Events from Supplementary Sources [chapter]

Felix Mannhardt, Massimiliano de Leoni, Hajo A. Reijers
2015 Lecture Notes in Business Information Processing  
We establish this correlation by using the controlow, time, resource, and data perspectives of a process model, as well as alignment diagnostics.  ...  Since organizations typically use more than a single IT system, information about the execution of a process is rarely available in a single event log.  ...  The technique employs both an alignment of observed event data with a process model and constraints dened by the control-ow, time, resource, and data perspectives of the process model to correlate events  ... 
doi:10.1007/978-3-319-15895-2_21 fatcat:rjnpl5a6rbc7xioxbf6f2qgnm4
« Previous Showing results 1 — 15 out of 381,038 results