From extended feature models to constraint logic programming

Karataş, Ahmet; Oğuztüzün, Halit; Doğru, Ali H.

doi:10.1016/j.scico.2012.06.004

Cited by 35 publications

(18 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Currently, we are evaluating the applicability of VM as a generic attributed feature modeling language such as SXFM, TVL or FAMA. In the VM repository https://github.com/ ViViD-DiverSE/VM-Source we have VM models that support the point that VM is expressive enough to encode existing boolean and attributed feature models found in the literature and public repositories (e.g., mobile media [18] and the SPLOT repository www.splot-research.org).…”

Section: Comparison With Existing Solutionsmentioning

confidence: 88%

Modeling variability in the video domain: language and experience report

et al. 2018

View full text Add to dashboard Cite

This paper reports about a new domain-specific variability modeling language, called VM, resulting from the close collaboration with industrial partners in the video domain. We expose the requirements and advanced variability constructs required to characterize and realize variations of physical properties of a video (such as objects' speed or scene illumination). The results of our experiments and industrial experience show that VM is effective to model complex variability information and can be exploited to synthesize video variants. We concluded that basic variability mechanisms are useful but not enough, attributes and multi-features are of prior importance, and meta-information is relevant for efficient variability analysis. In addition, we questioned the existence of one-size-fits-all variability modeling solution applicable in any industry. Yet, some common needs for modeling variability are becoming apparent such as support for attributes and multi-features. Mots-clés : VM, modélisation de la variabilité, ingénierie des lignes de produits, systèmes hautement configurables, langage textuel de spécification

show abstract

Section: Comparison With Existing Solutionsmentioning

confidence: 88%

Modeling variability in the video domain: language and experience report

et al. 2018

View full text Add to dashboard Cite

show abstract

“…More particularly, the conceptualization included languages that (1) have been transformed to logic or constraint programming to automate analysis tasks; and (2) their semantics is formally defined, and were included in other conceptualization studies. Hence, this step included feature-oriented languages [5,13,14,26]; variation point oriented languages [8,12,20,22,23]; and decision-oriented languages [4,6,7,25]. Finally, the review included proposals introducing constructs for modeling complex variability relations, such as conditional and quantified constraints [8,14,21].…”

Section: Designing Hlvl Following An Ontological Approachmentioning

confidence: 99%

“…This condition can be simple as in FODA requires and excludes constructs where the inclusion/exclusion of a feature B is conditioned to the inclusion of a feature A. Languages such as CO-OVM [8], and extended-feature models in [14] allow the usage of complex expressions to condition the inclusion/exclusion of variable items using logical expressions.…”

Section: Variability Relationsmentioning

confidence: 99%

The High-Level Variability Language

Villota

Mazo

Salinesi

2019

Proceedings of the 23rd International Systems and Software Product Line Conference - Volume B

View full text Add to dashboard Cite

Given its relevance, there is an extensive body of research for modeling variability in diverse domains. Regretfully, the community still faces issues and challenges to port or share variability models among tools and methodological approaches. There are researchers, for instance, implementing the same algorithms and analyses again because they use a specific modeling language and cannot use some existing tool. This paper introduces the High-Level Variability Language (HLVL), an expressive and extensible textual language that can be used as a modeling and an intermediate language for variability. HLVL was designed following an ontological approach, i.e., by defining their elements considering the meaning of the concepts existing on different variability languages. Our proposal not only provides a unified language based on a comprehensive analysis of the existing ones but also sets foundations to build tools that support different notations and their combination. CCS CONCEPTS• Software and its engineering → Domain specific languages; Software product lines.

show abstract

“…For instance, [3,5] encode an EFM with cardinalities into a CSP and use a solver to validate and perform some analyses on the FMs. Karata ¸s et al [13,14] extend that approach to encode complex CTCs related to an EFM, which involve feature-feature, feature-attribute, and attribute-attribute relations; and to introduce a larger set of analysis operations. Similarly, Salinesi et al [35] encode an EFM into a CSP by considering arithmetic, boolean, and reified constraints.…”

Section: Configuration Process As a Constraint Satisfaction Problemmentioning

confidence: 99%

Constraint programming heuristics for configuring optimal products in multi product lines

Ochoa

González-Rojas

Cardozo

et al. 2019

Information Sciences

View full text Add to dashboard Cite

a b s t r a c tNowadays, complex application domains require configuring multi-product lines where product features and constraints among them are specified in several variability models. These variability models are enriched with inter-model constraints representing the existing relations among domain concerns, and with non-functional properties modeled as attributes attached to product features. Multiple techniques use constraint programming to automate the cumbersome task of manually configuring a suitable product. Currently, there are some proposals to improve the performance of constraint solvers when configuring single-model product lines, however configuration scenarios with multiple interrelated and attributed models are not yet targeted. This paper proposes and evaluates three search heuristics used to configure optimal products regarding multi-objective criteria. Results are compared against the default search strategy of the Choco constraint solver. We evaluated the performance for configuring optimal products in four state-of-the-art product lines and 130 generated variability models representing multi-product lines that scale up to 6400 features and 960 constraints. As a result, we observe that the proposed heuristics perform better than the default solver strategy when the variability models scale in terms of features. In contrast, the default strategy and one of the proposed heuristics perform better as the number of interdependencies between variability models increases.

show abstract

From extended feature models to constraint logic programming

Cited by 35 publications

References 31 publications

Modeling variability in the video domain: language and experience report

Modeling variability in the video domain: language and experience report

The High-Level Variability Language

Constraint programming heuristics for configuring optimal products in multi product lines

Contact Info

Product

Resources

About