DAML-S

DL-based Types

Process Model

Inputs / Outputs

Atomic Process

Message

Operation

Binding to SOAP, HTTP, etc.

WSDL