Clarification re DAML-S

To the DAML-S team:

Shouldn't the input parameter "CreateAcctInfo" be restricted to "#AcctInfo"
in CongoProfile.daml? Thanks for clarifying.


Extract from CongoProfile.daml

<profile:input>
      <profile:ParameterDescription rdf:ID="CreateAcctInfo">
        <profile:parameterName> createAcctInfo </profile:parameterName>
        <profile:restrictedTo rdf:resource="&congoProcess;#CreateAcct"/>
        <profile:refersTo rdf:resource="&congoProcess;#createAcctInfo"/>
      </profile:ParameterDescription>
</profile:input>


Extract from CongoProcess.daml

<rdf:Property rdf:ID="createAcctInfo">
  <rdfs:subPropertyOf rdf:resource="&process;#input"/>
  <rdfs:domain rdf:resource="#CreateAcct"/>
  <rdfs:range rdf:resource="#AcctInfo"/>
</rdf:Property>


Rgds
Shalil

Received on Wednesday, 23 April 2003 12:23:28 UTC