From 52ee33174ed91376a8cb67e9b1d95a82027ca764 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 13 Feb 2002 14:20:35 +0000 Subject: [PATCH] Work-packages DTD improved (tasks now have an identifier and a name). Better rendering of the work-packages index (the tasks are shown). --- .../home/xml/work-packages/distribution.xml | 15 +++++---- .../home/xml/work-packages/interfaces.xml | 21 +++++++------ .../home/xml/work-packages/metadata.xml | 10 +++--- .../work-packages/requirement-analysis.xml | 30 +++++++++++------- .../work-packages/testing-and-validation.xml | 15 +++++---- .../home/xml/work-packages/transformation.xml | 31 +++++++++++-------- .../home/xml/work-packages/work-package.dtd | 4 +-- helm/mowgli/home/xsl/work-package.xsl | 9 ++++-- helm/mowgli/home/xsl/work-packages_index.xsl | 25 ++++++++++++++- 9 files changed, 105 insertions(+), 55 deletions(-) diff --git a/helm/mowgli/home/xml/work-packages/distribution.xml b/helm/mowgli/home/xml/work-packages/distribution.xml index 66f83fc7e..75a767226 100644 --- a/helm/mowgli/home/xml/work-packages/distribution.xml +++ b/helm/mowgli/home/xml/work-packages/distribution.xml @@ -21,8 +21,9 @@

The work is articulated in three, conceptually sequential tasks:

- -

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 @@ -35,12 +36,14 @@ to have a phisically distributed library with a single logical view.

 - -

Prototype implementation. First prototyping implementation + + Prototype implementation. +

First prototyping implementation of the distribution layer.

 - -

Integration with the Consultation Engine. First + + 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.

diff --git a/helm/mowgli/home/xml/work-packages/interfaces.xml b/helm/mowgli/home/xml/work-packages/interfaces.xml index f0aba5709..42a14a2b3 100644 --- a/helm/mowgli/home/xml/work-packages/interfaces.xml +++ b/helm/mowgli/home/xml/work-packages/interfaces.xml @@ -26,28 +26,31 @@

The work is organised in the following tasks:

- -

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).

 - -

Consultation Engine (archiving, searching and retrieving). - The task is devoted to the architectural design and + + 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.

 - -

Assisted Annotation. This cover an additional + + 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.

 - -

LaTeX-based authoring tool. A tool supporting automatic + + LaTeX-based authoring tool. +

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

 diff --git a/helm/mowgli/home/xml/work-packages/metadata.xml b/helm/mowgli/home/xml/work-packages/metadata.xml index 21d88aaed..9ec83a7a8 100644 --- a/helm/mowgli/home/xml/work-packages/metadata.xml +++ b/helm/mowgli/home/xml/work-packages/metadata.xml @@ -28,15 +28,17 @@ archiving, searching and retrieving issues. The work will be articulated in two main, almost sequential, tasks:

- -

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.

 - -

Modelling. This is devoted to the definition of a precise + + 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.

 diff --git a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml index 2554171e2..d5564dc07 100644 --- a/helm/mowgli/home/xml/work-packages/requirement-analysis.xml +++ b/helm/mowgli/home/xml/work-packages/requirement-analysis.xml @@ -27,31 +27,37 @@ to the different basic kind of interactions and manipulation to be considered, namely:

- -

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

State of the art, standards and tools.

 - -

Structured and Formal Mathematics. Delineation and + + Structured and Formal Mathematics. +

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

 - -

Metadata. Classification and data mining for content-based + + Metadata. +

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

 - -

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

State of the art, use cases and application scenarios.

 - -

Distribution. Distributed document repositories and + + Distribution. +

Distributed document repositories and peer-to-peer interoperability.

 - -

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

State of the art, use cases and application scenarios.

 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 90d4a4fa4..4a3d1981b 100644 --- a/helm/mowgli/home/xml/work-packages/testing-and-validation.xml +++ b/helm/mowgli/home/xml/work-packages/testing-and-validation.xml @@ -22,21 +22,24 @@ release of the first MOWGLI prototype, at month 18. We shall consider three main validation tests:

- -

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.

 - -

Certified code. The aim is to be able to present the + + 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.

 - -

Electronic Publishing. The aim is to test the LaTeX-based + + 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.

diff --git a/helm/mowgli/home/xml/work-packages/transformation.xml b/helm/mowgli/home/xml/work-packages/transformation.xml index ac1e6d89c..c8f64693d 100644 --- a/helm/mowgli/home/xml/work-packages/transformation.xml +++ b/helm/mowgli/home/xml/work-packages/transformation.xml @@ -28,28 +28,31 @@

The work package is articulated in the following tasks:

- -

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).

 - -

Stylesheets to intermediate representation. - Implementation of a bunch of stylesheets transforming the + + 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.

 - -

Proof transformation. Similar to the previous task, but + + 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.

 - -

Automatic extraction of metadata. Relevant metadata such + + 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 @@ -57,14 +60,16 @@ retrieving. The precise list of metadata will be defined in Work Package 3.

 - -

Presentational Stylesheets. Implementation of a bunch of + + Presentational Stylesheets. +

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

 - -

Automatic Proof Generation in Natural Language. Similar + + 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 diff --git a/helm/mowgli/home/xml/work-packages/work-package.dtd b/helm/mowgli/home/xml/work-packages/work-package.dtd index 897adfd9a..30d218b03 100644 --- a/helm/mowgli/home/xml/work-packages/work-package.dtd +++ b/helm/mowgli/home/xml/work-packages/work-package.dtd @@ -22,9 +22,9 @@ - + + id ID #REQUIRED> diff --git a/helm/mowgli/home/xsl/work-package.xsl b/helm/mowgli/home/xsl/work-package.xsl index 7dd7e93f9..0e4eb84e3 100644 --- a/helm/mowgli/home/xsl/work-package.xsl +++ b/helm/mowgli/home/xsl/work-package.xsl @@ -68,7 +68,7 @@

Milestones and Expected Results:

- + @@ -78,7 +78,12 @@ -
+
+ + + + +
diff --git a/helm/mowgli/home/xsl/work-packages_index.xsl b/helm/mowgli/home/xsl/work-packages_index.xsl index a9a711be2..d3e8b8974 100644 --- a/helm/mowgli/home/xsl/work-packages_index.xsl +++ b/helm/mowgli/home/xsl/work-packages_index.xsl @@ -31,13 +31,36 @@ - . + . + + + + + +
    + + + +
+ + + + +
  • + + + + + +
    • +     + -- 2.39.2