&&ReWrAp:HEADERFOOTER:0:ReWrAp&&

Author

Fadil Alturki

Date of Award

3-18-2010

Degree Type

Thesis

Degree Name

Master of Science (MS)

Department

Computer Science

Supervisor

Ridha Khedri

Language

English

Abstract

p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 11.5px Times}

Feature models are commonly used to capture the commonalities and the variability of product families. There are several feature modelling notations that correspondingly depict the concepts of feature modelling techniques. Therefore, the tools based on them reflect this diversity in the notations used and the fuzziness of the concepts adopted.

The thesis discusses the design and the construction of a tool that is based on Product-Families Algebra (PFA) and on Binary Decision Diagrams (BDD). The first brings the mathematical formalism to the specifications of product families and the mathematical theory that enables calculations on feature-models. The second brings efficient algorithms in time and in space. Hence, the tool allows several algebraic manipulations of feature models that are specified within the language of PFA. We coined this tool Jory.

The main contribution of the thesis is the design of the tool, and the implementation of four layers of its architectural design. As well, the thesis gives an implementation of multi-sets and the operations on them using BDDs.

Several case studies are presented and used in the validation of the tool. p.p1 {margin: 0.0px 0.0px 0.0px 0.0px; font: 11.5px Times}

McMaster University Library

Share

COinS