module ServiceContract