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