PSS — PSS: Mapping for catalogs and abstract storage homes

In section 1.4.2 of the PSS draft, catalogs and abstract storage homes
are mapped to local interfaces. However, it is not clear how the
<catalog_body> and the <abstract_storagehome_body> is converted into
the body of the local interface.

In particular, the mapping for key and factory_dcl is not
specified. Apparently, the intent is that the mapping follows the
rules presented in section "Keys" and "Factory Operations" are applied

• even though those sections talk about mapping to implementation
  languages, not to a local interface.

Also, if this mapping in these sections is applied, the resulting
operations consume and produce "ref<S>" values, which are not legal
for operations in local interfaces (according to the Core
specification of local interfaces).

No Data Available