Modeling State in WSDL