]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/work-packages/requirement-analysis.xml
DTD improved (and committed) with new elements "task" and "tasks".
[helm.git] / helm / mowgli / home / xml / work-packages / requirement-analysis.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE work-package SYSTEM "work-package.dtd">
4
5 <work-package number="1">
6  <name>Requirement Analysis</name>
7  <begin>Month 0</begin>
8  <end>Month 6</end>
9  <person-month participant="bologna" number="3"/>
10  <person-month participant="inria" number="4"/>
11  <person-month participant="dfki" number="3"/>
12  <person-month participant="nijmegen" number="6"/>
13  <person-month participant="aei" number="3"/>
14  <person-month participant="trusted-logic" number="1"/>
15  <objectives>
16   <ul>
17    <li>Definition of the application scenarios.</li>
18    <li>Precise articulation of all the functionalities required
19        by the system, and all possible expected interactions
20        with documents.</li>
21    <li>Overall requirements of the distribution model of the
22        library.</li>
23   </ul>
24  </objectives>
25  <description>
26   <p>The work plan is naturally organised in subtasks according
27      to the different basic kind of interactions and manipulation
28      to be considered, namely:</p>
29   <tasks>
30    <task name="T1.1">
31     <p>Mathematics and the Web. State of the art, standards and
32        tools.</p>
33    </task>
34    <task name="T1.2">
35     <p>Structured and Formal Mathematics. Delineation and
36        layering of Semantic Components. Requirements for
37        the interaction with tools for the automation of formal
38        reasoning.</p>
39    </task>
40    <task name="T1.3">
41     <p>Metadata. Classification and data mining for content-based
42        mathematical documents, and key architectural guidelines
43        for the metadata model.</p>
44    </task>
45    <task name="T1.4">
46     <p>Searching and Retrieving. State of the art, use cases and
47        application scenarios.</p>
48    </task>
49    <task name="T1.5">
50     <p>Distribution. Distributed document repositories and
51        peer-to-peer interoperability.</p>
52    </task>
53    <task name="T1.6">
54     <p>Document Authoring. State of the art, use cases and
55        application scenarios.</p>
56    </task>
57   </tasks>
58   <p>Part of the activity, covering Tasks T1.1-2-6 should be
59      concluded within the first three months, with the
60      preliminary report D1.a. The main aim of this phase is
61      to rapidly reach a good level of inter-operability among the
62      different sites, by implementing a suitable politic of
63      knowledge and skills transfer between the members of the
64      consortium (short visits and/or small thematic workshops,
65      according to the case).</p>
66   <p>However, some delicate issues, such as Metadata, Searching
67      and Retrieving and Distribution (Task T1.3-4-5) will
68      eventually require a deeper analysis (deliverables D1.b and
69      D1.c).</p>
70   <p>WP1 will be eventually closed during the first meeting of
71      the Project (month six), when all the reports will be
72      discussed and approved.</p>
73  </description>
74  <deliverable file="D1.a"/>
75  <deliverable file="D1.b"/>
76  <deliverable file="D1.c"/>
77  <milestones>
78   <p>The preliminary report D1.a is not a realmilestone:
79      it should be considered as a first internal draft summarising
80      the main functionalities required by the system and the basic
81      intelligence to add to documents, as markup and/or metadata,
82      to meet these requirements. All these issues will be
83      eventually detailed in D1.b and D1.c, which are real
84      Milestones, since the rest of the work will be largely
85      driven by them.</p>
86  </milestones>
87 </work-package>