]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/work-packages/requirement-analysis.xml
Work-packages DTD improved (tasks now have an identifier and a name).
[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 id="T1.1">
31     <name>Mathematics and the Web.</name>
32     <p>State of the art, standards and
33        tools.</p>
34    </task>
35    <task id="T1.2">
36     <name>Structured and Formal Mathematics.</name>
37     <p>Delineation and
38        layering of Semantic Components. Requirements for
39        the interaction with tools for the automation of formal
40        reasoning.</p>
41    </task>
42    <task id="T1.3">
43     <name>Metadata.</name>
44     <p>Classification and data mining for content-based
45        mathematical documents, and key architectural guidelines
46        for the metadata model.</p>
47    </task>
48    <task id="T1.4">
49     <name>Searching and Retrieving.</name> 
50     <p>State of the art, use cases and
51        application scenarios.</p>
52    </task>
53    <task id="T1.5">
54     <name>Distribution.</name>
55     <p>Distributed document repositories and
56        peer-to-peer interoperability.</p>
57    </task>
58    <task id="T1.6">
59     <name>Document Authoring.</name> 
60     <p>State of the art, use cases and
61        application scenarios.</p>
62    </task>
63   </tasks>
64   <p>Part of the activity, covering Tasks T1.1-2-6 should be
65      concluded within the first three months, with the
66      preliminary report D1.a. The main aim of this phase is
67      to rapidly reach a good level of inter-operability among the
68      different sites, by implementing a suitable politic of
69      knowledge and skills transfer between the members of the
70      consortium (short visits and/or small thematic workshops,
71      according to the case).</p>
72   <p>However, some delicate issues, such as Metadata, Searching
73      and Retrieving and Distribution (Task T1.3-4-5) will
74      eventually require a deeper analysis (deliverables D1.b and
75      D1.c).</p>
76   <p>WP1 will be eventually closed during the first meeting of
77      the Project (month six), when all the reports will be
78      discussed and approved.</p>
79  </description>
80  <deliverable file="D1.a"/>
81  <deliverable file="D1.b"/>
82  <deliverable file="D1.c"/>
83  <milestones>
84   <p>The preliminary report D1.a is not a realmilestone:
85      it should be considered as a first internal draft summarising
86      the main functionalities required by the system and the basic
87      intelligence to add to documents, as markup and/or metadata,
88      to meet these requirements. All these issues will be
89      eventually detailed in D1.b and D1.c, which are real
90      Milestones, since the rest of the work will be largely
91      driven by them.</p>
92  </milestones>
93 </work-package>