Debian packages repositories as software product line models. Towards automated analysis

CEUR Workshop Proceedings

Volumn 688, Issue , 2010, Pages 29-34

  Galindo, José A ^a   Benavides, David ^a   Segura, Sergio ^a  

^a Department of Computer Languages and Systems ^*  (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED ANALYSIS; FEATURE MODELS; OPEN SOURCE COMMUNITIES; PROPOSITIONAL FORMULAS; REALISTIC VARIABILITY; RESEARCH PAPERS; RESEARCH TOPICS; SOFTWARE PRODUCT LINE; VARIABILITY MODEL;

AUTOMATION;

SOFTWARE DESIGN;

EID: 84871305316     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (28)

1. D. Batory, D. Benavides, and A. Ruiz-Cortes. Automated analysis of feature models: Challenges ahead. Communications of the ACM, December:45-47, 2006.
2. Don Batory. Feature-oriented programming and the ahead tool suite. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 702-703, Washington, DC, USA, 2004. IEEE Computer Society.
3. D. Benavides, S. Segura, and A. Ruiz-Cortes. Automated analysis of feature models 20 years later: A literature review. Information Systems, 35(6), 2010. (In press).
4. D. Benavides, P. Trinidad, S. Segura, and A. Ruiz-Cortes. Fama framework. http://www.isa.us.es/fama/. accessed May 2010.
5. D. Le Berre. Sat4j. http://www.sat4j.org/. accessed May 2010.
6. CHOCO solver, http://choco.emn.fr/. accessed January 2010.
7. Roberto Di Cosmo and Stefano Zacchiroli. Feature diagrams as package dependencies. In 14th International Software Product Line Conference (SPLC'10), 2010.
8. Deepak Dhungana, Paul Grunbacher, and Rick Rabiser. Decisionking: A flexible and extensible tool for integrated variability modeling. In 1st International Workshop on Variability Modelling of Software-intensive Systems, pages 119-128, 2007.
9. Deepak Dhungana, Rick Rabiser, and Paul Grunbacher. Decisionoriented modeling of product line architectures. Software Architecture, Working IEEE/IFIP Conference on, 0:22, 2007.
10. FOSDEM'08. http://en.opensuse.org/Package management/Sat solver.
11. Arnaud Hubaux, Andreas Classen, Marc?lio Mendonca, and Patrick Heymans. A preliminary review on the application of feature diagrams in practice. In VaMoS, pages 53-59, 2010.
12. K. Kuchcinski and R. Szymanek. Jacop. http://jacop.osolpro.com/. accessed May 2010.
13. Rafael Lotufo, Steven She, Thorsten Berger, Krzysztof Czarnecki, and Andrzej Wasowski. Evolution of the linux kernel variability model. In 14th International Software Product Line Conference (SPLC'10), 2010.
14. RPM Package Manager. http://www.rpm.org.
15. Fabio Mancinelli, Jaap Boender, Roberto di Cosmo, Jerome Vouillon, Berke Durak, Xavier Leroy, and Ralf Treinen. Managing the complexity of large free and open source package-based software distributions. In ASE '06: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering, pages 199-208, Washington, DC, USA, 2006. IEEE Computer Society.
16. Debian Policy Manual. http://www.debian.org/doc/debian-policy/ch- relationships.html.
17. Marcilio Mendonca, Moises Branco, and Donald Cowan. S.p.l.o.t.: software product lines online tools. OOPSLA '09: Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, pages 761-762, 2009.
18. D. Moody. The physics of notations: Toward a scientific basis for constructing visual notations in software engineering. Software Engineering, IEEE Transactions on, 35(6):756-779, nov.-dec. 2009.
19. EDOS project. http://www.edos-project.org.
20. Pure-systems. pure::variants. http://www.pure-systems.com/. accessed May 2010.
21. Fabricia Roos-Frantz. A preliminary comparison of formal properties on orthogonal variability model and feature models. In VaMoS, pages 121-126, 2009.
22. Fabricia Roos-Frantz and Sergio Segura. Automated analysis of orthogonal variability models. a first step. In Steffen Thiel and Klaus Pohl, editors, First Workshop on Analyses of Software Product Lines (ASPL 2008). SPLC'08, pages 243-248, Limerick, Ireland, September 2008.
23. S. Segura and A. Ruiz-Cortes. Benchmarking on the automated analyses of feature models: A preliminary roadmap. In Third International Workshop on Variability Modelling of Software-intensive Systems, pages 137-143, Seville, Spain, 2009.
24. Steven She, Rafael Lotufo, Thorsten Berger, Andrzej Wasowski, and Krzysztof Czarnecki. The variability model of the linux kernel. In Fourth International Workshop on Variability Modelling of Softwareintensive Systems (VAMOS'10), Linz, Austria, January 2010.
25. VarMod-PRIME Tool-Environment. http://www.sse.uni-essen.de/wms/en/index. php.
26. P. Trinidad, D. Benavides, A. Ruiz-Cortes, S. Segura, and A.Jimenez. Fama framework. In 12th Software Product Lines Conference (SPLC), 2008.
27. Ubuntu. http://www.ubuntu.com.
28. J. White, B. Doughtery, D. Schmidt, and D. Benavides. Automated reasoning for multi-step software product-line configuration problems. In Proceedings of the Sofware Product Line Conference, pages 11-20, 2009.