A message scheme m(x1, ..., xn)where are formal parameters of a message name massociated with an interface is specified in the following steps :
