Sketching web services backends with SERPE