Text this: A Formal Model of Services.