Estudio comparado de lenguajes gráficos de especificación de sistemas

Abstract

El objetivo de esta tesis es estudiar, analizar, comparar y vincular distintos formalismos o herramientas de modelado utilizados tanto en la industria como en el ámbito científico para expresar requerimientos y/o propiedades de los modelos de sistemas informáticos. De esta comparación surgen las fortalezas y las debilidades de cada uno de ellos. En los casos que sean factibles se define la traducción total o parcial de un formalismo a otro. Esto posibilitará la concepción de traductores automáticos sacando ventaja del uso generalizado de los lenguajes empleados por la industria con la posibilidad que cuentan los lenguajes formales de validar las propiedades automáticamente