add DOI for latest SCP paper
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Dec 2010 11:08:14 +0000 (12:08 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 1 Dec 2010 11:08:14 +0000 (12:08 +0100)
research/publications.mdwn

index 5e3897e..8041039 100644 (file)
@@ -7,7 +7,7 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed journals">journal articles</span>
 
- 1. <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>To appear in<a href="http://www.elsevier.com/locate/scico/">Science of Computer
+ 1. <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.scico.2010.11.001" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.di.univaq.it/diruscio/">Davide Di Ruscio</a>, <a href="http://www.di.univaq.it/pellicci/">Patrizio Pelliccione</a>, <a href="http://www.di.univaq.it/alfonso/">Alfonso Pierantonio</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Supporting Software Evolution in Component-Based FOSS Systems**.  <em>Article in press, to appear in<a href="http://www.elsevier.com/locate/scico/">Science of Computer
       Programming</a>, ISSN 0167-6423. Elsevier, 2010.</em>
     [[!toggle id=id35 text="Abstract..."]] [[!toggleable id=id35 text="""
     *Abstract:* FOSS (Free and Open Source Software) systems present interesting challenges in system evolution. On one hand, most FOSS systems are based on very fine-grained units of soft- ware deployment—called packages—which promote system evolution; on the other hand, FOSS systems are among the largest software systems known and require sophisticated static and dynamic conditions to be verified, in order to successfully deploy upgrades on user machines. The slightest error in one of these conditions can turn a routine upgrade into a system administrator nightmare. In this paper we introduce a model-based approach to support the upgrade of FOSS systems. The approach promotes the simulation of upgrades to predict failures before affecting the real system. Both fine-grained static aspects (e.g. configuration incoher- ences) and dynamic aspects (e.g. the execution of configuration scripts) are taken into account, improving over the state of the art of upgrade planners. The effectiveness of the approach is validated by instantiating the approach to widely-used FOSS distributions.