View integration of behavior in object-oriented databases
Data & Knowledge Engineering
On Automatically Explaining Bisimulation Inequivalence
CAV '90 Proceedings of the 2nd International Workshop on Computer Aided Verification
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
Conformance checking of processes based on monitoring real behavior
Information Systems
A Classification of Differences between Similar BusinessProcesses
EDOC '07 Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference
Measuring Similarity between Business Process Models
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Formalization and verification of EPCs with OR-joins based on state and context
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Measuring the Compliance of Processes with Reference Models
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
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
Predictive security analysis for event-driven processes
MMM-ACNS'10 Proceedings of the 5th international conference on Mathematical methods, models and architectures for computer network security
Process compliance analysis based on behavioural profiles
Information Systems
Fragment-based version management for repositories of business process models
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Business process model repositories - Framework and survey
Information and Software Technology
Comparison and retrieval of process models using related cluster pairs
Computers in Industry
Propagating changes between aligned process models
Journal of Systems and Software
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Group Consensus in Business Process Modeling: A Measure and Its Application
International Journal of e-Collaboration
| Hi-index | 0.00 |
This paper presents a technique to diagnose differences between business process models in the EPC notation. The diagnosis returns the exact position of a difference in the business process models and diagnoses the type of a difference, using a typology of differences developed in previous work. This in contrast to existing techniques for detecting process differences (by showing non-equivalence), which return simple true/false statements, or statements in terms of a formal semantics. Neither type of statement is helpful to a business analyst not versed in formal semantics. A case study illustrates the usefulness of the technique. It also shows that, although the technique has exponential complexity, it can be used in practice, because of repeated scoping of the models. The technique can be used, for example, to resolve differences between operational process in a merger between organizations.