Please use this identifier to cite or link to this item:
http://hdl.handle.net/11375/18975
Title: | BEHAVIOURAL FOUNDATIONS OF FEATURE MODELING |
Authors: | Safilian, Aliakbar |
Advisor: | Maibaum, Tom Diskin, Zinovy |
Department: | Computing and Software |
Keywords: | Software Product Lines;Feature Modeling;Basic Feature Models;Cardinality-Based Feature Models;Modal Logic;Multiset Theory;Formal Languages;Faithful Semantics |
Publication Date: | 2016 |
Abstract: | Software product line engineering is a common method for designing complex software systems. Feature modeling is the most common approach to specify product lines. A feature model is a feature diagram (a special tree of features) plus some crosscutting constraints. Feature modeling languages are grouped into basic and cardinality-based models. The common understanding of the semantics of feature models is a Boolean semantics. We discuss a major deficiency of this semantics and fix it by applying, in turn, modal logic, the theory of multisets, and formal language theory. In order to adequately represent the semantics of basic models, we propose a Kripke semantics and show that basic feature modeling needs a modal rather than Boolean logic. We propose two multiset based theories for cardinality-based feature diagrams, called flat and hierarchical semantics. We show that the hierarchical semantics of a given cardinality-based diagram captures all information in the diagram. We also charac- terize sets of multisets, which can provide a hierarchical semantics of some diagrams. We provide three different reduction processes going from a cardinality-based diagram to an appropriate regular expression. As for crosscutting constraints, we propose a formal language interpretation of them. We also characterize some existing analysis operations over feature models in terms of operations on the corresponding languages and discuss the relevant decidability problems. |
URI: | http://hdl.handle.net/11375/18975 |
Appears in Collections: | Open Access Dissertations and Theses |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
safilian_Aliakbar_finalsubmission201603_PhD.pdf | PhD Thesis | 2.82 MB | Adobe PDF | View/Open |
Items in MacSphere are protected by copyright, with all rights reserved, unless otherwise indicated.