Automated Analysis in Feature Modelling and Product Configuration

The automated analysis of feature models is one of the thriving topics of research in the software product line and variability management communities that has attracted more attention in the last years. A recent literature review reported that more than 30 analysis operations have been identi ed and di erent analysis mechanisms have been proposed. Product con guration is a well established research eld with more than 30 years of successful applications in di erent industrial domains. Our hypothesis, that is not really new, is that these two independent areas of research have interesting synergies that have not been fully explored. To try to explore the potential synergies systematically, in this paper we provide a rapid review to bring together these previously disparate streams of work. We de ne a set of research questions and give a preliminary answer to some of them. We conclude that there are many research opportunities in the synergy of these independent areas.Ministerio de Ciencia e Innovación TIN2009- 07366Junta de Andalucía TIC-590

Towards Utility-Based Prioritization of Requirements in Open Source Environments

Peer reviewe

the State of Utah v. Walter Preston Boggess, Jr. : Brief of Respondent

An Appeal from a Judgment of the District Court of the Fourth Judicial District, The Honorable J, Robert Bullock, District Court Judg

e-Tourism: a tourist recommendation and planning application

e-Tourism is a tourist recommendation and planning application to assist users on the organization of a leisure and tourist agenda. First, a recommender system offers the user a list of the city places that are likely of interest to the user. This list takes into account the user demographic classification, the user likes in former trips and the preferences for the current visit. Second, a planning module schedules the list of recommended places according to their temporal characteristics as well as the user restrictions; that is the planning system determines how and when to realize the recommended activities. Having the list of recommended activities organized as an agenda (i.e. an executable plan), is a relevant characteristic that most recommender systems lack.This work has been partially funded by Consolider Ingenio 2010 CSD2007-00022 project, by the Spanish Government MICINN TIN2008-6701-C03-01 project and by the Valencian Government GVPRE/2008/384 project. We thank J. Benton for having provided us with the system Sapa to execute our experiments.Sebastiá Tarín, L.; García García, I.; Onaindia De La Rivaherrera, E.; Gúzman Álvarez, CA. (2009). e-Tourism: a tourist recommendation and planning application. International Journal on Artificial Intelligence Tools. 18(5):717-738. https://doi.org/10.1142/S0218213009000378S71773818

Improving MCS Enumeration via Caching

Enumeration of minimal correction sets (MCSes) of conjunctive normal form formulas is a central and highly intractable problem in infeasibility analysis of constraint systems. Often complete enumeration of MCSes is impossible due to both high computational cost and worst-case exponential number of MCSes. In such cases partial enumeration is sought for, finding applications in various domains, including axiom pinpointing in description logics among others. In this work we propose caching as a means of further improving the practical efficiency of current MCS enumeration approaches, and show the potential of caching via an empirical evaluation.Peer reviewe

An Overview of Recommender Systems in the Internet of Things

The Internet Of Things (IoT) is an emerging paradigm that envisions a networked infrastructure enabling different types of devices to be interconnected. It creates different kinds of artifacts (e.g., services and applications) in various application domains such as health monitoring, sports monitoring, animal monitoring, enhanced retail services, and smart homes. Recommendation technologies can help to more easily identify relevant artifacts and thus will become one of the key technologies in future IoT solutions. In this article, we provide an overview of existing applications of recommendation technologies in the IoT context and present new recommendation techniques on the basis of real-world IoT scenarios

Carrying Ideas from Knowledge-Based Configuration to Software Product Lines

Software variability modelling (SVM) has become a central concern in software product lines -- especially configurable software product lines (CSPL) require rigorous SVM. Dynamic SPLs, service oriented SPLs, and autonomous or pervasive systems are examples where CSPLs are applied. Knowledge-based configuration (KBC) is an established way to address variability modelling aiming for the automatic product configuration of physical products. Our aim was to study what major ideas from KBC can be applied to SVM, particularly in the context of CSPLs. Our main contribution is the identification of major ideas from KBC that could be applied to SVM. First, we call for the separation of types and instances. Second, conceptual clarity of modelling concepts, e.g., having both taxonomical and compositional relations would be useful. Third, we argue for the importance of a conceptual basis that provides a foundation for multiple representations, e.g., graphical and textual. Applying the insights and experiences embedded in these ideas may help in the development of modelling support for software product lines, particularly in terms of conceptual clarity and as a basis for tool support with a high level of automation.Peer reviewe