Feature Diagrams as Package Dependencies

FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research have led to efficient and complete configuration tools and techniques, based on state of the art solvers, that are being adopted in industry. We show how to encode a significant subset of Free Feature Diagrams as interdependent packages, enabling to reuse package tools and research results into software product lines.

[1]  Roberto Di Cosmo,et al.  Strong dependencies between software components , 2009, 2009 3rd International Symposium on Empirical Software Engineering and Measurement.

[2]  Daniel Le Berre,et al.  On SAT Technologies for Dependency Management and Beyond , 2008, SPLC.

[3]  Pascal Rapicault,et al.  Dependency management for the eclipse ecosystem: eclipse p2, metadata and resolution , 2009, IWOCE '09.

[4]  Kyo Chul Kang,et al.  Feature-Oriented Domain Analysis (FODA) Feasibility Study , 1990 .

[5]  Merijn de Jonge,et al.  Grammars as Feature Diagrams , 2002 .

[6]  R. D. Cosmo.  Deliverable WP 2-D 2 . 1 Report on Formal Management of Software Dependencies , 2012 .

[7]  Mikolás Janota.  Do SAT Solvers Make Good Configurators? , 2008, SPLC.

[8]  Sorin Lerner,et al.  OPIUM: Optimal Package Install/Uninstall Manager , 2007, 29th International Conference on Software Engineering (ICSE'07).

[9]  Roberto Di Cosmo.  EDOS deliverable WP2-D2.1: Report on Formal Management of Software Dependencies , 2005 .

[10]  Roberto Di Cosmo,et al.  Improving the Quality of GNU/Linux Distributions , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[11]  Pierre-Yves Schobbens,et al.  Feature Diagrams: A Survey and a Formal Semantics , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[12]  Pascal Rapicault.  Dependency Management for the Eclipse Ecosystem , 2009 .

[13]  Roberto Di Cosmo,et al.  Managing the Complexity of Large Free and Open Source Package-Based Software Distributions , 2006, 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06).

[14]  Don S. Batory,et al.  Feature Models, Grammars, and Propositional Formulas , 2005, SPLC.

[15]  Roberto Di Cosmo,et al.  Package upgrades in FOSS distributions: details and challenges , 2008, HotSWUp '08.

[16]  Mikolás Janota,et al.  Reasoning about Feature Models in Higher-Order Logic , 2007, 11th International Software Product Line Conference (SPLC 2007).

[17]  Ralf Treinen,et al.  Solving package dependencies: from EDOS to Mancoosi , 2008, ArXiv.