Details of formalized relations in feature models using OCL

Abstract

System families are a form of high level reuse of development assets in a specific problem domain, by making use of commonalities and variabilities. To represent assets belonging to the core of the family and assets belonging to variable parts, feature modeling is a widely used concept. Consistency checking in feature models is not yet addressed appropriately by current methods. This paper gives a brief overview of feature modeling and elaborates the problems of current approaches. Based on the applications of these approaches within an ongoing research project this paper proposes a formalized definition for feature modeling using the Object Constraint Language (OCL) and a set of associations and constraints to be used in the feature model. The relations between features in the feature model and features to external assets are examined and a way to formally handle these relations is presented as a result of a research project.

Automated analysis of feature models 20 years later: A literature review

“…Later, Kang et al [44] make an explicit reference to what they call "non-functional" features related to feature attributes. In addition, other groups of authors have also proposed the inclusion of attributes in feature models [5,7,11,12,29,30,73,96]. There is no consensus on a notation to define attributes.…”

Defects in Product Line Models and How to Identify Them

“…A FM defines the valid combinations of features in a PL, and is depicted as a graph-like structure in which nodes represent features, and edges the relationships between them (Kang et al 2002). Two of these extensions are cardinalities (Riebisch et al 2002;Czarnecki et al 2005) and attributes (Streitferdt et al 2003;White et al 2009). Although there is no consensus on a notation to define attributes, most proposals agree that an attribute is a variable with a name, a domain and a value.…”

A First Approach to Build Product Lines of Multi-organizational Web Based Systems (MOWS)

“…However, they did not provide an specific way to do it. In [15], the authors made a distinction between functional and what they called "parameters". The authors marginally introduced a way to deal with this kind of features.…”