5.2 Request-Line

The HTTP method of a request message is mapped to the Operation parameter, and vice-versa.

At the message originator side the HTTP Request-Target is derived from the To parameter of the request primitive, including a query string which carries other specific primitive parameters.

HTTP-Version is specified in clause 6.