From 2ba3d3b802bfa9ca330f1dc2e54653b3bcceba65 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 13 Feb 2002 13:55:55 +0000 Subject: [PATCH] DTD improved (and committed) with new elements "task" and "tasks". --- .../home/xml/work-packages/distribution.xml | 33 ++++++----- ...rmation-dissemination-and-exploitation.xml | 6 +- .../home/xml/work-packages/interfaces.xml | 41 ++++++------- .../home/xml/work-packages/metadata.xml | 25 ++++---- .../xml/work-packages/project-management.xml | 6 +- .../work-packages/requirement-analysis.xml | 57 ++++++++++--------- .../work-packages/testing-and-validation.xml | 33 ++++++----- .../home/xml/work-packages/transformation.xml | 57 ++++++++++--------- .../home/xml/work-packages/work-package.dtd | 46 +++++++++++++++ helm/mowgli/home/xsl/work-package.xsl | 19 ++++++- 10 files changed, 204 insertions(+), 119 deletions(-) create mode 100644 helm/mowgli/home/xml/work-packages/work-package.dtd diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml index 9aaa5cf92..66f83fc7e 100644 --- a/helm/mowgli/home/xml/work-packages/distribution.xml +++ b/helm/mowgli/home/xml/work-packages/distribution.xml @@ -1,5 +1,7 @@ + + Distribution Month 18 @@ -18,9 +20,9 @@

The work is articulated in three, conceptually sequential tasks:

-
-
T5.1
-
Architectural Design of the Distribution Model. The big + + +

Architectural Design of the Distribution Model. The big issue it to find the right compromise between two opposite requirements: distribution (in the sense of the Web: few rules, no central authority) and coherence @@ -31,26 +33,27 @@ mapping to Uniform Resource Locators, and the integration of databases in the distribution model. The final aim is to have a phisically distributed library with a - single logical view.

- -
T5.2
-
Prototype implementation. First prototyping implementation - of the distribution layer.
- -
T5.3
-
Integration with the Consultation Engine. First + single logical view.

+ + +

Prototype implementation. First prototyping implementation + of the distribution layer.

+ + +

Integration with the Consultation Engine. First implementation of the library as a distributed repository. Distribution should be completely transparent to users of - the Consultation Engine.

-
+ the Consultation Engine.

+ + - +

The main milestone is the release of the advanced MOWGLI prototype, for the fourth meeting of the project, at month 24. The advanced prototype will integrate the previous one with the new distribution facilities offered by the distribution layer.

- + diff --git a/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml b/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml index f67b2dce5..fbd8f58da 100644 --- a/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml +++ b/helm/mowgli/home/xml/work-packages/information-dissemination-and-exploitation.xml @@ -1,5 +1,7 @@ + + Information Dissemination and Exploitation Month 3 @@ -40,11 +42,11 @@ Scientific Publications on professional journals and conference proceedings. - +

Criteria for evaluating MOWGLI's dissemination and its technological impact will be detailed in the Dissemination and use Plan. The Project Dissemination & Exploitation Committee will be in charge to monitor the state of advancement of the Project according to these criteria.

- + diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml index 66acef64b..f0aba5709 100644 --- a/helm/mowgli/home/xml/work-packages/interfaces.xml +++ b/helm/mowgli/home/xml/work-packages/interfaces.xml @@ -1,5 +1,7 @@ + + Interfaces Month 3 @@ -23,40 +25,41 @@

The work is organised in the following tasks:

-
-
T4.1
-
MathML rendering/browsing engines. Our privileged + + +

MathML rendering/browsing engines. Our privileged rendering language will be MathML. In order to be able to test the presentational stylesheets,(Task 2.5) we need a MathML compliant browser, that will be developed as a part of the project (starting from a previous - prototype).

- -
T4.2
-
Consultation Engine (archiving, searching and retrieving). + prototype).

+ + +

Consultation Engine (archiving, searching and retrieving). The task is devoted to the architectural design and implementation of the main functionalities for the - consultation and the management of the library.

- -
T4.3
-
Assisted Annotation. This cover an additional + consultation and the management of the library.

+ + +

Assisted Annotation. This cover an additional functionality of the interface, aimed to support the user in the process of annotating a proof in natural - language.

- -
T4.4
-
LaTeX-based authoring tool. A tool supporting automatic + language.

+ + +

LaTeX-based authoring tool. A tool supporting automatic generation of Content-MathML from a suitably - (macro-)enriched version of LaTeX.

-
+ (macro-)enriched version of LaTeX.

+ + - +

The main milestone is the release of the first MOWGLI prototype, at month 18.

- + diff --git a/helm/mowgli/home/xml/work-packages/metadata.xml b/helm/mowgli/home/xml/work-packages/metadata.xml index 911da289a..21d88aaed 100644 --- a/helm/mowgli/home/xml/work-packages/metadata.xml +++ b/helm/mowgli/home/xml/work-packages/metadata.xml @@ -1,5 +1,7 @@ + + Metadata Month 6 @@ -25,27 +27,28 @@ main functionalities of the library, and especially for archiving, searching and retrieving issues. The work will be articulated in two main, almost sequential, tasks:

-
-
T3.1
-
Use, meaning and classification. This task, based on the + + +

Use, meaning and classification. This task, based on the previous documents D1 and D2, is aimed to provide a precise definition and classification of all metadata required for an effective and efficient management of the - library.

- -
T3.2
-
Modelling. This is devoted to the definition of a precise + library.

+ + +

Modelling. This is devoted to the definition of a precise markup model. To this aim, we plan to use the Resource - Description Framework of W3C.

-
+ Description Framework of W3C.

+ + - +

The definition of the Metadata model is amain milestone, since the architectural design and implementation of the consultation engine (Task 4.2) will be essentially based on it. Similarly, it is required for Task 2.4 (automatic extraction of metadata).

- + diff --git a/helm/mowgli/home/xml/work-packages/project-management.xml b/helm/mowgli/home/xml/work-packages/project-management.xml index 4345b43fa..1ceba3b33 100644 --- a/helm/mowgli/home/xml/work-packages/project-management.xml +++ b/helm/mowgli/home/xml/work-packages/project-management.xml @@ -1,5 +1,7 @@ + + Project Management Month 0 @@ -58,8 +60,8 @@ - +

Main milestones are the periodic meetings, at month 6, 12, 20, 24, 30.

- + diff --git a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml index 82d379fd6..2554171e2 100644 --- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml +++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml @@ -1,5 +1,7 @@ + + Requirement Analysis Month 0 @@ -24,34 +26,35 @@

The work plan is naturally organised in subtasks according to the different basic kind of interactions and manipulation to be considered, namely:

-
-
T1.1
-
Mathematics and the Web. State of the art, standards and - tools.
- -
T1.2
-
Structured and Formal Mathematics. Delineation and + + +

Mathematics and the Web. State of the art, standards and + tools.

+ + +

Structured and Formal Mathematics. Delineation and layering of Semantic Components. Requirements for the interaction with tools for the automation of formal - reasoning.

- -
T1.3
-
Metadata. Classification and data mining for content-based + reasoning.

+ + +

Metadata. Classification and data mining for content-based mathematical documents, and key architectural guidelines - for the metadata model.

- -
T1.4
-
Searching and Retrieving. State of the art, use cases and - application scenarios.
- -
T1.5
-
Distribution. Distributed document repositories and - peer-to-peer interoperability.
- -
T1.6
-
Document Authoring. State of the art, use cases and - application scenarios.
-
+ for the metadata model.

+ + +

Searching and Retrieving. State of the art, use cases and + application scenarios.

+ + +

Distribution. Distributed document repositories and + peer-to-peer interoperability.

+ + +

Document Authoring. State of the art, use cases and + application scenarios.

+ +

Part of the activity, covering Tasks T1.1-2-6 should be concluded within the first three months, with the preliminary report D1.a. The main aim of this phase is @@ -71,7 +74,7 @@ - +

The preliminary report D1.a is not a realmilestone: it should be considered as a first internal draft summarising the main functionalities required by the system and the basic @@ -80,5 +83,5 @@ eventually detailed in D1.b and D1.c, which are real Milestones, since the rest of the work will be largely driven by them.

- + diff --git a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml index f9e0d707c..90d4a4fa4 100644 --- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml +++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml @@ -1,5 +1,7 @@ + + Testing and Validation Month 12 @@ -19,34 +21,35 @@

Large scale testing and validation will start after the release of the first MOWGLI prototype, at month 18. We shall consider three main validation tests:

-
-
T6.1
-
Education. Full development of a fragment of the library + + +

Education. Full development of a fragment of the library covering a typical undergraduate course in algebra of - analysis.

- -
T6.2
-
Certified code. The aim is to be able to present the + analysis.

+ + +

Certified code. The aim is to be able to present the formalization and the demonstration of some security properties related to the code embedded into a smart card. The presentation must be in a format understandable by the company in charge of the evaluation of the code and - in accordance with the Common Criteria standard.

- -
T6.3
-
Electronic Publishing. The aim is to test the LaTeX-based + in accordance with the Common Criteria standard.

+ + +

Electronic Publishing. The aim is to test the LaTeX-based authoring tool and to demonstrate how an electronic physics journal benefits from the exploitation of - content markup in journal articles.

-
+ content markup in journal articles.

+ + - +

We expect a lot of feed-back during this phase, that will be taken into account for the definition of the advanced and final versions of the MOWGLI prototype.

- + diff --git a/helm/mowgli/home/xml/work-packages/transformation.xml b/helm/mowgli/home/xml/work-packages/transformation.xml index 1cffe28a3..ac1e6d89c 100644 --- a/helm/mowgli/home/xml/work-packages/transformation.xml +++ b/helm/mowgli/home/xml/work-packages/transformation.xml @@ -1,5 +1,7 @@ + + Transformation Month 0 @@ -25,50 +27,51 @@

The work package is articulated in the following tasks:

-
-
T2.1
-
XML exportation. The task is devoted to the translation + + +

XML exportation. The task is devoted to the translation of the standard library of the COQ Proof assistant into a suitable XML dialect, and to the definition of a low-level DTD for the terms of the Calculus of Inductive - Construction (the logical system used by COQ).

- -
T2.2
-
Stylesheets to intermediate representation. + Construction (the logical system used by COQ).

+ + +

Stylesheets to intermediate representation. Implementation of a bunch of stylesheets transforming the low-level logical description of COQ-expressions into a ``standard'' intermediate, content-level representation - such as MathML content.

- -
T2.3
-
Proof transformation. Similar to the previous task, but + such as MathML content.

+ + +

Proof transformation. Similar to the previous task, but for proofs. The delicate point, here, is the fact that no ``standard'' intermediate representation currently exists, - and thus it has to be defined.

- -
T2.4
-
Automatic extraction of metadata. Relevant metadata such + and thus it has to be defined.

+ + +

Automatic extraction of metadata. Relevant metadata such as list of identifiers in critical positions inside statements can be automatically extracted from the fully structured representation of mathematical objects. This information can then be exploited for searching and retrieving. The precise list of metadata will be defined - in Work Package 3.

- -
T2.5
-
Presentational Stylesheets. Implementation of a bunch of + in Work Package 3.

+ + +

Presentational Stylesheets. Implementation of a bunch of stylesheets transforming the intermediate content representation into a suitable rendering format (MathML - presentation, HTML, etc.)

- -
T2.6
-
Automatic Proof Generation in Natural Language. Similar + presentation, HTML, etc.)

+ + +

Automatic Proof Generation in Natural Language. Similar to the previous task but for proofs. In this case, a fully automated approach is unlikely to produce really satisfactory results, and the process should be possibly integrated with some mechanism for interactive annotation - (see Task 4.3).

-
+ (see Task 4.3).

+ + @@ -77,7 +80,7 @@ - +

The exportation module D2.a. is our first milestone: without a large amount of available documents it would be impossible to test the transformations. Similarly, @@ -92,5 +95,5 @@ particular, for MathML).

For the end of month 18, we expect to have a first working prototype of the whole application.

- + diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd new file mode 100644 index 000000000..897adfd9a --- /dev/null +++ b/helm/mowgli/home/xml/work-packages/work-package.dtd @@ -0,0 +1,46 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl index b6bc9347f..7dd7e93f9 100644 --- a/helm/mowgli/home/xsl/work-package.xsl +++ b/helm/mowgli/home/xsl/work-package.xsl @@ -49,7 +49,7 @@

Objectives:

Description:

- +

Deliverables:

    @@ -71,4 +71,21 @@ + +
    + +
    +     + + +
    +
    + +
    +     + + + + + -- 2.39.2