Dynamic constraint satisfaction algorithm for reconfiguration of feature models

2018
Entekhabi, Sina
Dynamically reconfigurable systems are able to respond to changes in their operational environments by reconfiguring themselves automatically. Dynamic software product lines are dynamically reconfigurable systems with an explicit variability model that guides the reconfiguration. In this work, feature models are used as the variability model. Features are assumed to be mapped to system's components that realize them. A feature model corresponds to a constraint satisfaction problem (CSP), and determines the valid configurations of the system. An emerging situation in the environment can lead to some relevant changes to the current configuration: some features must be activated, and some must be deactivated. Due to constraint propagation, the status of other features might need to be changed as well. However, considering the feature state migration costs, one would like to avoid such changes to the greatest extent possible in order to mitigate the cost of the disruption to the system's operation. In this work, we devised a dynamic constraint satisfaction algorithm that efficiently considers feature state changes to be applied to the current configuration while confronting changes in the environment so that the new configuration will be valid and the requirements of the new situation will be satisfied with the minimum cost. A set of heuristics regarding feature model relations and the overall structure of feature models are also proposed to enhance the efficiency of the algorithm.

Suggestions

Dynamic constraint satisfaction algorithm for online feature model reconfiguration
Oğuztüzün, Mehmet Halit S.; Entekhabi, Sina (2019-07-01)
Dynamically reconfigurable systems are able to respond to changes in their operational environments by reconfiguring themselves automatically. Dynamic software product lines are dynamically reconfigurable systems with an explicit variability model that guides the reconfiguration. In this work, feature models are used as the variability model. An emerging situation in the environment can lead to some relevant changes to the current configuration: some features must be activated, and some must be deactivated....
An incremental constraint satisfaction algorithm for dynamic reconfiguration
Entekhabi, Sina; Karataş, Ahmet Serkan; Oğuztüzün, Mehmet Halit S. (null; 2017-05-08)
Dynamically reconfigurable systems are able to respond to changes in their operational environment by reconfiguring themselves automatically. Dynamic software product lines are dynamically reconfigurable systems with an explicit model of variability, which plays a key role in the reconfiguration process. In our work we use feature models for modeling variability. Features are mapped to the system’s components that realize them. The feature model corresponds to a constraint logic program, and determines the ...
Semantic data modeling of spatiotemporal database applications
Yazıcı, Adnan; Sun, N (Wiley, 2001-07-01)
Due to the ubiquity of space-related and time-related information, the ability of a database system to deal with both spatial and temporal phenomenon facts in a spatiotemporal applications is highly desired. However, uncertain and fuzzy information in these applications highly increases the complexity of database modeling. In this paper we introduce a semantic data modeling approach for spatiotemporal database applications. We specifically focus on various aspects of spatial and temporal database issues and...
Hypothesis-driven simulation experiments with an extension to SED-ML
Cam, S.; Oğuztüzün, Mehmet Halit S.; Yilmaz, L. (2022-03-01)
Most of the frameworks or assistance systems for experiment specification do not provide a process explicitly based on formally specified hypotheses. This deficiency leads to inaccurate or insufficient record of an experiment, decreasing the trustworthiness and reproducibility of the experiment. Moreover, the wide variety of models, metamodels, tools, and data for experimentation requires Global Model Management (GMM) that is utilizing Model-Driven Engineering techniques, facilitates documentation, sharing,...
AN EFFICIENT DATABASE TRANSITIVE CLOSURE ALGORITHM
Toroslu, İsmail Hakkı; HENSCHEN, L (Springer Science and Business Media LLC, 1994-05-01)
The integration of logic rules and relational databases has recently emerged as an important technique for developing knowledge management systems. An important class of logic rules utilized by these systems is the so-called transitive closure rules, the processing of which requires the computation of the transitive closure of database relations referenced by these rules. This article presents a new algorithm suitable for computing the transitive closure of very large database relations. This algorithm proc...
Citation Formats
S. Entekhabi, “Dynamic constraint satisfaction algorithm for reconfiguration of feature models,” M.S. - Master of Science, Middle East Technical University, 2018.