Dependency management for the eclipse ecosystem: Eclipse p2, metadata and resolution

IWOCE'09 - Proceedings of the 1st International Workshop on Open Component Ecosystems

Volumn , Issue , 2009, Pages 21-30

  Le Berre, Daniel ^a,b,c   Rapicault, Pascal ^d  

^a UNIV LILLE   (France)

^b UNIVERSITÉ D'ARTOIS   (France)

^c CNRS   (France)

^d IBM CANADA LTD   (Canada)

Author keywords

Boolean encoding; Dependency management; OSGi

Indexed keywords

BOOLEAN ENCODING; COMPONENT BASED SYSTEMS; MANAGEMENT ISSUES; SOFTWARE DEVELOPMENT;

ENCODING (SYMBOLS); METADATA; TECHNICAL PRESENTATIONS;

ECOSYSTEMS;

EID: 77950469659     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1595800.1595805     Document Type: Conference Paper

References (17)

1. Mancoosi, Managing the Complexity of the Open Source Infrastructure. http://www.mancoosi.org.
2. OSGi Service Platform. http://www.osgi.org/Speci cations.
3. Pietro Abate, Jaap Boender, Roberto Di Cosmo, and Stefano Zacchiroli. Strong dependencies between software components. Technical Report 2, Mancoosi-Seventh Framework Programme, May 2009.
4. Josep Argelich, Ines Lynce, and Joao Marques-Silva. On solving boolean multilevel optimization problems. In Twenty-First International Joint Conferences on Arti cial Intelligence (IJCAI), page to appear, Pasadena, California, USA, 2009.
5. Roberto Asín, Robert Nieuwenhuis, Albert Oliveras, and Enric Rodríguez-Carbonell. Efficient generation of unsatis ability proofs and cores in sat. In Iliano Cervesato, Helmut Veith, and Andrei Voronkov, editors, LPAR, volume 5330 of Lecture Notes in Computer Science, pages 16{30. Springer, 2008.
6. Alessandro Cimatti, Alberto Griggio, and Roberto Sebastiani. A simple and exible way of computing small unsatis able cores in sat modulo theories. In Joao Marques-Silva and Karem A. Sakallah, editors, SAT, volume 4501 of Lecture Notes in Computer Science, pages 334-339. Springer, 2007.
7. Niklas Een Niklas Sörensson. An extensible sat-solver. In Proceedings of the Sixth International Conference on Theory and Applications of Satis ability Testing, LNCS 2919, pages 502{518, 2003.
8. IETF. http://www.ietf.org/rfc/rfc2254.txt.
9. Ulrich Junker. Quickxplain: Preferred explanations and relaxations for over-constrained problems. In Deborah L. McGuinness and George Ferguson, editors, AAAI, pages 167-172. AAAI Press / The MIT Press, 2004.
10. Daniel Le Berre and Anne Parrain. SAT4J, a SATis ability library for java. http://www.sat4j.org.
11. Ines Lynce and Joao P. Marques Silva. On computing minimum unsatis able cores. In SAT, 2004.
12. Fabio Mancinelli, Jaap Boender, Roberto di Cosmo, Jérome Vouillon, Berke Durak, Xavier Leroy, and Ralf Treinen. Managing the complexity of large free and open source package-based software distributions. In Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE06), pages 199{208, Tokyo, JAPAN, september 2006. IEEE Computer Society Press.
13. Mark Powell (NASA) Marc Ho mann, Gilles J. Iachelini (CSC). Eclipse on rails and rockets. http://live.eclipse.org/node/750.
14. Bertrand MAZURE, Lakhdar SAIS, and Eric GREGOIRE. Detecting logical inconsistencies. In Proceedings of the Fourth International Symposium on Arti cial Intelligence and Mathematics(AI/Math'96), pages 116-121, Fort Lauderdale (FL-USA), jan 1996.
15. Ralph Treinen and Stefano Zacchiroli. Solving package dependencies : from Edos to Mancoosi. In DebConf'8, Argentine, 2008.
16. Chris Tucker, David Shu elton, Ranjit Jhala, and Sorin Lerner. Opium: Optimal package install/uninstall manager. In ICSE, pages 178{188. IEEE Computer Society, 2007.
17. Lintao Zhang and Sharad Malik. Extracting small unsatis able cores from unsatis able boolean formulas. In Sixth International Conference on Theory and Applications of Satis ability Testing (SAT03), 2003.