Text this: Modelamiento dinámico y estático del proceso de coreografía de servicios web