Descomposición de árboles de metas a partir de modelos de procesos.