Abstract
Software Product Lines (SPLs) are a mechanism to capture families of closely related software systems by modeling commonalities and variability. Although user customization has a growing importance in software systems and is a vital sales argument, SPLs currently only allow user customization at deploy-time. In this paper, we extend the notion of context-aware SPLs by means of user profiles, containing a linearly ordered set of preferences. Preferences have priorities, meaning that a low priority preference can be neglected in favor of a higher prioritized one. We present a reconfiguration engine checking the validity of the current configuration and, if necessary, reconfiguring the SPL while trying to fulfill the preferences of the active user profile. Thus, users can be assured about the reconfiguration engine providing the most suitable configuration for them. Moreover, we demonstrate the feasibility of our approach using a case study based on existing car customizability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
ANTLR (ANother Tool for Language Recognition) - http://www.antlr.org/.
References
Agichtein, E., Brill, E., Dumais, S., Ragno, R.: Learning user interaction models for predicting web search result preferences. In: Proceedings of the 29th Annual International ACM SIGIR Conference on Research and Development in Information Retrieval, SIGIR 2006. ACM, New York (2006)
Benavides, D., Trinidad, P., Ruiz-Cortés, A.: Automated reasoning on feature models. In: Pastor, O., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005). doi:10.1007/11431855_34
Boutilier, C., Brafman, R.I., Domshlak, C., Hoos, H.H., Poole, D.: Preference-based constrained optimization with CP-nets. Comput. Intell. 20, 137–157 (2004)
Chesta, C., et al.: A toolchain for delta-oriented modeling of software product lines. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 497–511. Springer, Cham (2016)
da Silva Costa, P.A., Marinho, F.G., de Castro Andrade, R.M., Oliveira, T.: Fixture - A tool for automatic inconsistencies detection in context-aware SPL. In: ICEIS (2015)
Darryll Harrison, W.G.: CES 2016: Volkswagen brings gesture control to mass production with the E-Golf Touch (2016). http://media.vw.com/release/1123/
Domshlak, C., Rossi, F., Venable, K.B., Walsh, T.: Reasoning about soft constraints, conditional preferences: complexity results and approximation techniques. arXiv (2009)
Doyle, J., Thomason, R.H.: Background to qualitative decision theory. AI Mag. 20(2), 55–68 (1999)
Fernandes, P., Werner, C., Murta, L.: Feature modeling for context-aware software product lines. In: Seke (2008)
GECODE (2015). http://www.gecode.org/
Hartmann, H., Trew, T.: Using feature diagrams with context variability to model multiple product lines for software supply chains. In: SPLC IEEE Computer Society (2008)
Kang, K.: Analysis, Feature-oriented Domain (FODA): Feasibility Study; Technical report CMU/SEI-90-TR-21 - ESD-90-TR-222. Software Engineering Inst., Carnegie Mellon Univ. (1990)
Mackworth, A.K.: Consistency in networks of relations. Artif. Intell. 8(1), 99–118 (1977)
Marinho, F.G., Andrade, R.M.C., Werner, C.: A verification mechanism of feature models for mobile and context-aware software product lines. In: Software Components, Architectures and Reuse (SBCARS) (2011)
Mauro, J., Nieke, M., Seidl, C., Yu, I.C.: Context aware reconfiguration in software product lines. In: Proceedings of the Tenth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS 2016 (2016)
Minisatid. https://github.com/broesdecat/Minisatid
Murashkin, A., Antkiewicz, M., Rayside, D., Czarnecki, K.: Visualization and exploration of optimal variants in product line engineering. In: Proceedings of the 17th International Software Product Line Conference, SPLC 2013. ACM, New York (2013)
Nethercote, N., Stuckey, P.J., Becket, R., Brand, S., Duck, G.J., Tack, G.: MiniZinc: towards a standard CP modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007). doi:10.1007/978-3-540-74970-7_38
Ochoa, L., González-Rojas, O., Thüm, T.: Using decision rules for solving conflicts in extended feature models. In: Proceedings of the ACM SIGPLAN International Conference on Software Language Engineering, SLE. ACM, New York (2015)
Parra, C., Blanc, X., Duchien, L.: Context awareness for dynamic service-oriented product lines. In: Proceedings of the 13th International Software Product Line Conference, SPLC 2009. Carnegie Mellon University, Pittsburgh (2009)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations: Principles and Techniques. Springer, New York (2005)
Prud’homme, C., Fages, J.-G., Lorca, X.: Choco3 Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. (2014)
Reiff-Marganiec, S.: A structured approach to VO reconfigurations through policies. In: Proceedings Third Workshop on Formal Aspects of Virtual Organisations. EPTCS, FAVO 2011, Sao Paolo, Brazil, 18 October 2011, vol. 83, pp. 22–31 (2011)
Rendl, A., Guns, T., Stuckey, P.J., Tack, G.: MiniSearch: a solver-independent meta-search language for MiniZinc. In: Pesant, G. (ed.) CP 2015. LNCS, vol. 9255, pp. 376–392. Springer, Heidelberg (2015). doi:10.1007/978-3-319-23219-5_27
Robarts, S.: Volkswagen’s Golf R touch concept shows off the car cockpit of the future (2015). http://www.gizmag.com/volkswagen-golf-r-touch/35472/
Rossi, F., van Beek, P., Walsh, T. (eds.) Handbook of Constraint Programming. Elsevier (2006)
Seidl, C., Schaefer, I., Aßmann, U.: Capturing variability in space and time with hyper feature models. In: Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems - VaMoS 2014 (2014)
Ubayashi, N., Nakajima, S.: Context-aware feature-oriented modeling with an aspect extension of VDM. In: Proceedings of the ACM Symposium on Applied Computing, SAC 2007. ACM, New York (2007)
Yoshii, K., Goto, M., Komatani, K., Ogata, T., Okuno, H.G.: Hybrid collaborative and content-based music recommendation using probabilistic model with latent user preferences. In: ISMIR, vol. 6 (2006)
Young, S., Hong, J.-H., Kim, T.-S.: A formal model for user preference. In: Proceedings of IEEE International Conference on Data Mining (2002)
Acknowledgments
This work was partially supported by the DFG (German Research Foundation) under grant SCHA1635/2-2 and by the European Commission within the project HyVar (grant agreement H2020-644298).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing AG
About this paper
Cite this paper
Nieke, M., Mauro, J., Seidl, C., Yu, I.C. (2016). User Profiles for Context-Aware Reconfiguration in Software Product Lines. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science(), vol 9953. Springer, Cham. https://doi.org/10.1007/978-3-319-47169-3_44
Download citation
DOI: https://doi.org/10.1007/978-3-319-47169-3_44
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-47168-6
Online ISBN: 978-3-319-47169-3
eBook Packages: Computer ScienceComputer Science (R0)