Estudio y Comparación de Modelos Conceptuales Hichem Labdelaoui Resumen En los últimos años, se ha podido desarrollar un gran número de métodos para la especificación de sistemas software. Durante mucho tiempo, los métodos orientados al enfoque estructurado han sido ampliamente utilizados. La aparición de software orientado a objetos ha llevado a desarrollar nuevos métodos debido a las diferencias existentes entre los dos tipos de software. Los diversos métodos de especificación permiten la construcción de modelos conceptuales que son de gran utilidad para desarrollar software. En general, el proceso de creación de esos modelos es conocido por el nombre modelización conceptual. Esta última es una etapa muy importante en las fases del análisis y diseño del software. El presente estudio consiste en analizar un conjunto de modelos construidos con dos métodos de modelización diferentes, y realizar una comparación de los mismos. Son siete modelos que han sido propuestos por cada método y son de los siguientes tipos: § Diagrama de flujo de datos. § Diagrama de clases. § Diagrama de transición de estados. En cuanto a los métodos con los cuales se han creado los siete modelos son: el método MAON y el método convencional. Además de los modelos, se han proporcionado también los enunciados correspondientes. Para la especificación conveniente de las funciones del sistema a partir de la descripción general expresada a través del enunciado, se ha utilizado una lista de eventos o de funciones. Estos eventos provocan la ejecución de las operaciones del sistema como respuestas. Se pueden identificar por cada evento el origen de su activación así como el destino de la respuesta que desencadena. Para realizar esa identificación, es importante determinar las entidades que provocan dichos eventos y de manera general, aquellas que interactúan con el sistema. Con el fin de llevar a cabo el estudio y la comparación de los distintos modelos propuestos en el presente trabajo, es necesario definir un esquema de evaluación. No se pretende definir un método completo para la valoración y comparación de modelos sino establecer y adaptar una técnica eficaz a un conjunto limitado de modelos pero con la posibilidad de extenderla a un conjunto más amplio. 1 Para la evaluación de modelos conceptuales, se ha basado en las siguientes tres características principales: § Sintaxis § Representación en el dominio del problema § Trazabilidad. Por cada característica se han establecido un conjunto de criterios básicos que permiten valorar de forma efectiva cada modelo, también con el fin de realizar comparaciones posteriores. Las tres características permiten resumir las propiedades comunes que tienen los distintos modelos conceptuales implicados en el presente trabajo. Sin embargo, se deben tomar en cuenta varios criterios muy relevantes que se revelan esenciales a la hora de proceder a la evaluación apropiada de modelos. Con la verificación de la sintaxis se pretende comprobar la conformidad del modelo a las reglas que se imponen a la hora de crear ese tipo de modelo. Para que un modelo o diagrama sea conforme a las reglas, es importante que contenga información correcta y acertada. A la hora de modelizar un sistema, es importante reflejar en el modelo las funciones del sistema cuya identificación se puede hacer a partir de la especificación de requerimientos. Con este efecto, se pretende comprobar si el modelo es correcto así como la posible falta de algunos elementos que no han sido representados. Para que el modelo sea correcto, es fundamental que represente adecuadamente la información del sistema proporcionada a través del enunciado. La trazabilidad permite determinar el origen de cada componente en el modelo en este caso en la especificación del sistema. Por tanto, la evaluación de la trazabilidad consiste en asegurar de la posibilidad de trazar correctamente y completamente en los dos sentidos, es decir de la descripción del sistema al modelo y del modelo a la descripción del sistema. Por cada una de las características que se acaban de describir, se procede a la evaluación de los modelos según el tipo y los distintos criterios definidos específicamente para este objetivo. Para algunos modelos, no todos los criterios son aplicables. Esto quiere decir que en la evaluación de un determinado modelo no siempre se pueden tomar en cuenta todos los criterios sino que sólo se seleccionan aquellos que son más significativos y propios al modelo. 2 Los criterios definidos para la evaluación de modelos son los siguientes: § Correctibilidad § Completitud § Consistencia § Comprensibilidad La evaluación de modelos consiste en utilizar una lista de comprobación definida por cada criterio y característica en función del tipo de modelo. Palabras claves: modelización conceptual, modelos conceptuales, DFD, diagrama de clases, diagrama de transición de estados. 3