Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Artificial intelligence
ACM Transactions on Programming Languages and Systems (TOPLAS)
Statemate: a working environment for the development of complex reactive systems
ICSE '88 Proceedings of the 10th international conference on Software engineering
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
Sequence comparison with mixed convex and concave costs
Journal of Algorithms
Evaluating Software Design Processes by Analyzing Change Data Over Time
IEEE Transactions on Software Engineering
Automated Analysis of Concurrent Systems with the Constrained Expression Toolset
IEEE Transactions on Software Engineering
A simple, fast, and effective LL(1) error repair algorithm
Acta Informatica
A model and a fast algorithm for multiple errors spelling correction
Acta Informatica
The utilization of fuzzy sets in the recognition of imperfect strings
Fuzzy Sets and Systems
Validating real-time systems by history-checking TRIO specifications
ICSE '92 Proceedings of the 14th international conference on Software engineering
Symbolic model checking: 1020 states and beyond
Information and Computation - Special issue: Selections from 1990 IEEE symposium on logic in computer science
The Ariadne debugger: scalable application of event-based abstraction
PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
Prototyping a Process Monitoring Experiment
IEEE Transactions on Software Engineering
SPADE: an environment for software process analysis, design, and enactment
Software process modelling and technology
APPL/A: a language for software process programming
ACM Transactions on Software Engineering and Methodology (TOSEM)
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Metric-driven analysis and feedback systems for enabling empirically guided software development
ICSE '91 Proceedings of the 13th international conference on Software engineering
A paradigm for decentralized process modeling and its realization in the Oz environment
ICSE '94 Proceedings of the 16th international conference 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 Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Techniques for Process Model Evolution in EPOS
IEEE Transactions on Software Engineering
A Case Study of Software Process Improvement During Development
IEEE Transactions on Software Engineering
Proving Properties of Real-Time Systems Through Logical Specifications and Petri Net Models
IEEE Transactions on Software Engineering
Yeast: A General Purpose Event-Action System
IEEE Transactions on Software Engineering
EWSPT '92 Proceedings of the Second European Workshop on Software Process Technology
An interval logic for higher-level temporal reasoning
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
IEEE Transactions on Software Engineering
Software process analysis: integrating models and data
ACM SIGSOFT Software Engineering Notes
Optimizing software process control
ACM SIGSOFT Software Engineering Notes
Discovering Workflow Performance Models from Timed Logs
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Process Mining: Discovering Direct Successors in Process Logs
DS '02 Proceedings of the 5th International Conference on Discovery Science
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
Discovering workflow models from activities' lifespans
Computers in Industry - Special issue: Process/workflow mining
Discovering models of behavior for concurrent workflows
Computers in Industry - Special issue: Process/workflow mining
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Discovering thread interactions in a concurrent system
Journal of Systems and Software - Special issue: Software reverse engineering
A family of experiments to validate metrics for software process models
Journal of Systems and Software
Post sequential patterns mining: a new method for discovering structural patterns
Intelligent information processing II
FMESP: framework for the modeling and evaluation of software processes
Proceedings of the 2004 workshop on Quantitative techniques for software agile process
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
FMESP: framework for the modeling and evaluation of software processes
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: AGILE methodologies for software production
Discovering the software process by means of stochastic workflow analysis
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: AGILE methodologies for software production
Tool support for iterative software process modeling
Information and Software Technology
Genetic process mining: an experimental evaluation
Data Mining and Knowledge Discovery
Conformance checking of processes based on monitoring real behavior
Information Systems
Applying UML and software simulation for process definition, verification, and validation
Information and Software Technology
A Grid-Based Multi-relational Approach to Process Mining
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
Information Systems
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Crawling and Extracting Process Data from the Web
ADMA '09 Proceedings of the 5th International Conference on Advanced Data Mining and Applications
Discovering Structured Event Logs from Unstructured Audit Trails for Workflow Mining
ISMIS '09 Proceedings of the 18th International Symposium on Foundations of Intelligent Systems
Discovering expressive process models from noised log data
IDEAS '09 Proceedings of the 2009 International Database Engineering & Applications Symposium
Fitting a workflow model to captured development data
ESEM '09 Proceedings of the 2009 3rd International Symposium on Empirical Software Engineering and Measurement
Generating a process model from a process audit log
BPM'03 Proceedings of the 2003 international conference on Business process management
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
Are developers complying with the process: an XP study
Proceedings of the 2010 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement
Framework, strategy and evaluation of health care processes with RFID
Decision Support Systems
Software process model blueprints
ICSP'10 Proceedings of the 2010 international conference on New modeling concepts for today's software processes: software process
Conceptual model for online auditing
Decision Support Systems
Analyzing software process models with AVISPA
Proceedings of the 2011 International Conference on Software and Systems Process
Workflow validation framework in distributed engineering environments
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
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
Automatically analyzing software processes: experience report
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
Process mining by measuring process block similarity
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Mining constrained graphs: the case of workflow systems
Proceedings of the 2004 European conference on Constraint-Based Mining and Inductive Databases
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
Investigations on Stochastic Information Control Nets
Information Sciences: an International Journal
Software process evaluation: A machine learning approach
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Replaying history on process models for conformance checking and performance analysis
Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery
Decomposing process mining problems using passages
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Adaptive Automated Teller Machines
Expert Systems with Applications: An International Journal
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
Automated Comparison of State-Based Software Models in Terms of Their Language and Structure
ACM Transactions on Software Engineering and Methodology (TOSEM)
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
A taxonomy of design methods process models
Information and Software Technology
Mining explicit rules for software process evaluation
Proceedings of the 2013 International Conference on Software and System Process
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
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
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Process Discovery and Conformance Checking Using Passages
Fundamenta Informaticae - Application and Theory of Petri Nets and Concurrency, 2012
Hi-index | 0.00 |
To a great extent, the usefulness of a formal model of a software process lies in its ability to accurately predict the behavior of the executing process. Similarly, the usefulness of an executing process lies largely in its ability to fulfill the requirements embodied in a formal model of the process. When process models and process executions diverge, something significant is happening. We have developed techniques for uncovering and measuring the discrepancies between models and executions, which we call process validation. Process validation takes a process execution and a process model, and measures the level of correspondence between the two. Our metrics are tailorable and give process engineers control over determining the severity of different types of discrepancies. The techniques provide detailed information once a high-level measurement indicates the presence of a problem. We have applied our processes validation methods in an industrial case study, of which a portion is described in this article.