publication details for ahci 2012 wiki paper
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Apr 2012 14:41:34 +0000 (16:41 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 21 Apr 2012 14:41:34 +0000 (16:41 +0200)
research/publications.mdwn
research/publications/ahci2012-wiki.bib [new file with mode: 0644]
research/publications/ahci2012-wiki.pdf [new file with mode: 0644]

index 7ccb21b..7ae9a54 100644 (file)
@@ -9,9 +9,16 @@ in reverse chronological order.
 
  1. <a class="paper-download" href="jss2012-concern.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="jss2012-concern.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1016/j.jss.2012.02.018" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Dependency Solving: a Separate Concern in Component Evolution Management**.  <em>To appear in <a href="http://www.journals.elsevier.com/journal-of-systems-and-software/">Journal
       of Systems and Software</a>.</em>
-    [[!toggle id=id39 text="Abstract..."]] [[!toggleable id=id39 text="""
+    [[!toggle id=id40 text="Abstract..."]] [[!toggleable id=id40 text="""
     *Abstract:* Maintenance of component-based software platforms often has to face rapid evolution of software components. Component dependencies, conflicts, and package managers with dependency solving capabilities are the key ingredients of prevalent software maintenance technologies that have been proposed to keep software installations synchronized with evolving component repositories. We review state-of-the-art package managers and their ability to keep up with evolution at the current growth rate of popular component-based platforms, and conclude that their dependency solving abilities are not up to the task. We show that the complexity of the underlying upgrade planning problem is NP-complete even for seemingly simple component models, and argue that the principal source of complexity lies in multiple available versions of components. We then discuss the need of expressive languages for user preferences, which makes the problem even more challenging. We propose to establish dependency solving as a separate concern from other upgrade aspects, and present CUDF as a formalism to describe upgrade scenarios. By analyzing the result of an international dependency solving competition, we provide evidence that the proposed approach is viable.
     """]]
+ 1. <a class="paper-download" href="ahci2012-wiki.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="ahci2012-wiki.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1155/2012/893575" title="Document Object Identifier">doi&gt;</a></span> <a href="http://diiorio.web.cs.unibo.it/">Angelo Di Iorio</a>, Francesco Draicchio, <a href="http://vitali.web.cs.unibo.it">Fabio Vitali</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Constrained Wiki: The WikiWay to Validating Content**.  <em>In <a href="http://www.hindawi.com/journals/ahci/">Advances in Human-Computer
+      Interaction</a>, Volume 2012, Article ID
+      893575, <a href="http://www.hindawi.com/journals/ahci/2012/893575/">pp. 1-19</a>. Hindawi,
+      2012</em>
+    [[!toggle id=id39 text="Abstract..."]] [[!toggleable id=id39 text="""
+    *Abstract:* The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.
+    """]]
  1. <a class="paper-download" href="scp2010-evolution.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="scp2010-evolution.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <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>In <a href="http://www.elsevier.com/locate/scico/">Science
       of Computer Programming</a>, Volume 76, Issue
       12, pp. 1144-1160. ISSN 0167-6423,
@@ -72,7 +79,7 @@ in reverse chronological order.
       <a href="http://cbse-conferences.org/2012/">15th International ACM
       SIGSOFT Symposium on Component Based Software
       Engineering</a>, Bertinoro, Italy, June 26-28, 2012.</em>
-    [[!toggle id=id40 text="Abstract..."]] [[!toggleable id=id40 text="""
+    [[!toggle id=id41 text="Abstract..."]] [[!toggleable id=id41 text="""
     *Abstract:* An important aspect of the quality assurance of large component repositories is the logical coherence of component metadata. We argue that it is possible to identify certain classes of such problems by checking relevant properties of the possible future repositories into which the current repository may evolve. In order to make a complete analysis of all possible futures effective however, one needs a way to construct a finite set of representatives of this infinite set of potential futures. We define a class of properties for which this can be done. We illustrate the practical usefulness of the approach with two quality assurance applications: (i) establishing the amount of "forced upgrades" induced by introducing new versions of existing components in a repository, and (ii) identifying outdated components that need to be upgraded in order to ever be installable in the future. For both applications we provide experience reports obtained on the Debian distribution.
     """]]
  1. <a class="paper-download" href="cbse2011-mpm.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="cbse2011-mpm.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://doi.acm.org/10.1145/2000229.2000255" title="Document Object Identifier">doi&gt;</a></span> Pietro Abate, <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://www.pps.jussieu.fr/~treinen">Ralf Treinen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **MPM: a modular package manager**.  <em>In proceedings of CBSE 2011: <a href="http://cbse-conferences.org/2011/">14th International ACM SIGSOFT
diff --git a/research/publications/ahci2012-wiki.bib b/research/publications/ahci2012-wiki.bib
new file mode 100644 (file)
index 0000000..ddc34e2
--- /dev/null
@@ -0,0 +1,8 @@
+@article{ahci2012-wiki,
+  author = {Di Iorio, Angelo and Francesco Draicchio and Fabio Vitali and Stefano Zacchiroli},
+  title = {Constrained Wiki: The WikiWay to Validating Content},
+  abstract = {The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.},
+  year = {2012},
+  doi = {10.1155/2012/893575},
+  journal = {Advances in Human-Computer Interaction},
+}
diff --git a/research/publications/ahci2012-wiki.pdf b/research/publications/ahci2012-wiki.pdf
new file mode 100644 (file)
index 0000000..040b2e1
Binary files /dev/null and b/research/publications/ahci2012-wiki.pdf differ