Shared binary decision diagram with attributed edges for efficient Boolean function manipulation
DAC '90 Proceedings of the 27th ACM/IEEE Design Automation Conference
Free choice Petri nets
The Adele configuration manager
Configuration management
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
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
SAT-Solving the Coverability Problem for Petri Nets
Formal Methods in System Design
Addressing the middleware configuration challenges using model-based techniques
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Specification and validation of process constraints for flexible workflows
Information Systems
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
A configurable reference modelling language
Information Systems
Questionnaire-driven configuration of reference process models
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
SAP webflow made configurable: unifying workflow templates into a configurable model
BPM'07 Proceedings of the 5th international conference on Business process management
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
Feature models, grammars, and propositional formulas
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Improved model management with aggregated business process models
Data & Knowledge Engineering
Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1
Survey paper: Refactoring large process model repositories
Computers in Industry
BPMN process views construction
DASFAA'10 Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I
Propagating changes between aligned process models
Journal of Systems and Software
Configurable process models for the swedish public sector
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Configuring business process models
ACM SIGSOFT Software Engineering Notes
Hi-index | 0.00 |
Reference process models capture recurrent business operations in a given domain such as procurement or logistics. These models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. Although the advantages of reusing reference process models compared to designing process models from scratch are widely accepted, the methods employed to configure reference process models are manual and error-prone. In particular, analysts are left with the burden of ensuring the correctness of the individualized process models and to manually fix errors. This paper proposes a foundation for configuring reference process models incrementally and in a way that ensures the correctness of the individualized process models, both with respect to syntax and behavioral semantics. Specifically, assuming the reference process model is behaviorally sound, the individualized process models are guaranteed to be sound.