Details of formalized relations in feature models using OCL

被引：0

作者：

Streitferdt, D ^{[1
]}

Riebisch, M ^{[1
]}

Philippow, K ^{[1
]}

机构：

[1] Tech Univ Ilmenau, D-98684 Ilmenau, Germany

来源：

ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS | 2003年

关键词：

feature modeling; feature constraints; OCL; variability;

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：297 / 304

页数：8