Capturing Social Requirements for Human Interactions with Service Protocols