Communications of the ACM
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Debugging heterogeneous distributed systems using event-based models of behavior
PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Observer-A Concept for Formal On-Line Validation of Distributed Systems
IEEE Transactions on Software Engineering
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Design Recovery for Distributed Systems
IEEE Transactions on Software Engineering
Cost-Effective Analysis of In-Place Software Processes
IEEE Transactions on Software Engineering
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
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
Inference of message sequence charts
Proceedings of the 22nd international conference on Software engineering
ACM Computing Surveys (CSUR)
Inductive Inference: Theory and Methods
ACM Computing Surveys (CSUR)
Mining Process Models from Workflow Logs
EDBT '98 Proceedings of the 6th International Conference on Extending Database Technology: Advances in Database Technology
Learning Stochastic Regular Grammars by Means of a State Merging Method
ICGI '94 Proceedings of the Second International Colloquium on Grammatical Inference and Applications
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Inductive Inference, DFAs, and Computational Complexity
AII '89 Proceedings of the International Workshop on Analogical and Inductive Inference
On Monotonic Strategies for Learning r.e. Languages
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
Language Learning from Good Examples
AII '94 Proceedings of the 4th International Workshop on Analogical and Inductive Inference: Algorithmic Learning Theory
From Scenarios to Timed Automata: Building Specifications from Users Requirements
APSEC '95 Proceedings of the Second Asia Pacific Software Engineering Conference
Understanding the Behavior of Java Programs
WCRE '00 Proceedings of the Seventh Working Conference on Reverse Engineering (WCRE'00)
Process discovery and validation through event-data analysis
Process discovery and validation through event-data analysis
Perracotta: mining temporal API rules from imperfect traces
Proceedings of the 28th international conference on Software engineering
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Event summarization for system management
Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining
Mining process models with non-free-choice constructs
Data Mining and Knowledge Discovery
P4LM: A methodology for product lifecycle management
Computers in Industry
Toasters, Seat Belts, and Inferring Program Properties
Verified Software: Theories, Tools, Experiments
Process Mining towards Semantics
Advances in Web Semantics I
Using Genetic Process Mining Technology to Construct a Time-Interval Process Model
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
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
Discovering expressive process models from noised log data
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Process mining framework for software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
Mining invisible tasks from event logs
APWeb/WAIM'07 Proceedings of the joint 9th Asia-Pacific web and 8th international conference on web-age information management conference on Advances in data and web management
Fraud detection in process aware systems
Companion Proceedings of the XIV Brazilian Symposium on Multimedia and the Web
Mining program workflow from interleaved traces
Proceedings of the 16th ACM SIGKDD international conference on Knowledge discovery and data mining
A static model for reverse engineering of software threads and their interactions
ACOS'06 Proceedings of the 5th WSEAS international conference on Applied computer science
A workflow mining method through model rewriting
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
On web services workflow mining
BPM'05 Proceedings of the Third international conference on Business Process Management
Modeling and wafer defect analysis in semiconductor automated material handling systems
Proceedings of the Winter Simulation Conference
| Hi-index | 0.00 |
Understanding the dynamic behavior of a workflow is crucial for being able to modify, maintain, and improve it. A particularly difficult aspect of some behavior is concurrency. Automated techniques which seek to mine workflow data logs to discover information about the workflows must be able to handle the concurrency that manifests itself in the workflow executions. This paper presents techniques to discover patterns of concurrent behavior from traces of workflow events. The techniques are based on a probabilistic analysis of the event traces. Using metrics for the number, frequency, and regularity of event occurrences, a determination is made of the likely concurrent behavior being manifested by the system. Discovering this behavior can help a workflow designer better understand and improve the work processes they are managing.