Petr nets, algebras, morphisms, and compositionality
Information and Computation
Structure theory of Petri nets: the free choice hiatus
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
The program structure tree: computing control regions in linear time
PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
A technique of state space search based on unfolding
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Free choice Petri nets
SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
SIAM Journal on Computing
Refinement of actions and equivalence notions for concurrent systems
Acta Informatica
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
On Structured Workflow Modelling
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Linear Time Implementation of SPQR-Trees
GD '00 Proceedings of the 8th International Symposium on Graph Drawing
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Circuits, handles, bridges and nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
A survey of behaviour and equivalence preserving refinements of Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
A survey of approaches to automatic schema matching
The VLDB Journal — The International Journal on Very Large Data Bases
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Workflow Mining: Discovering Process Models from Event Logs
IEEE Transactions on Knowledge and Data Engineering
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
How do practitioners use conceptual modeling in practice?
Data & Knowledge Engineering - Special issue: ER 2004
Ontology Matching
Business process mining: An industrial application
Information Systems
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Conformance checking of processes based on monitoring real behavior
Information Systems
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Semantics and analysis of business process models in BPMN
Information and Software Technology
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Getting rid of OR-joins and multiple start events in business process models
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Detecting and Resolving Process Model Differences in the Absence of a Change Log
BPM '08 Proceedings of the 6th International Conference on Business Process Management
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
Automatic Workflow Graph Refactoring and Completion
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
Data & Knowledge Engineering
The refined process structure tree
Data & Knowledge Engineering
Robust Process Discovery with Artificial Negative Events
The Journal of Machine Learning Research
Proceedings of the 7th International Conference on Business Process Management
BPM '09 Proceedings of the 7th International Conference on Business Process Management
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Instantaneous Soundness Checking of Industrial Business Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Aligning Business Process Models
EDOC '09 Proceedings of the 2009 IEEE International Enterprise Distributed Object Computing Conference (edoc 2009)
Change Propagation in Process Models Using Behavioural Profiles
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Proceedings of the 22nd international conference on Advanced information systems engineering
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
The ICoP Framework: identification of correspondences between process models
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Process compliance measurement based on behavioural profiles
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Simplified computation and generalization of the refined process structure tree
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Generalised computation of behavioural profiles based on petri-net unfoldings
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
Process compliance analysis based on behavioural profiles
Information Systems
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
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
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Eye-tracking the factors of process model comprehension tasks
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Hi-index | 0.00 |
Analysis of behavioural consistency is an important aspect of software engineering. In process and service management, consistency verification of behavioural models has manifold applications. For instance, a business process model used as system specification and a corresponding workflow model used as implementation have to be consistent. Another example would be the analysis to what degree a process log of executed business operations is consistent with the corresponding normative process model. Typically, existing notions of behaviour equivalence, such as bisimulation and trace equivalence, are applied as consistency notions. Still, these notions are exponential in computation and yield a Boolean result. In many cases, however, a quantification of behavioural deviation is needed along with concepts to isolate the source of deviation. In this article, we propose causal behavioural profiles as the basis for a consistency notion. These profiles capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities of a process model. Consistency based on these profiles is weaker than trace equivalence, but can be computed efficiently for a broad class of models. In this article, we introduce techniques for the computation of causal behavioural profiles using structural decomposition techniques for sound free-choice workflow systems if unstructured net fragments are acyclic or can be traced back to S- or T-nets. We also elaborate on the findings of applying our technique to three industry model collections.