add mancoosi deliverable D2.1
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2009 10:18:12 +0000 (11:18 +0100)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 11 Feb 2009 10:18:12 +0000 (11:18 +0100)
research/publications.mdwn
research/publications/mancoosi-d2.1.pdf [new file with mode: 0644]

index f721ea6..9b512c2 100644 (file)
@@ -208,6 +208,15 @@ in reverse chronological order.
 
 # <span title="official research reports of research institutions">technical reports</span>
 
+ 1. <a class="paper_download" href="mancoosi-d2.1.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Davide Di Ruscio, Patrizio Pelliccione, Alfonso Pierantonio, Stefano Zacchiroli. **Metamodel for Describing System Structure and State**.  <em>
+       <a href="http://www.mancoosi.org">Mancoosi project</a>
+       deliverable,
+       <a href="http://www.mancoosi.org/deliverables/d2.1.pdf">D2.1</a>,
+       work package 2. January 2009.
+      </em>
+    [[!toggle id=id25 text="Abstract..."]] [[!toggleable id=id25 text="""
+    *Abstract:* Today's software systems are very complex modular entities, made up of many interacting components that must be deployed and coexist in the same context. Modern operating systems provide the basic infrastructure for deploying and handling all the components that are used as the basic blocks for building more complex systems even though a generic and comprehensive support is far from being provided. In fact, in Free and Open Source Software (FOSS) systems, components evolve independently from each other and because of the huge amount of available components and their different project origins, it is not easy to manage the life cycle of a distribution. Users are in fact allowed to choose and install a wide variety of alternatives whose consistency cannot be checked a priori to their full extent. It is possible to easily make the system unusable by installing or removing some packages that "break" the consistency of what is installed in the system itself. This document proposes a model-driven approach to simulate system upgrades in advance and to detect predictable upgrade failures, possibly by notifying the user before the system is affected. The approach relies on an abstract representation of the systems and packages which are given in terms of models that are expressive enough to isolate inconsistent configurations (e.g., situations in which installed components rely on the presence of disappeared sub-components) that are currently not expressible as inter-package relationships.
+    """]]
  1. <a class="paper_download" href="mancoosi-d5.1.pdf"><img src="../../img/pdf-format-logo.png" alt=""/>[.pdf]</a> Ralf Treinen, Stefano Zacchiroli. **Description of the CUDF Format**.  <em>
        <a href="http://www.mancoosi.org">Mancoosi project</a>
        deliverable,
diff --git a/research/publications/mancoosi-d2.1.pdf b/research/publications/mancoosi-d2.1.pdf
new file mode 100644 (file)
index 0000000..311ed62
Binary files /dev/null and b/research/publications/mancoosi-d2.1.pdf differ