Generative programming: methods, tools, and applications
Generative programming: methods, tools, and applications
Distributed and Parallel Databases
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
The Description Logic Handbook
The Description Logic Handbook
Verifying feature models using OWL
Web Semantics: Science, Services and Agents on the World Wide Web
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
FeatureMapper: mapping features to models
Companion of the 30th international conference on Software engineering
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
Generic feature-based software composition
SC'07 Proceedings of the 6th international conference on Software composition
Formal approach to integrating feature and architecture 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
Structuring acyclic process models
BPM'10 Proceedings of the 8th international conference on Business process management
Development and configuration of service-oriented systems families
Proceedings of the 2011 ACM Symposium on Applied Computing
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
Efficient computation of causal behavioural profiles using structural decomposition
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Modeling and validation of business process families
Information Systems
Combining service-orientation and software product line engineering: A systematic mapping study
Information and Software Technology
Hi-index | 0.00 |
A Software Product Line (SPL) is a set of programs that are developed as a whole and share a set of common features. Product line's variability is typically specified using problem space models (i.e., feature models), solution space models that specify the realization of functionality and mapping models that link problem and solution space artifacts. In this paper, we consider this concept in the scope of families of business processes, whose specificity is that the solution space is defined with business process models. Solution space models are typically specified as model templates, and thus in the rest of the paper we will refer to business process model templates. While the previous research tackled the concepts of families of business processes, there have been very limited research on their validation.