Describir: Coordinación de servicios Web: de las aplicaciones a los modelos formales