agriesma@0
|
1 |
%nicht vergessen: auch appendices.tex ($Revision $) \"andern !
|
akremp@769
|
2 |
|
akremp@769
|
3 |
|
akremp@769
|
4 |
\part{Appendices}
|
akremp@769
|
5 |
|
agriesma@0
|
6 |
\input{terms}
|
agriesma@0
|
7 |
|
agriesma@0
|
8 |
\input{tactics}
|
agriesma@0
|
9 |
|
akremp@769
|
10 |
\chapter{Abbrevations}\label{appendix-tacs}
|
agriesma@0
|
11 |
\begin{center}
|
agriesma@0
|
12 |
\begin{tabular}{l l}
|
wneuper@1760
|
13 |
%BG & browser generator\\
|
wneuper@1760
|
14 |
%BR & browser, for theories, problems, methods or examples\\
|
wneuper@1760
|
15 |
%DG & dialog guide\\
|
wneuper@1760
|
16 |
%KB & mathematics knowledge base\\
|
wneuper@1760
|
17 |
%ME & mathematics engine\\
|
wneuper@1760
|
18 |
%\\
|
wneuper@1760
|
19 |
UR & user requirement\\
|
wneuper@1760
|
20 |
URD & user requirements document\\
|
wneuper@1760
|
21 |
SR & software requirement\\
|
wneuper@1760
|
22 |
SRD & software requirement document\\
|
wneuper@1760
|
23 |
UC & use case\\
|
wneuper@1760
|
24 |
\\
|
wneuper@1760
|
25 |
ADD & architectural design document\\
|
wneuper@1760
|
26 |
SDD & software design document\\
|
agriesma@0
|
27 |
|
agriesma@0
|
28 |
\end{tabular}
|
agriesma@0
|
29 |
\end{center}
|
agriesma@0
|
30 |
|
agriesma@0
|
31 |
|
akremp@769
|
32 |
\chapter{Development environment}\label{AP:environment}
|
agriesma@0
|
33 |
|
agriesma@0
|
34 |
\subparagraph{Delopment environments:} There are two environments, (1) SML for the knowledge interpreter and the meth knowledge base, which both are based on Isabelle written in SML, and (2) Java for networking, the dialog and the front-end.
|
agriesma@0
|
35 |
%{\bf\Dev \label{}}
|
agriesma@0
|
36 |
%{\bf\Dev \label{}}
|
agriesma@0
|
37 |
|
agriesma@0
|
38 |
|
agriesma@0
|
39 |
|
agriesma@0
|
40 |
{\bf\Dev SML version \label{sml}} is Standard ML of New Jersey, Version 110.0.7, September 28, 2000
|
agriesma@0
|
41 |
{\bf\Dev SML library for HTML \label{sml-html}} is {\tt smlnj-110.9.1/src/smlnj-lib/HTML}
|
agriesma@0
|
42 |
{\bf\Dev Isabelle version \label{isa}} is "Isabelle99: October 1999"
|
agriesma@0
|
43 |
{\bf\Dev Java version \label{java}} is
|
agriesma@0
|
44 |
"1.3.0\_01",
|
agriesma@0
|
45 |
Java(TM) 2 Runtime Environment, Standard Edition (build 1.3.0\_01),
|
agriesma@0
|
46 |
Java HotSpot(TM) Client VM (build 1.3.0\_01, mixed mode)
|
agriesma@0
|
47 |
{\bf\Dev Java applets \label{}} ???
|
agriesma@0
|
48 |
{\bf\Dev Development environments \label{os}} are linux version \dots and Unix \dots
|
agriesma@0
|
49 |
|
agriesma@0
|
50 |
\subparagraph{Standards and components:} A major part of the components concern networking because the knowledge interpreter and the knowledge base reside on a server for two reasons: (1) for efficiency reasons: both need major computer resources, and (2) for administrative reasons: \sisac{} will be used in courses initially.
|
agriesma@0
|
51 |
|
agriesma@0
|
52 |
Access to the server is established by standard internet protocols, formats and browsers as much as possible; this is not trivial because importan standards are still under development.
|
agriesma@0
|
53 |
{\bf\Dev Standard for knowledge and example collections\label{lom}} due to IEEE Learning Technology Standards Committee (LTSC),
|
agriesma@0
|
54 |
Learning Object Metadata,
|
agriesma@0
|
55 |
Working Draft Document 3 (approved 1999-11-27). TODO: OmDoc, LMML, ?IMS?
|
agriesma@0
|
56 |
%{\bf\Dev Input and rendering of formulas \label{webeq}} is done by WebEq version \dots
|
agriesma@0
|
57 |
%{\bf\Dev Standard for visulisation of formulas \label{mathML}} is
|
agriesma@0
|
58 |
%Mathematical Markup Language (MathML) 1.01 Specification,
|
agriesma@0
|
59 |
%W3C Recommendation, revision of 7 July 1999,
|
agriesma@0
|
60 |
%REC-MathML-19980407; revised 19990707.
|
agriesma@0
|
61 |
{\bf\Dev The middle ware layer is realized by Dinopolis \label{dino}} version \dots
|
agriesma@0
|
62 |
%{\bf\Dev ``normal'' access to the Internet has to suffice (port 80)}
|
agriesma@0
|
63 |
%[SR0.1]''noremaler'' Netzzugang muss gen\"ugen (keine verwendung von Ports ausser 80)
|
agriesma@0
|
64 |
{\bf\Dev The Browser is Mozilla \label{browser}} 1.2 - Released November 26, 2002. There should be as few additional software components within the browser as possible.
|
agriesma@0
|
65 |
{\bf\Dev Plugins must not be required by the browser.} ???
|
agriesma@0
|
66 |
%[SR2.1]keine Plugins \frage{Verwendung von Math-ML \& Java ist noch zu kl\"aren}
|
agriesma@0
|
67 |
{\bf\Dev The SML-kernel \label{sml-kernel}} comprising the knowledge interpreter and the knowledge base is under development. The interface to the SML-kernel is documented in {\tt ???isac/doc/interfaces/me-calc.dvi}.
|
agriesma@0
|
68 |
|
agriesma@0
|
69 |
|
agriesma@0
|
70 |
\subparagraph{Documentation and revision control:} All documentations and sources are under one revision control.
|
agriesma@0
|
71 |
{\bf\Dev Doxygen \label{doxygen}} is used for all java sources.
|
agriesma@0
|
72 |
{\bf\Dev cvs \label{cvs}} contains all documentation, sml sources, the config file of doxygen and the java sources. There are the following directories:
|
agriesma@0
|
73 |
{\small\begin{tabbing}
|
agriesma@0
|
74 |
12345\=1234\=1234\=123456\=12345\=12345123\=\kill
|
agriesma@0
|
75 |
\>cvs/\>doc\>\>\>\>UseCases, URD-SRD, ADD-SDD, math-eng\\
|
agriesma@0
|
76 |
\>\>etc\>\>\>\>settings\\
|
agriesma@0
|
77 |
\>\>lib/\>icons\\
|
agriesma@0
|
78 |
\>\>\>scripts\\
|
agriesma@0
|
79 |
\>\>\>tools/\>%WebEq
|
agriesma@0
|
80 |
\\
|
agriesma@0
|
81 |
\>\>src/\>dox-config\\
|
agriesma@0
|
82 |
\>\>\>java/\>\dots package 1/\>\>\dots klasse 1\\
|
agriesma@0
|
83 |
\>\>\>\>\>\>\dots klasse \dots\\
|
agriesma@0
|
84 |
\>\>\> \>\dots package n/\>\>\dots klasse 1\\
|
agriesma@0
|
85 |
\>\>\>\>\>\>\dots klasse \dots\\
|
agriesma@0
|
86 |
\>\>\>\>jars\\
|
agriesma@0
|
87 |
\>\>\>sml\end{tabbing}}
|
agriesma@0
|
88 |
{\bf\Dev Directories \label{dirs}} for all files of the project are the following
|
agriesma@0
|
89 |
{\small\begin{tabbing}
|
agriesma@0
|
90 |
12345\=1234567\=123\=12345\=1234512345\=\kill
|
agriesma@0
|
91 |
\>bin\\
|
agriesma@0
|
92 |
\>cvs\>\>\>\>\dots as above \dots\\
|
agriesma@0
|
93 |
\>doxygen\\
|
agriesma@0
|
94 |
\>html/\>thy\>\>\>html-representation of Isabelles theories\\
|
agriesma@0
|
95 |
\> \>pbl\>\>\>XML-representation of \sisac's hierarchy of problems\\
|
agriesma@0
|
96 |
\> \>met\>\>\>XML-representation of \sisac's list of methods\\
|
agriesma@0
|
97 |
\> \>exp\>\>\>XML-representation of \sisac's example collection
|
agriesma@0
|
98 |
\end{tabbing}}
|
agriesma@0
|
99 |
|
agriesma@0
|
100 |
|
agriesma@0
|
101 |
|
agriesma@0
|
102 |
|
agriesma@0
|
103 |
|
agriesma@0
|
104 |
|
wneuper@1689
|
105 |
\input{expl-for-ref}
|
agriesma@0
|
106 |
|
agriesma@0
|
107 |
|
agriesma@0
|
108 |
|
agriesma@0
|
109 |
|
agriesma@0
|
110 |
|