Petr nets, algebras, morphisms, and compositionality
Information and Computation
A survey of behaviour and equivalence preserving refinements of Petri nets
APN 90 Proceedings on Advances in Petri nets 1990
Circuits, handles, bridges and nets
APN 90 Proceedings on Advances in Petri nets 1990
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)
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
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
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
How do practitioners use conceptual modeling in practice?
Data & Knowledge Engineering - Special issue: ER 2004
Matching and Merging of Statecharts Specifications
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Unfoldings: A Partial-Order Approach to Model Checking (Monographs in Theoretical Computer Science. An EATCS Series)
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Data & Knowledge Engineering
The Triconnected Abstraction of Process Models
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Change Propagation in Process Models Using Behavioural Profiles
SCC '09 Proceedings of the 2009 IEEE International Conference on Services Computing
Aligning business process models
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object 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
The biconnected verification of workflow nets
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
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
Process compliance analysis based on behavioural profiles
Information Systems
A foundational approach for managing process variability
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Behavioral similarity: a proper metric
BPM'11 Proceedings of the 9th international conference on Business process management
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
A comparative survey of business process similarity measures
Computers in Industry
State propagation in abstracted business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Revealing hidden relations among web services using business process knowledge
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Causal Behavioural Profiles - Efficient Computation, Applications, and Evaluation
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
An optimized derivation of event queries to monitor choreography violations
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Modeling and validation of business process families
Information Systems
Hi-index | 0.00 |
Identification of behavioural contradictions is an important aspect of software engineering, in particular for checking the consistency between a business process model used as system specification and a corresponding workflow model used as implementation. In this paper, we propose causal behavioural profiles as the basis for a consistency notion, which capture essential behavioural information, such as order, exclusiveness, and causality between pairs of activities. Existing notions of behavioural equivalence, such as bisimulation and trace equivalence, might also be applied as consistency notions. Still, they are exponential in computation. Our novel concept of causal behavioural profiles provides a weaker behavioural consistency notion that can be computed efficiently 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.