Integración de técnicas de análisis de dominio con especificaciones RSL

Los metodos formales han alcanzado un uso mas masivo en la construccion de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo de vida del desarrollo de software y tambien este desarrollo puede ser automatizado por medio de herramientas de amplia variedad y proposito como model checking, verificacion, animacion, generacion de datos para testing, como tambien refinamiento de especificaciones a implementaciones. Cuando las especificaciones se usan en etapas iniciales del proceso, se ayuda a revelar ambiguedades, omisiones, inconsistencias, errores o interpretaciones erroneas que podrian ser detectados durante pruebas costosas y en las fases de depuracion. Sin embargo, las especificaciones formales no son muy familiares para los stakeholders, cuya participacion activa es crucial en los primeros estados del proceso de desarrollo de software para entender y comunicar un problema. Estas actividades son especialmente utiles en el analisis de dominio, pues su primera etapa consiste en capturar el conocimiento de un dominio en particular, lo que hace necesario disponer de un modelo que sea comprensible por los ingenieros de software y expertos del dominio. Para contribuir a reducir esta brecha, se trabaja en la integracion de una fase de analisis de dominio con el metodo formal de desarrollo de software RAISE, a fin de especificar una familia de sistemas para producir aplicaciones cualitativas y fiables en un dominio, promover la reutilizacion temprana y reduccion de los costos de desarrollo.