# Changeset 696

Show
Ignore:
Timestamp:
03/13/09 21:23:20 (4 years ago)
Message:

small fixes

Location:
Files:
3 modified

### Legend:

Unmodified
Removed

r691 r696
1\begin{figure}
2  \centering \pgfimage[width=\linewidth]{architecture}
4  \label{fig:arch}
5\end{figure}
6
17The \jobad architecture is divided into the actual mathematical services, the user
28interface elements, and generic communication and document manipulation functions (see

814\subsection{A Document Format that Enables Services}
915\label{sec:doc-format}
10
11 \begin{figure}
12   \centering \pgfimage[width=\linewidth]{architecture}
14   \label{fig:arch}
15 \end{figure}
1616
1717The \mathml specification leaves some details about the structure of a document to application developers~\cite{CarlisleEd:MathML08}. Therefore, for \jobad, we pose some additional requirements:

147147\subsection{User Interface}
148148
149 \jobad offer various user interface elements for input and output.  A context menu can be requested by right-clicking for the object under the cursor or for the range of mouse-selected objects.  A selection can be made in the usual way of dragging the mouse, or by repeated clicking on any part of a formula.  In the latter case, the selection is extended step by step, always advancing to the parent grouping element.  While performing actions on the current selection makes sense for services like folding or definition lookup (cf.\ Sect.~\ref{sec:svc-definition}), other services, such as elision, are also made available globally: If desired, bracket elision can be controlled document-wide by hotkeys from 0 (no redundant brackets displayed) to 9 (all redundant brackets displayed), and a collapsible toolbar placed next to each formula offers one slider per elision group for controlling the thresholds locally.\ednote{@FR: may not   make sense to practitioners in education; we have to be careful.  On the other hand, I   do not yet know how to integrate a global toolbar; see \#321. --CL}
149\jobad offers various user interface elements for input and output.  A context menu can be requested by right-clicking for the object under the cursor or for the range of mouse-selected objects.  A selection can be made in the usual way of dragging the mouse, or by repeated clicking on any part of a formula.  In the latter case, the selection is extended step by step, always advancing to the parent grouping element.  While performing actions on the current selection makes sense for services like folding or definition lookup (cf.\ Sect.~\ref{sec:svc-definition}), other services, such as elision, are also made available globally: If desired, bracket elision can be controlled document-wide by hotkeys from 0 (no redundant brackets displayed) to 9 (all redundant brackets displayed), and a collapsible toolbar placed next to each formula offers one slider per elision group for controlling the thresholds locally.
150150
151151Calls to services are represented by generic action objects, which allows for providing diverse access to them.  The same elision action can, e.\,g., be triggered via a local context menu, from a formula-local toolbar, and via a global keyboard shortcut.

r695 r696
1 Documents are an important interface for the distribution of mathematical knowledge. Recently the technological development has shifted attention more and more towards digital documents and the added-value features they can offer. This has led to a number of research efforts on interactive mathematical documents involving features such as adapting mathematical documents, interactive exercises, and mathematical web services.
1Documents are an important interface for the distribution of mathematical knowledge. Recently the technological development has shifted attention more and more towards digital documents and the added-value they can offer. This has led to a number of research efforts on interactive mathematical documents involving features such as adapting mathematical documents, interactive exercises, and mathematical web services.
22
33The \activemath project investigates how to \emph{aggregate documents} from a knowledge base such that the resulting document contains exactly the topics that the reader wants to learn and their prerequisites~\cite{URL:activemath}. \emph{Interactive Exercises} have been realized in \activemath and \mathdox~\cite{GM:FeedbackActiveMathExercises08,CuypCoheKnop2008g4,CCJS:IntLearnMathCalc05}. Here the user enters the result into a form and then gets feedback from a solution checker in the server backend.

1414
1515We aim at a similar development kit for integrating mathematical web services into documents. Our vision of an \emph{interactive document} is a document that the user can not just read, but adapt according to his preferences and interests \emph{while} reading it -- not only by customizing the display of the rendered document in the browser, but also by changing notations (which requires re-rendering) or retrieving additional information from services on the web.
16 Consider a student reading lecture notes: Whenever he is not familiar with a mathematical symbol occurring in some formula, he should be able to look up its definition without opening another document, but right in his current context of reading.
17 \ednote{@MK: Any sources/previous research on learning by interacting with a document''?}
16Consider a student reading lecture notes: Whenever he is not familiar with a mathematical symbol occurring in some formula, he should be able to look up its definition without opening another document, but right in his current context of reading.\ednote{@MK: Any sources/previous research on learning by interacting with a document''?}
1817Or consider the problem of converting between physical units (e.g., imperial vs.\ SI).  There are lots of unit converters on the web (see~\cite{Stratford:UnitKnowledgeManagement} for a survey), but instead of manually opening one and copying numbers into its entry form, we want to enable an in-place unit conversion.
1918

2322
2423In Section~\ref{sec:jobad}, we present the main component of \jobad, a collection of small JavaScript modules that add interactive services to a mathematical document. Here we assume a broad notion of service'' including local interactive functionality as well as any service with an HTTP interface, regardless of whether it complies with a heavyweight'' web service standard like XML-RPC or \monet. In Section~\ref{sec:services}, we present several web services that we have implemented and describe how to integrate third-party services. In Section~\ref{sec:evaluation}, we briefly describe a first large \jobad case study, and we conclude in Section~\ref{sec:conc}.
25
26 \ednote{FR: capitalize section, figure etc. if followed   by number}
27
2824
2925%Maybe use this stuff:

3834%  Texmacs/Plato~\cite{AutexierEtAl:notations-texmacs-plato}: mediator; flexible architecture, but not web-scalable
3935%  HELM\cite{APSGS:MKM-HELM03}
36
37%%% Local Variables:
38%%% mode: latex
39%%% mode: longlines