Mejora del framework Takuan

Takuan es un framework, diseñado por el grupo SPI&FM de la Universidad de Cádiz, para generar invariantes de procesos diseñados en WS-BPEL, un lenguaje de programación basado en XML para servicios web.