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
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th 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
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
A Novel Graph Reduction Algorithm to Identify Structural Conflicts
HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 9 - Volume 9
A configurable reference modelling language
Information Systems
Detection and prediction of errors in EPCs of the SAP reference model
Data & Knowledge Engineering
Effective IT Service Management: To ITIL and Beyond!
Effective IT Service Management: To ITIL and Beyond!
Can I find a partner? Undecidability of partner existence for open nets
Information Processing Letters
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Configurable Process Models: Experiences from a Municipality Case Study
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Guaranteeing Soundness of Configurable Process Variants in Provop
CEC '09 Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Questionnaire-driven configuration of reference process models
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Operating guidelines for finite-state services
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Behavioral constraints for services
BPM'07 Proceedings of the 5th international conference on Business process management
Preserving correctness during business process model configuration
Formal Aspects of Computing
Extending the adaptability of reference models
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Capturing variability in business process models: the Provop approach
Journal of Software Maintenance and Evolution: Research and Practice - Best papers from the BPM 2008 Workshops
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Configurable multi-perspective business process models
Information Systems
Soundness of workflow nets: classification, decidability, and analysis
Formal Aspects of Computing
Modeling Business Processes: A Petri Net-Oriented Approach
Modeling Business Processes: A Petri Net-Oriented Approach
Mapping features to models: a template approach based on superimposed variants
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Configuring business process models
ACM SIGSOFT Software Engineering Notes
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Hi-index | 0.00 |
Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a controlled manner. Therefore, many academics and practitioners have advocated the use of configurable process models (sometimes referred to as reference models). A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the ''operating guidelines'' used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i.e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.