SAP R/3 business blueprint: understanding the business process reference model
SAP R/3 business blueprint: understanding the business process reference model
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Distributed and Parallel Databases
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
A configurable reference modelling language
Information Systems
Beyond Control-Flow: Extending Business Process Configuration to Roles and Objects
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Does My Service Have Partners?
Transactions on Petri Nets and Other Models of Concurrency II
Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models
Reference Modeling: Efficient Information Systems Design Through Reuse of Information Models
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
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
Modern Business Process Automation: YAWL and its Support Environment
Modern Business Process Automation: YAWL and its Support Environment
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
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
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
An automation support for creating configurable process models
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Ensuring correctness during process configuration via partner synthesis
Information Systems
Wendy: A Tool to Synthesize Partners for Services
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
AoURN-based modeling and analysis of software product lines
Software Quality Control
Modeling and validation of business process families
Information Systems
Configuring business process models
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
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 using 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.