Text this: Formalized service specification and analysis model /