Available services
We have prepared a test case and a short interaction model as well as the expected result (just in case).
Definition Lookup
URL: Definition Lookup Example
Documents in the OMDoc format are rendered by JOMDoc and served via TNTBase. For example, this is a document part of the General Computer Science lecture notes written by Prof. Kohlhase in sTeX.
By right-clicking on any mathematical symbol (e.g.: the ≡ symbol in the first formula) will pop up a dynamically created contextual menu that allows one to look up the definition of that symbol.
Dynamic Module Loading
URL: Dynamic Module Loading Service Example
This is a service that provides management functionality in the long run (for users that access a subset of the documents frequently, e.g.: students accessing the lecture notes). It dynamically loads and unloads services, as the user wishes and also remembers the loaded services so that, on a later visit, you will get the services enabled on the last visit.
First the user will get no services (no user interaction enabled). Then, by click-ing on the "Click me to configure the loaded modules", one will get a dialog box that blocks all the interaction with the rest of the document, prompting the user to choose the loaded modules
Folding
URL: Folding Example
This service provides the functionality of folding parts of a formula or folding of certain terms. By enabling the folding service via the Dynamic Loading service (see previous service), one can then fold parts of a formula (right click -> Fold) or, depending on the document provided by the backend, one can also unfold terms into their meaning (e.g.: on the last formula, one can unfold "transmission delay" to it's actual formula).
Forum
This service allows the users to explore the opportunities of Web 2.0 by interacting with each other via a forum (provided by VanillaForums).
For example, in this test case, by hovering over math elements, one will see a tooltip indicating whether there are forum entries regarding this document. When right clicking on a certain math fragment, one is able to fetch more data from the server about the entries (which categories, what date) and can even dynamically add a new forum entry.
LATIN
URL: LATIN Example
The LATIN project (Logic ATlas and INtegrator) deals with constructing an atlas of the available logics and integrating them. Since a static way (e.g.: book) would not fit the exploring part of such an atlas (imagine theories importing other theories), we have chosen to represent it on the web.
The provided services on this page deal with visibility (of the reconstructed types, implicit arguments, definitions), bracket elision, definition and type lookup.
Wolfram|Alpha
URL: Wolfram|Alpha interaction
This service provides interaction with the Computer Algebra Systems, in particular Wolfram|Alpha. In this testcase one can look up the information Wolfram|Alpha would provide for the symbol of Sqrt[x] (and compare the results with the ones provided by http://www.wolframalpha.com/input/?i=Sqrt[X]), by right-clicking on the square root of x symbol.
RDFa Lookup
URL: RDFa Lookup Example
This service allows the user to explore RDFa enabled documents (in this case provided by TNTBase).
For example, in this test case, one can right click on the Example tag and view the definitions above (if one follows the link, the respective part of the document will be highlighted).
