Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Database transaction models for advanced applications
Concurrency control and recovery of multidatabase work flows in telecommunication applications
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Specification and execution of transactional workflows
Modern database systems
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 2
Flexible specification of workflow compensation scopes
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
FlowBack: providing backward recovery for workflow management systems
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Verification problems in conceptual workflow specifications
Data & Knowledge Engineering - Special issue on ER '96
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
A general framework to build contextual cover set
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Processing Xml with Java
Discovery of Frequent Episodes in Event Sequences
Data Mining and Knowledge Discovery
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
Exception Handling for Conflict Resolution in Cross-Organizational Workflows
Distributed and Parallel Databases
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Failure Handling and Coordinated Execution of Concurrent Workflows
ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
A Multidatabase Transaction Model for InterBase
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Business Process Coordination: State of the Art, Trends, and Open Issues
Proceedings of the 27th International Conference on Very Large Data Bases
Using Flexible Transactions to Support Multi-System Telecommunication Applications
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Data Warehouse for Workflow Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Two-Layer Transaction Management for Workflow Management Applications
DEXA '97 Proceedings of the 8th International Conference on Database and Expert Systems Applications
COOPIS '96 Proceedings of the First IFCIS International Conference on Cooperative Information Systems
Workflow mining: a survey of issues and approaches
Data & Knowledge Engineering
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Event Calculus Reasoning Through Satisfiability
Journal of Logic and Computation
AICT-ICIW '06 Proceedings of the Advanced Int'l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
Conformance checking of service behavior
ACM Transactions on Internet Technology (TOIT)
Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance
Electronic Notes in Theoretical Computer Science (ENTCS)
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 regions of languages
BPM'07 Proceedings of the 5th international conference on Business process management
Towards mining structural workflow patterns
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Mining workflow recovery from event based logs
BPM'05 Proceedings of the 3rd international conference on Business Process Management
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
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
A bottom-up workflow mining approach for workflow applications analysis
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
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
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
| Hi-index | 0.00 |
A continuous evolution of business process parameters, constraints and needs, hardly foreseeable initially, requires a continuous design from the business process management systems. In this article we are interested in developing a reactive design through process log analysis ensuring process re-engineering and execution reliability. We propose to analyse workflow logs to discover workflow transactional behaviour and to subsequently improve and correct related recovery mechanisms. Our approach starts by collecting workflow logs. Then, we build, by statistical analysis techniques, an intermediate representation specifying elementary dependencies between activities. These dependencies are refined to mine the transactional workflow model. The analysis of the discrepancies between the discovered model and the initially designed model enables us to detect design gaps, concerning particularly the recovery mechanisms. Thus, based on this mining step, we apply a set of rules on the initially designed workflow to improve workflow reliability.