Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
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
Sap R/3 Process Oriented Implementation
Sap R/3 Process Oriented Implementation
A Machine Learning Approach to Workflow Management
ECML '00 Proceedings of the 11th European Conference on Machine Learning
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
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
Rediscovering workflow models from event-based data using little thumb
Integrated Computer-Aided Engineering
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Towards a framework for the agile mining of business processes
BPM'05 Proceedings of the Third international conference on Business Process Management
Genetic process mining: a basic approach and its challenges
BPM'05 Proceedings of the Third international conference on Business Process Management
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Discovery, Verification and Conformance of Workflows with Cancellation
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Towards comprehensive support for organizational mining
Decision Support Systems
Process Mining towards Semantics
Advances in Web Semantics I
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
A GP Process Mining Approach from a Structural Perspective
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
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
Mining and re-engineering transactional workflows for reliable executions
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Process mining based on clustering: a quest for precision
BPM'07 Proceedings of the 2007 international conference on Business process management
Fraud detection in process aware systems
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Mining process models with prime invisible tasks
Data & Knowledge Engineering
A novel approach of process mining with event graph
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Conceptual model for online auditing
Decision Support Systems
Survey paper: Refactoring large process model repositories
Computers in Industry
Service research challenges and solutions for the future internet
Verifying trustworthiness of virtual appliances in collaborative environments
TRUST'11 Proceedings of the 4th international conference on Trust and trustworthy computing
Conceptual framework for business processes compositional verification
Information and Software Technology
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Workflow simulation for operational decision support using event graph through process mining
Decision Support Systems
Evaluation of technical measures for workflow similarity based on a pilot study
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Web service mining and verification of properties: an approach based on event calculus
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Constructing workflow clusters based on appropriateness conformance checker
AIC'10/BEBI'10 Proceedings of the 10th WSEAS international conference on applied informatics and communications, and 3rd WSEAS international conference on Biomedical electronics and biomedical informatics
Challenges in business process analysis and optimization
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
Deriving a unified fault taxonomy for event-based systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Service Oriented Computing and Applications
Hi-index | 0.00 |
Most information systems log events (e.g., transaction logs, audit trails) to audit and monitor the processes they support. At the same time, many of these processes have been explicitly modeled. For example, SAP R/3 logs events in transaction logs and there are EPCs (Event-driven Process Chains) describing the so-called reference models. These reference models describe how the system should be used. The coexistence of event logs and process models raises an interesting question: “Does the event log conform to the process model and vice versa?”. This paper demonstrates that there is not a simple answer to this question. To tackle the problem, we distinguish two dimensions of conformance: fitness (the event log may be the result of the process modeled) and appropriateness (the model is a likely candidate from a structural and behavioral point of view). Different metrics have been defined and a Conformance Checker has been implemented within the ProM Framework.