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