Changeset 696
- Timestamp:
- 03/13/09 21:23:20 (4 years ago)
- Location:
- doc/pubs/mkm09/jobad
- Files:
-
- 3 modified
Legend:
- Unmodified
- Added
- Removed
-
doc/pubs/mkm09/jobad/arch.tex
r691 r696 1 \begin{figure} 2 \centering \pgfimage[width=\linewidth]{architecture} 3 \caption{JOBAD Architecture} 4 \label{fig:arch} 5 \end{figure} 6 1 7 The \jobad architecture is divided into the actual mathematical services, the user 2 8 interface elements, and generic communication and document manipulation functions (see … … 8 14 \subsection{A Document Format that Enables Services} 9 15 \label{sec:doc-format} 10 11 \begin{figure}12 \centering \pgfimage[width=\linewidth]{architecture}13 \caption{JOBAD Architecture}14 \label{fig:arch}15 \end{figure}16 16 17 17 The \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: … … 147 147 \subsection{User Interface} 148 148 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. 150 150 151 151 Calls 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. -
doc/pubs/mkm09/jobad/intro.tex
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 featuresthey 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.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 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. 2 2 3 3 The \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. … … 14 14 15 15 We 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''?} 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.\ednote{@MK: Any sources/previous research on ``learning by interacting with a document''?} 18 17 Or 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. 19 18 … … 23 22 24 23 In 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 28 24 29 25 %Maybe use this stuff: … … 38 34 % Texmacs/Plato~\cite{AutexierEtAl:notations-texmacs-plato}: mediator; flexible architecture, but not web-scalable 39 35 % HELM\cite{APSGS:MKM-HELM03} 36 37 %%% Local Variables: 38 %%% mode: latex 39 %%% mode: longlines 40 %%% TeX-master: "jobad-server" 41 %%% End:
