Communications of the ACM - Special issue on analysis and modeling in software development
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)
On the discovery of process models from their instances
Decision Support Systems
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Role-Based Access Control
Automata-Based Verification of Temporal Properties on Running Programs
Proceedings of the 16th IEEE international conference on Automated software engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
The Consistency of Task-Based Authorization Constraints in Workflow Systems
CSFW '04 Proceedings of the 17th IEEE workshop on Computer Security Foundations
Annals of Mathematics and Artificial Intelligence
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Specification and validation of process constraints for flexible workflows
Information Systems
Business process mining: An industrial application
Information Systems
Conformance checking of processes based on monitoring real behavior
Information Systems
Applied Ontology
Robust Process Discovery with Artificial Negative Events
The Journal of Machine Learning Research
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
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Preprocessing support for large scale process mining of SAP transactions
BPM'07 Proceedings of the 2007 international conference on Business process management
Similarity of business process models: Metrics and evaluation
Information Systems
Digraphs: Theory, Algorithms and Applications
Digraphs: Theory, Algorithms and Applications
A business process mining application for internal transaction fraud mitigation
Expert Systems with Applications: An International Journal
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
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
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
Monitoring care processes in the gynecologic oncology department
Computers in Biology and Medicine
| Hi-index | 0.00 |
Process mining researchers have primarily focused on developing and improving process discovery techniques, while attention for the applicability of process mining has been below par. As a result, there only exists a partial fit with the traditional requirements for compliance checking and risk management. This paper proposes a comprehensive rule-based process mining approach for a timely investigation of a complete set of enriched process event data. Additionally, the contribution elaborates a two-dimensional business rule taxonomy that serves as a source of business rules for the comprehensive rule-based compliance checking approach. Finally, the study provides a formal grounding for and an evaluation of the comprehensive rule-based compliance checking approach.