Handbook of logic in computer science (vol. 4)
Unified Modeling Language Reference Manual, The (2nd Edition)
Unified Modeling Language Reference Manual, The (2nd Edition)
A configurable reference modelling language
Information Systems
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
PESOS '09 Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems
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
Correctness-preserving configuration of business process models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
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
Applying software product lines to create customizable software-as-a-service applications
Proceedings of the 15th International Software Product Line Conference, Volume 2
Business Process Configuration in the Cloud: How to Support and Analyze Multi-tenant Processes?
ECOWS '11 Proceedings of the 2011 IEEE Ninth European Conference on Web Services
Ensuring correctness during process configuration via partner synthesis
Information Systems
Wendy: a tool to synthesize partners for services
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Dynamic configuration management of cloud-based applications
Proceedings of the 16th International Software Product Line Conference - Volume 2
Hi-index | 0.00 |
A configurable business process model (sometimes referred to as a reference business process model) may be configured to meet the specific requirements of an organization. The configuration activity is required to automatically determine the variability of a configurable process model and ensure the correctness of a specific process model. However, few approaches solve the problem. In this paper, we propose an innovative approach for automatically separating a configurable process model into atomic and correct sub-process models (sub-process models without abnormal behavioral problems). The atomic sub-process models that fulfill specific requirements are merged into specific process models that are provided for organizations. Compared with existing approaches, since the configuration activity is incorporated into the verification process of a process model at design time and can obtain all feasible configurations, our approach avoids independently handling the configuration activity and does not suffer from computational complexity. Moreover, our approach is language-independent. We have developed a prototype tool for configuring these process models.