Features and Features Interactions in Software Engineering using Logic

Feature interactions are common when composing a software unit out of several features. We report on two experimental approaches using logic to describe features and feature interactions. The first approach proposes description logic as a formalization of feature models which allow reasoning about features. In the second approach, a metalevel representation of the software is proposed to capture conditions on features. These conditions are written in terms of the software’s implementation providing a uniform formalism that can be applied to any software unit.