An Abstract Model for HTTP Resource State