Feature Diagrams as Package Dependencies

  • Roberto Di Cosmo
  • Stefano Zacchiroli
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6287)


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.


software product lines open source package component feature diagram dependencies 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abate, P., Boender, J., Di Cosmo, R., Zacchiroli, S.: Strong dependencies between software components. In: ESEM 2009, pp. 89–99. IEEE, Los Alamitos (2009)Google Scholar
  2. 2.
    Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol. 3714, pp. 7–20. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  3. 3.
    Benavides, D., Martín-Arroyo, P.T., Cortés, A.R.: Automated reasoning on feature models. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 491–503. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  4. 4.
    Berre, D.L., Rapicault, P.: Dependency management for the Eclipse ecosystem. In: IWOCE 2009. ACM, New York (2009)Google Scholar
  5. 5.
    Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Mancinelli, F.: Improving the quality of GNU/Linux distributions. In: COMPSAC, pp. 1240–1246. IEEE, Los Alamitos (2008)Google Scholar
  6. 6.
    de Jonge, M., Visser, J.: Grammars as feature diagrams. In: ICSR7 Workshop on Generative Programming. pp. 23–24 (2002)Google Scholar
  7. 7.
    Di Cosmo, R., Trezentos, P., Zacchiroli, S.: Package upgrades in FOSS distributions: Details and challenges. In: HotSWup 2008. ACM, New York (2008)Google Scholar
  8. 8.
    EDOS project, WP2 team: Report on formal management of software dependencies. Deliverable Work Package 2, Deliverable 2 (2006)Google Scholar
  9. 9.
    Janota, M.: Do sat solvers make good configurators? In: SPLC 2008, Second Volume (Workshops), pp. 191–195 (2008)Google Scholar
  10. 10.
    Janota, M., Kiniry, J.: Reasoning about feature models in higher-order logic. In: SPLC, pp. 13–22. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  11. 11.
    Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Tech. rep., CMU (1990)Google Scholar
  12. 12.
    Le Berre, D., Parrain, A.: On SAT technologies for dependency management and beyond. In: ASPL 2008 (2008)Google Scholar
  13. 13.
    Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X., Treinen, R.: Managing the complexity of large free and open source package-based software distributions. In: ASE 2006, pp. 199–208. IEEE, Los Alamitos (2006)Google Scholar
  14. 14.
    Schobbens, P.Y., Heymans, P., Trigaux, J.C.: Feature diagrams: A survey and a formal semantics. In: RE 2006, pp. 136–145. IEEE, Los Alamitos (2006)Google Scholar
  15. 15.
    Treinen, R., Zacchiroli, S.: Solving package dependencies: from EDOS to Mancoosi. In: DebConf 8: proceedings of the 9th conference of the Debian project (2008)Google Scholar
  16. 16.
    Tucker, C., Shuffelton, D., Jhala, R., Lerner, S.: OPIUM: Optimal package install/uninstall manager. In: ICSE 2007, pp. 178–188 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Roberto Di Cosmo
    • 1
  • Stefano Zacchiroli
    • 1
  1. 1.Universit Paris Diderot, PPS, UMR 7126ParisFrance

Personalised recommendations