Specifying and verifying communities of Web services using argumentative agents