| DAML-S /
WSDL Grounding (cont’d) |
|
|
|
| WSDL |
||
| Document |
||
|
|
|
|
| <message …> |
|||
| <part …> |
|||
| <message …> |
|||
| <part …> |
|||
| <operation …> |
|||
| <binding …> |
|||
| daml-property |
| inputX |
| daml-property |
| outputY |
| daml-s-process |
|
|
|
| Atomic |
||
| Process |
||
