Formalized service specification and analysis model - Woo, Mun Sum (1999)