声明以及操作的输入消息定义

• Declaration with a single operation, and its input message definition