Herramientas de CAD para el desarrollo de sistemas difusos

Resumen

Xfuzzy, el entorno de desarrollo que ha constituido el objeto de esta tesis, está conformado por un conjunto de herramientas basadas en un lenguaje formal de especificación, llamado XFL (que son las siglas de Xfuzzy Language), integradas en un entorno gráfico de usuario, Además del entorno gráfico, las herramientas integradas en Xfuzzy comparten una representación común que les permite trabajar en paralelo sobre la misma especificación. XFL es un lenguaje formal específicamente orientado a la definición de sistemas difusos. Su diseño se ha realizado con el objetivo fundamental de que XFL pueda ser empleado en cualquiera de las etapas del desarrollo de un sistema difuso, desde su concepción hasta el momento de la realización final. La representación interna de una especificación XFL es única para todas las herramientas que la manipulen, de manera que todas ellas pueden integrarse en un entorno de desarrollo común. El modelo de representación que emplea Xfuzzy es un árbol de sintaxix abstracta, una construcción que permite asociar con cada uno de los elementos sintácticos del lenguaje un conjunto de atributos que caracterizan al elemento en cuestión en términos de la semántica de la especificación. De esta manera, una sola estructura almacena toda la información contenida en la especificación XFL. Una especificación XFL es indistinguible del árbol de sintaxis abstracta que la representa. Esta característica permite que cualquier herramienta basada en XFL pueda modificar como sea necesario una especificación, teniendo siempre la seguridad de que el resultado podrá ser representado en el fomento fuente original. Xfuzzy ofrece mecanismos específicos para que el usuario pueda definir y experimentar con nuevas conectivas y operaciones difusas. La definición de éstas se realiza de una manera particularizada dependiendo del destino de la implementación final, de manera que sea posible ajustar el comportamiento