The DTD for the notation we use derives from the ZIF Interchange Format, but, through the use of additional XSL stylesheets, any other syntax can be used. An additional layer of XSL stylesheet will then transform them into Paragraph and Word objects as needed. A very simple notation for finite state machines has been implemented. Each state has a position and a label, while the arcs have a label but start from and arrive to the center of the state box. Each state has an Id which is used by the arcs to identify their origin and destination.
States can be initial or final.
The position of the states must be specified by the author, while labels are automatically drawn in the correct position. Statemate schemas are our first example of active elements, since states and arcs are active. Thus it is possible to simulate by hand the working of the finite state machine. TBJava A prototype that allows XMLC to execute Toolbook books within an Internet browser has been implemented. TBJava translates Toolbook books in XML documents, and displays and activates them in an XMLC applet within a browser.