Free choice Petri nets
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Aris-Business Process Modeling
Aris-Business Process Modeling
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
Improving Business Process Quality through Exception Understanding, Prediction, and Prevention
Proceedings of the 27th International Conference on Very Large Data Bases
Workflow-Based Process Monitoring and Controlling ¾ Technical and Organizational Issues
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
ProM 4.0: comprehensive support for real process analysis
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Can i execute my scenario in your net? viptool tells you!
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A generic import framework for process event logs
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Can i execute my scenario in your net?
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Conformance testing: measuring the fit and appropriateness of event logs and process models
BPM'05 Proceedings of the Third international conference on Business Process Management
Towards a framework for the agile mining of business processes
BPM'05 Proceedings of the Third international conference on Business Process Management
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Mining taxonomies of process models
Data & Knowledge Engineering
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
A journey to highly dynamic, self-adaptive service-based applications
Automated Software Engineering
Diagnosing Differences between Business Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Automatic Extraction of Process Control Flow from I/O Operations
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Information Systems
Using minimum description length for process mining
Proceedings of the 2009 ACM symposium on Applied Computing
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments
Transactions on Petri Nets and Other Models of Concurrency II
Experimenting statecharts for multiple experts knowledge elicitation in agriculture
Expert Systems with Applications: An International Journal
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Divide-and-Conquer Strategies for Process Mining
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Fitting a workflow model to captured development data
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
The need for a process mining evaluation framework in research and practice: position paper
BPM'07 Proceedings of the 2007 international conference on Business process management
Process discovery: capturing the invisible
IEEE Computational Intelligence Magazine
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
A fresh look at precision in process conformance
BPM'10 Proceedings of the 8th international conference on Business process management
Trace alignment in process mining: opportunities for process diagnostics
BPM'10 Proceedings of the 8th international conference on Business process management
Beyond process mining: from the past to present and future
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Process mining meets abstract interpretation
ECML PKDD'10 Proceedings of the 2010 European conference on Machine learning and knowledge discovery in databases: Part I
Time prediction based on process mining
Information Systems
Improving the understanding of BAM technology for real-time decision support
International Journal of Business Information Systems
Conceptual model for online auditing
Decision Support Systems
Rbminer: a tool for discovering Petri nets from transition systems
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Process discovery in event logs: An application in the telecom industry
Applied Soft Computing
Toward objective software process information: experiences from a case study
Software Quality Control
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Quality assessment of business process models based on thresholds
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Towards thresholds of control flow complexity measures for BPMN models
Proceedings of the 2011 ACM Symposium on Applied Computing
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Service research challenges and solutions for the future internet
Process compliance analysis based on behavioural profiles
Information Systems
Verifying trustworthiness of virtual appliances in collaborative environments
TRUST'11 Proceedings of the 4th international conference on Trust and trustworthy computing
Product-based workflow design for monitoring of collaborative business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Purpose control: did you process the data for the intended purpose?
SDM'11 Proceedings of the 8th VLDB international conference on Secure data management
A principled approach to the analysis of process mining algorithms
IDEAL'11 Proceedings of the 12th international conference on Intelligent data engineering and automated learning
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
Conformance checking of interacting processes with overlapping instances
BPM'11 Proceedings of the 9th international conference on Business process management
Simplifying mined process models: an approach based on unfoldings
BPM'11 Proceedings of the 9th international conference on Business process management
Optimizing the trade-off between complexity and conformance in process reduction
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Process diagnostics using trace alignment: Opportunities, issues, and challenges
Information Systems
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Similarity metrics for surgical process models
Artificial Intelligence in Medicine
Business process model repositories - Framework and survey
Information and Software Technology
Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium
Projection approaches to process mining using region-based techniques
Data Mining and Knowledge Discovery
Assisting conformance checks between architectural scenarios and implementation
Information and Software Technology
Proceedings of the 5th India Software Engineering Conference
Resource behavior measure and application in business process management
Expert Systems with Applications: An International Journal
Compliance in service-oriented architectures: A model-driven and view-based approach
Information and Software Technology
Process mining from a basis of state regions
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Investigations on Stochastic Information Control Nets
Information Sciences: an International Journal
From network mining to large scale business networks
Proceedings of the 21st international conference companion on World Wide Web
Using process mining metrics to measure noisy process fidelity
EASE'09 Proceedings of the 13th international conference on Evaluation and Assessment in Software Engineering
Process Mining: Overview and Opportunities
ACM Transactions on Management Information Systems (TMIS)
On the exploitation of process mining for security audits: the conformance checking case
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Communications of the ACM
Distributed process discovery and conformance checking
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
A Study of Quality and Accuracy Trade-offs in Process Mining
INFORMS Journal on Computing
Data & Knowledge Engineering
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
Applying process analysis to the italian egovernment enterprise architecture
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Implementing design principles for collaborative ERP systems
DESRIST'12 Proceedings of the 7th international conference on Design Science Research in Information Systems: advances in theory and practice
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Light Region-based Techniques for Process Discovery
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
Decomposing process mining problems using passages
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
On profiles and footprints --- relational semantics for petri nets
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
What makes a good process model?
Software and Systems Modeling (SoSyM)
Aligning event logs and declarative process models for conformance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Measuring privacy compliance using fitness metrics
BPM'12 Proceedings of the 10th international conference on Business Process Management
Repairing process models to reflect reality
BPM'12 Proceedings of the 10th international conference on Business Process Management
Where did i misbehave? diagnostic information in compliance checking
BPM'12 Proceedings of the 10th international conference on Business Process Management
Domain-driven reduction optimization of recovered business processes
SSBSE'12 Proceedings of the 4th international conference on Search Based Software Engineering
Simplifying discovered process models in a controlled manner
Information Systems
A comparative study of dimensionality reduction techniques to enhance trace clustering performances
Expert Systems with Applications: An International Journal
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Getting a grasp on clinical pathway data: an approach based on process mining
PAKDD'12 Proceedings of the 2012 Pacific-Asia conference on Emerging Trends in Knowledge Discovery and Data Mining
Embedding conformance checking in a process intelligence system in hospital environments
BPM' 2012 Proceedings of the 2012 international conference on Process Support and Knowledge Representation in Health Care
Domain-specific language for event-based compliance monitoring in process-driven SOAs
Service Oriented Computing and Applications
Amending C-net discovery algorithms
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Information Sciences: an International Journal
Managing legal interpretation in regulatory compliance
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Hierarchical conformance checking of process models based on event logs
PETRI NETS'13 Proceedings of the 34th international conference on Application and Theory of Petri Nets and Concurrency
A network-centric BPMN model for business network management
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Challenges in service mining: record, check, discover
ICWE'13 Proceedings of the 13th international conference on Web Engineering
BPM'13 Proceedings of the 11th international conference on Business Process Management
Conformance checking in the large: partitioning and topology
BPM'13 Proceedings of the 11th international conference on Business Process Management
Modeling Data for Enterprise Systems with Memories
Journal of Database Management
Acquiring logistics process intelligence: Methodology and an application for a Chinese bulk port
Expert Systems with Applications: An International Journal
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Service Oriented Computing and Applications
Retrieval and clustering for supporting business process adjustment and analysis
Information Systems
Monitoring care processes in the gynecologic oncology department
Computers in Biology and Medicine
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.02 |
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in transaction logs or audit trails) related to the actual business process executions. On the other hand explicit process models describing how the business process should (or is expected to) be executed are frequently available. Together with the data recorded in the log, this situation raises the interesting question ''Do the model and the log conform to each other?''. Conformance checking, also referred to as conformance analysis, aims at the detection of inconsistencies between a process model and its corresponding execution log, and their quantification by the formation of metrics. This paper proposes an incremental approach to check the conformance of a process model and an event log. First of all, the fitness between the log and the model is measured (i.e., ''Does the observed process comply with the control flow specified by the process model?''). Second, the appropriateness of the model can be analyzed with respect to the log (i.e., ''Does the model describe the observed process in a suitable way?''). Appropriateness can be evaluated from both a structural and a behavioral perspective. To operationalize the ideas presented in this paper a Conformance Checker has been implemented within the ProM framework, and it has been evaluated using artificial and real-life event logs.