use of the term XCAS

[Marshall Schor]

XCAS is used as
a) the generic name for an externalized CAS
b) a specific format for the externalized CAS (not XMI).
In the documentation, should we use XCAS in the (a) sense, or substitute 
XMI-formatted-CAS (or another term?) for it?

-Marshall