Validation of business document types based on feature models

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.

[1]  Simone Polillo,et al.  Society for Worldwide Interbank Financial Telecommunication , 2012 .

[2]  Krzysztof Czarnecki,et al.  Verifying feature-based model templates against well-formedness OCL constraints , 2006, GPCE '06.

[3]  Susan V. Scott,et al.  The Society for Worldwide Interbank Financial Telecommunication (SWIFT) : Cooperative governance for network innovation, standards, and community , 2014 .

[4]  Michal Antkiewicz,et al.  Mapping features to models: a template approach based on superimposed variants , 2005, GPCE'05.

[5]  Krzysztof Czarnecki,et al.  Formalizing cardinality-based feature models and their specialization , 2005, Softw. Process. Improv. Pract..

[6]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[7]  William R. Cook,et al.  Safe composition of product lines , 2007, GPCE '07.

[8]  Klaus Pohl,et al.  Towards automated consistency checks of product line requirements specifications , 2007, ASE.

[9]  Michał Antkiewicz Ecore.fmp a Tool for Editing and Instantiating Class Models as Feature Models , 2008 .

[10]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[11]  Christian Huemer,et al.  Feature modeling for business document models , 2011, SPLC '11.

[12]  Jon Whittle,et al.  Model composition in product lines and feature interaction detection using critical pair analysis , 2007, MODELS'07.

[13]  Michal Antkiewicz,et al.  FeaturePlugin: feature modeling plug-in for Eclipse , 2004, eclipse '04.

[14]  Christian Huemer,et al.  Managing Variability and Evolution of Business Document Models ⋆ , 2010 .

[15]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[16]  Mike Mannion Using First-Order Logic for Product Line Model Validation , 2002, SPLC.

[17]  Martin Gogolla,et al.  OCL: Syntax, Semantics, and Tools , 2002, Object Modeling with the OCL.

[18]  Christian Huemer,et al.  Registry support for core component evolution , 2010, 2010 IEEE International Conference on Service-Oriented Computing and Applications (SOCA).