Element Usage Table

abort element seen in:
   !ELEMENT hyperedge
access-mode element seen in:
   !ELEMENT data-store-directory
agent-annotations element seen in:
   !ELEMENT ucm-design
boolean-variable element seen in:
   !ELEMENT path-variable-list
component element seen in:
   !ELEMENT component-specification
component-ref element seen in:
   !ELEMENT structure-spec
component-specification element seen in:
   !ELEMENT ucm-design
condition element seen in:
   !ELEMENT postcondition-list
   !ELEMENT precondition-list
connect element seen in:
   !ELEMENT hyperedge
data-store element seen in:
   !ELEMENT data-store-directory
data-store-access element seen in:
   !ELEMENT data-store-spec
data-store-directory element seen in:
   !ELEMENT ucm-design
data-store-spec element seen in:
   !ELEMENT responsibility
device element seen in:
   !ELEMENT device-directory
device-directory element seen in:
   !ELEMENT ucm-design
dynamic-resp element seen in:
   !ELEMENT responsibility
empty-segment element seen in:
   !ELEMENT hyperedge
end-point element seen in:
   !ELEMENT hyperedge
enforce-bindings element seen in:
   !ELEMENT hypergraph
event element seen in:
   !ELEMENT resulting-event-list
   !ELEMENT triggering-event-list
fork element seen in:
   !ELEMENT hyperedge
formal-to-value element seen in:
   !ELEMENT instance-values
goal element seen in:
   !ELEMENT goal-list
goal-list element seen in:
   !ELEMENT agent-annotations
goal-tag element seen in:
   !ELEMENT hyperedge
handle element seen in:
   !ELEMENT responsibility
hyperedge element seen in:
   !ELEMENT hypergraph
hyperedge-connection element seen in:
   !ELEMENT hypergraph
hyperedge-ref element seen in:
   !ELEMENT hyperedge-connection
   !ELEMENT other-hyperedge-list
   !ELEMENT responsibility-list
hypergraph element seen in:
   !ELEMENT path-spec
in-connection element seen in:
   !ELEMENT in-connection-list
in-connection-list element seen in:
   !ELEMENT plugin-binding
instance-values element seen in:
   !ELEMENT plugin-binding
join element seen in:
   !ELEMENT hyperedge
loop element seen in:
   !ELEMENT hyperedge
model element seen in:
   !ELEMENT plugin-maps
   !ELEMENT root-maps
other-hyperedge-list element seen in:
   !ELEMENT component-ref
out-connection element seen in:
   !ELEMENT out-connection-list
out-connection-list element seen in:
   !ELEMENT plugin-binding
path-binding element seen in:
   !ELEMENT enforce-bindings
path-branching-characteristic element seen in:
   !ELEMENT path-branching-spec
path-branching-spec element seen in:
   !ELEMENT hypergraph
path-label element seen in:
   !ELEMENT path-label-list
path-label-list element seen in:
   !ELEMENT path-spec
path-spec element seen in:
   !ELEMENT model
path-variable-list element seen in:
   !ELEMENT ucm-design
plugin-binding element seen in:
   !ELEMENT plugin-bindings
plugin-bindings element seen in:
   !ELEMENT ucm-design
plugin-maps element seen in:
   !ELEMENT ucm-design
plugin-pool element seen in:
   !ELEMENT plugin-bindings
pool element seen in:
   !ELEMENT component
postcondition element seen in:
   !ELEMENT scenario-definition
postcondition-list element seen in:
   !ELEMENT empty-segment
   !ELEMENT end-point
   !ELEMENT goal
   !ELEMENT responsibility
   !ELEMENT stub
precondition-list element seen in:
   !ELEMENT empty-segment
   !ELEMENT goal
   !ELEMENT responsibility
   !ELEMENT start
   !ELEMENT stub
   !ELEMENT waiting-place
raise element seen in:
   !ELEMENT responsibility
regular element seen in:
   !ELEMENT component
response-time-req element seen in:
   !ELEMENT response-time-requirements
response-time-requirements element seen in:
   !ELEMENT ucm-design
responsibility element seen in:
   !ELEMENT responsibility-specification
responsibility-list element seen in:
   !ELEMENT component-ref
responsibility-ref element seen in:
   !ELEMENT hyperedge
responsibility-specification element seen in:
   !ELEMENT ucm-design
resulting-event-list element seen in:
   !ELEMENT end-point
root-maps element seen in:
   !ELEMENT ucm-design
scenario-definition element seen in:
   !ELEMENT scenario-group
scenario-group element seen in:
   !ELEMENT scenario-list
scenario-list element seen in:
   !ELEMENT ucm-design
scenario-start element seen in:
   !ELEMENT scenario-definition
service-request element seen in:
   !ELEMENT service-request-spec
service-request-spec element seen in:
   !ELEMENT responsibility
   !ELEMENT stub
start element seen in:
   !ELEMENT hyperedge
structure-spec element seen in:
   !ELEMENT model
stub element seen in:
   !ELEMENT hyperedge
stub-entry element seen in:
   !ELEMENT stub-entry-list
stub-entry-list element seen in:
   !ELEMENT stub
stub-exit element seen in:
   !ELEMENT stub-exit-list
stub-exit-list element seen in:
   !ELEMENT stub
synchronization element seen in:
   !ELEMENT hyperedge
timestamp-point element seen in:
   !ELEMENT hyperedge
triggering-event-list element seen in:
   !ELEMENT start
   !ELEMENT waiting-place
ucm-design element seen in:


ucm-set element seen in:
   !ELEMENT ucm-sets



ucm-set-elem element seen in:
   !ELEMENT ucm-set



ucm-sets element seen in:
   !ELEMENT ucm-design



variable-init element seen in:
   !ELEMENT scenario-definition



variable-operation element seen in:
   !ELEMENT variable-operation-list



variable-operation-list element seen in:
   !ELEMENT responsibility



waiting-place element seen in:
   !ELEMENT hyperedge