]> matita.cs.unibo.it Git - helm.git/blob - helm/mowgli/home/xml/proposal/econ-scient-tech-prospects.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / proposal / econ-scient-tech-prospects.xml
1 <?xml version="1.0"?>
2
3 <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
4
5 <html>
6  <head>
7    <title>Economic development and Scientific and Technological Prospects</title>
8  </head>
9  <body>
10
11  <table width="550">
12    <tr>
13     <td>
14      <a href="EC-contribution.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
15     </td>
16     <td>
17      <a href="../project.html" target="content">Index</a>
18     </td>
19     <td>
20      <a href="project-planning.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
21     </td>
22    </tr>
23   </table>
24
25   <br/>
26
27   <h1>Economic development and Scientific and Technological Prospects</h1>
28
29   <h2>Identification of exploitable results</h2>
30   <p>MOWGLI is meant to develop, evaluate, fine-tune and deliver a complete 
31      prototype supporting friendly and interactive access to huge, distributed 
32      repositories of content-based mathematical knowledge. The purpose of the 
33      project is to overcome some of the main obstacles that currently hinder a
34      wider dissemination of Information Technologies in the mathematical and 
35      research community (comprising both professionals and students). This is 
36      intended as a public service for the whole community of users, and we 
37      expect no direct commercial profit by our work.</p>
38   <p>Of course, the core technologies and languages developed in MOWGLI may be
39      exploited in a lot of different ways, according to the nature and 
40      exploitation plan of each partner.</p>
41   <p>In particular, it should be clear that having a coherent, distributed 
42      library of structured mathematical knowledge, saved in a clearly defined,
43      well documented and application independent format, is just the starting 
44      point of a wider, potentially enormous process. Building on the grounds 
45      provided by MOWGLI, a lot of different services can be imagined, and 
46      independently developed by different organisations. Inside the project, we
47      shall just give a few hints in this direction, supporting advanced and 
48      interactive forms of searching and navigation, as well as automatic 
49      validation facilities, for suitable fragments of the library.</p>
50
51   <h2>Target Market</h2>
52   <p>The main target market of MOWGLI is education. Here, the potentiality 
53      offered by a semantic description of the information for the development 
54      of interactive, electronic textbooks are enormous. In particular, the 
55      MOWGLI prototype could become an essential tool for a wider and more 
56      friendly dissemination of mathematical knowledge.</p>
57   <p>A second, potential market is Publishing. Digital libraries currently 
58      suffers from clear limitations due to the machine-readable but not 
59      machine understandable encoding of the information. No other kind of 
60      elaboration than displaying or printing is usually possible. There is no 
61      possibility of cut-and paste, formal checking, complex searching. For 
62      instance, we cannot write a spider going around searching for a proof with
63      a given template, because there is not structure, and in particular no 
64      semantics inside the text.</p>
65   <p>A third market are industries specialised in formal verification and 
66      security. These industries are usually asked to check a given system or 
67      protocol for security issues or formal validation of functional/temporal 
68      behaviour. The result of the formalisation work and its automatic 
69      validation is typically in an internal format which is obscure even to 
70      experts. Studying the possibility to automatically generate a more 
71      friendly presentation in usual mathematical notation is thus a major 
72      topic.</p>
73
74   <h2>Consortium's Dissemination and Exploitation Strategy</h2>
75   <p>According to the Project Workplan, a considerable effort will be devoted 
76      to the dissemination/exploitation of the results. During the first six 
77      months, the consortium will undertake the development and execution of a 
78      workplan to achieve successful dissemination of the project results. In 
79      particular, the very nature of the project suggests to involve the 
80      largest community of professionals during the modelling phase. Here, we 
81      shall be open to any contribution, even soliciting them, still keeping 
82      final technical decisions inside the Project.
83    <br/>
84      The foreseen dissemination steps include:</p>
85
86   <ol>
87    <li>Preparation of an ``information pack'', including a folder and CDROM 
88        with demos.</li>
89    <li>Presentation of MOWGLI to national and international conferences on 
90        I.T.Technologies.</li>
91    <li>Presentation of MOWGLI to thematic conferences on Education, Digital 
92        Libraries, Formal Verification and so on.</li>
93    <li>Advertising to actors/institutions which may be direct users or may 
94        channel the information to final users (such as the World Wide Web 
95        Consortium).</li>
96    <li>Technical papers and articles to be sent to specialised reviews.</li>
97    <li>Management of the MOWGLI Web site.</li>
98    <li>Dissemination of technical achievements in specific scientific 
99        communities, such as XML-related interests groups.</li>
100   </ol>
101
102   <p>Management of the Exploitation and Dissemination activities is a specific
103      Work-package that will be lead by the Project Exploitation Board. It is 
104      planned that all partners will nominate qualified persons as exploitation 
105      managers to coordinate their own exploitation activities. The Exploitation
106      Board will be in charge of the preparation of the exploitation and 
107      dissemination plan.</p>
108
109  <br/> 
110
111  <table width="550">
112    <tr>
113     <td>
114      <a href="EC-contribution.html" target="content"><img src="./../../images/PreviousArrow.gif" width="26" height="26" border="0" alt="Previous Page"/></a>
115     </td>
116     <td>
117      <a href="../project.html" target="content">Index</a>
118     </td>
119     <td>
120      <a href="project-planning.html" target="content"><img src="./../../images/NextArrow.gif" width="26" height="26" border="0" alt="Next Page"/></a>
121     </td>
122    </tr>
123   </table>
124
125  </body>
126 </html>