ProB Web Service version 1