Martin for DAML-S Coalition                                                                                                                                                     DAML PI Meeting 02/12/02                       
daml-property
daml-s-process
inputX
daml-property
outputY
Atomic
Process
WSDL
Document
<message …>
  <part …>

<message …>
  <part …>

<operation …>

<binding …>
DAML-S / WSDL Grounding (cont’d)
And the messages, in turn, refer back to DAML-S input/output properties