325,300 Hits in 2.4 sec

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.  ...  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

Automatic modularity conformance checking

Sunny Huynh, Yuanfang Cai, Yuanyuan Song, Kevin Sullivan
2008 Proceedings of the 13th international conference on Software engineering - ICSE '08  
We present an automated approach to check the conformance of implemented modularity to designed modularity, using design structure matrices as a uniform representation for both.  ...  We also show that design and implementation models together provide a comprehensive view of modular structure that makes certain implicit dependencies within code explicit.  ...  We then check the conformance between Parnas's design and the IICM implementations. KWIC SQ.  ... 
doi:10.1145/1368088.1368144 dblp:conf/icse/HuynhCSS08 fatcat:f2see54tp5eclbqc3e2vjk4lwi

Conformance checking of service behavior

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek
2008 ACM Transactions on Internet Technology  
This paper shows that it is possible to translate BPEL business protocols to Petri nets and to relate SOAP messages to transitions in the Petri net.  ...  As a result, Petri net-based conformance checking techniques can be used to quantify fitness (whether the observed behavior is possible in the business protocol) and appropriateness (whether the observed  ...  Choreography conformance checking benefits from the coexistence of event logs and process models and may be viewed from two angles.  ... 
doi:10.1145/1361186.1361189 fatcat:uuxjvuqoqzhedlmxt34jxh4o44

Online Conformance Checking Using Behavioural Patterns [chapter]

Andrea Burattin, Sebastiaan J. van Zelst, Abel Armas-Cervantes, Boudewijn F. van Dongen, Josep Carmona
2018 Lecture Notes in Computer Science  
The field of conformance checking aims to quantify the extent to which the execution of a process, captured within recorded corresponding event data, conforms to a given reference process model.  ...  In this paper, we present a generic framework for online conformance checking, in which the underlying process is represented in terms of behavioural patterns and no assumption on the starting point of  ...  Acknowledgments This work has been partially supported by MINECO and FEDER funds under grant TIN2017-86727-C2-1-R. Bibliography [1] van der Aalst, W.M.P.: Process Mining: Data Science in Action.  ... 
doi:10.1007/978-3-319-98648-7_15 fatcat:ldaxhuu6ifh5bj55kasx55txdq

Logic-Based Regulatory Conformance Checking [chapter]

Nikhil Dinesh, Aravind K. Joshi, Insup Lee, Oleg Sokolsky
2008 Lecture Notes in Computer Science  
Conformance is cast as a model checking question where the regulation is represented in a logic that is evaluated against an abstract model representing the operations of an organization.  ...  Regulatory bases are large and complex, and the long term goal of our work is to be able to use natural language processing (NLP) to assist in the translation of regulation to logic.  ...  We approach the problem of formally determining conformance to regulation as a model-checking question.  ... 
doi:10.1007/978-3-540-89778-1_12 fatcat:aghdy75t6zfh7lj2sbmoua5cly

Conformance Checking over Uncertain Event Data [article]

Marco Pegoraro, Merih Seran Uysal, Wil M.P. van der Aalst
2020 arXiv   pre-print
Process mining techniques enable the process-centric analysis of data, including automatically discovering process models and checking if event data conform to a given model.  ...  In this work, we define a taxonomy of uncertain event logs and models, and we examine the challenges that uncertainty poses on process discovery and conformance checking.  ...  Starting from an event log and a process model, conformance checking verifies if the event data in the log conforms to the model, providing a diagnostic of the deviations.  ... 
arXiv:2009.14452v2 fatcat:dx3lw76ju5bw5dfhux7kx7lh7m

Scalable Conformance Checking of Business Processes [chapter]

Daniel Reißner, Raffaele Conforti, Marlon Dumas, Marcello La Rosa, Abel Armas-Cervantes
2017 Lecture Notes in Computer Science  
Existing conformance checking techniques that achieve these properties do not scale up to real-life process models and logs.  ...  Given a process model representing the expected behavior of a business process and an event log recording its actual execution, the problem of business process conformance checking is that of detecting  ...  This research is partly funded by the Australian Research Council (grant DP150103356) and the Estonian Research Council (grant IUT20-55).  ... 
doi:10.1007/978-3-319-69462-7_38 fatcat:worhn7ewtbfercypgyzm7xw6dm

Cost-Based Fitness in Conformance Checking

A. Adriansyah, N. Sidorova, B.F. van Dongen
2011 2011 Eleventh International Conference on Application of Concurrency to System Design  
In this paper, we present a robust conformance checking technique based on Petri net techniques allowing us to lift assumptions and to take into account the cost of deviating from given models.  ...  Experience in business process analysis shows that operational processes often do not conform to process models.  ...  RELATED WORK AND DISCUSSION There are already several metrics that quantify the extent a given process execution or a set of executions (a log) conforms to a given process model.  ... 
doi:10.1109/acsd.2011.19 dblp:conf/acsd/AdriansyahSD11 fatcat:asts5ew56vbinibwv2bkp7lc3q

Distributed Process Discovery and Conformance Checking [chapter]

Wil M. P. van der Aalst
2012 Lecture Notes in Computer Science  
The two most important types of process mining are process discovery (i.e., learning a process model from example behavior recorded in an event log) and conformance checking (i.e., comparing modeled behavior  ...  ., Petri nets) and declarative process models. Most challenging is the horizontal partitioning of event logs in the context of procedural models.  ...  their work on conformance checking), and Maja Pesic, Fabrizio Maggi, and Michael Westergaard (for their work on Declare).  ... 
doi:10.1007/978-3-642-28872-2_1 fatcat:h3succnwgrdsjh6ttpyx7zixg4

A Framework for Online Conformance Checking [chapter]

Andrea Burattin, Josep Carmona
2018 Lecture Notes in Business Information Processing  
Conformance checking -a branch of process mining -focuses on establishing to what extent actual executions of a process are in line with the expected behavior of a reference model.  ...  Current conformance checking techniques only allow for a-posteriori analysis: the amount of (non-)conformant behavior is quantified after the completion of the process instance.  ...  This work was partially funded by the Spanish Ministry for Economy and Competitiveness (MINECO) and the EU (FEDER funds) under grant COMMAS (TIN2013-46181-C2-1-R).  ... 
doi:10.1007/978-3-319-74030-0_12 fatcat:ufqvlrsad5bj7fuhamvx4omvcm

Streaming Process Discovery and Conformance Checking [chapter]

Andrea Burattin
2018 Encyclopedia of Big Data Technologies  
a process model or to assess their conformance with respect to a given reference model.  ...  Synonyms Online process mining; online process discovery; online conformance checking.  ...  Concerning imperative models, online conformance checking received less attention.  ... 
doi:10.1007/978-3-319-63962-8_103-1 fatcat:c6xrsnhtknehvpthrwuwnu3ksi

Scalable process discovery and conformance checking

Sander J. J. Leemans, Dirk Fahland, Wil M. P. van der Aalst
2016 Journal of Software and Systems Modeling  
Discovering a process model from such event data and verification of the quality of discovered models are important steps in process mining.  ...  To measure the quality of discovered models for such large logs, we introduce a model-model and model-log comparison framework that applies a divide-and-conquer strategy to measure recall, fitness, and  ...  As shown in Fig. 1 , two types of conformance checking exist: log-model conformance checking and model-model conformance checking.  ... 
doi:10.1007/s10270-016-0545-x pmid:29706859 pmcid:PMC5910523 fatcat:23pxm6bspjazlbx2qd52ops7m4

Optimizing post-silicon conformance checking

Li Lei, Kai Cong, Fei Xie
2013 2013 IEEE 31st International Conference on Computer Design (ICCD)  
In previous work, we presented a post-silicon conformance checking approach to detecting interface state inconsistencies between a silicon device and its virtual device.  ...  In this paper, we present an optimization, adaptive concretization, to reduce the overhead incurred by symbolic execution, a key technique used in our conformance checking approach.  ...  POST-SILICON CONFORMANCE CHECKING A. Definitions for Conformance Checking In [1] , the conformance is defined between the states of the silicon and virtual devices.  ... 
doi:10.1109/iccd.2013.6657092 dblp:conf/iccd/LeiCX13 fatcat:oimbyze4pfaorm7qrcef4ud73e

Checking Traces for Regulatory Conformance [chapter]

Nikhil Dinesh, Aravind Joshi, Insup Lee, Oleg Sokolsky
2008 Lecture Notes in Computer Science  
Food and Drug Administration regulations that apply to bloodbanks -organizations that collect, process, store, and use donations of blood and blood components.  ...  We consider the problem of checking whether the operations of an organization conform to a body of regulation. The immediate motivation comes from the analysis of the U.S.  ...  Formal definitions of conformance are given. We then extend the logic to allow sentences to refer to others, in Section 3.3. Section 4 describes the checking process.  ... 
doi:10.1007/978-3-540-89247-2_6 fatcat:yrwwtswujfeh7fykwy4o3whdly

Runtime Conformance Checking of Objects Using Alloy

Michelle L. Crane, Juergen Dingel
2003 Electronical Notes in Theoretical Computer Science  
In this paper, we demonstrate how confidence in source code can be increased by using runtime conformance checking to analyze the code with respect to an object model.  ...  The design, implementation and evaluation of a prototype runtime conformance checker for Java programs with respect to Alloy object models is described.  ...  Acknowledgements We would like to acknowledge the invaluable assistance of Daniel Jackson and Ilya Shlyakhter from the Software Design Group at MIT.  ... 
doi:10.1016/s1571-0661(04)81040-5 fatcat:ugkdltvnhnhq5orhk6erqntgxq
« Previous Showing results 1 — 15 out of 325,300 results