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