Using First-Order Logic for Product Line Model Validation
SPLC 2 Proceedings of the Second International Conference on Software Product Lines
OCL: Syntax, Semantics, and Tools
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
FeaturePlugin: feature modeling plug-in for Eclipse
eclipse '04 Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange
Verifying feature-based model templates against well-formedness OCL constraints
Proceedings of the 5th international conference on Generative programming and component engineering
Safe composition of product lines
GPCE '07 Proceedings of the 6th international conference on Generative programming and component engineering
Towards automated consistency checks of product line requirements specifications
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Feature modeling for business document models
Proceedings of the 15th International Software Product Line Conference, Volume 2
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
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
The United Nations Centre for Trade Facilitation and eBusiness (UN/CEFACT) provides the Core Components approach for defining standard business document types based on all-embracing, reusable building blocks. For utilizing standard business document types in concrete business scenarios, these standard business document types need customizing resulting in business document type variants. However, the current approach is missing sufficient mechanisms for managing the resulting variants. First, customizing standard business document types is currently based on a textual specification only. Hence, variability within business document types is missing an explicit representation. Second, supporting the process of customizing standard business document types requires dedicated tool-support. In this paper, we formalize variability within the Core Components approach by adopting concepts from variability management and introduce a declarative approach based on variability models for validating the process of business document type customization. Furthermore, we present an evaluation of the approach proposed by means of a feasibility study. The approach provides a generic method for validating customized standard business document types.