"... In PAGE 3: ...TML views for a given resource, i.e. a node of the graph. Table2 shows an example of such kind of view. Table 2.... In PAGE 3: ... Anonymous nodes get temporal identifiers, which are needed in order to build the graph, but they are also used in the user interface as if anonymous nodes were like other identified resources. For example, Table2 shows a reference to an anonymous resource as the value of the N property. An additional browsing step is necessary to get the triples describing the anonymous value and make it all semantically coherent, as it is shown in Table 3.... In PAGE 4: ... RDF graph and four Rhizomer fragments As in the case of the subject-centric approach, the resources appearing as the object of the terminal triples can be browsed through new navigation steps that generate new metadata fragments describing the resources asked for detail. This has been already shown in Table 3, which shows a browsing step initiated from the Table2 fragment. However, Rhizomer shows all the metadata in the same identification context together.... ..."

"... In PAGE 9: ...4 to RT UML 2.0 _________________________________________ 60 Table 33:Export of Diagram Information of elements ______________________________________ 61 Table 34: Options available from the current point ________________________________________ 64 Table 35 : Checklist of Goals and Future Work ___________________________________________ 65 Table 36: Actions required by the code generator to work with RT Library______________________ 72 Table 37: Other code generators in Market ______________________________________________ 76 Table38 : Suggestions and Requests on Rose Real Time_____________________________________ 77 Table 39 : Suggestion to an issue in Rose RT _____________________________________________ 77 LIST OF EQUATIONS Equation 1:The UML RT Formula ______________________________________________________ 4 Equation 2: Code Generation for Capsule formula__________________________________________ 5 Equation 3: XMI Formula ____________________________________________________________ 19 Equation 4: RTP UML 1.4 Formula ____________________________________________________ 33 Equation 5: RTP UML 2.... ..."

"... In PAGE 63: ... , not to be confused with the system of Section 7.1. The set of -terms is de ned as follows: S ::= M M ::= j ( :S) j (ST ) ::= 1 = S1; ; k = Sk : S stands for a -term; M; P stand for the -component stripped of the substitution; ; ; and range over a sequence of equations. The reduction rules are given in Table4 . , 2,... ..."