Validación del modelo de Reglas

La validación de los modelos que representan al UofD debe ser realizada con tres objetivos [Kotonya’98]: validar que cada modelo es internamente consistente; validar que los diferentes modelos deben ser consistentes entre ellos y finalmente, la tarea más difícil validar que los modelos reflejen las necesidades de los stakeholders. Siguiendo esta propuesta, debemos validar el modelo de reglas desde estos tres aspectos. La Requirements Baseline modela aspectos del comportamiento del Macrosistema (modelo de escenarios), su vocabulario (modelo de LEL) y las reglas que los gobiernan a ambos (modelo de reglas). La validación permite descubrir si estos tres aspectos son consistentes entre sí. Asimismo, se valida si el modelo de Reglas no presenta inconsistencias o conflicto internos a él. Finalmente se valida el modelo de reglas con las stakeholders. 3.3.4.1 Validación del modelo de Reglas con los modelos de LEL y escenarios

Las reglas están inmersas en la organización, por lo que deben validarse contra los modelos que describen el comportamiento y estructura de la misma. En [Rosca’97] se presenta un modelo de reglas que se sitúa entre un modelo de la empresa y un modelo operacional del sistema. De esta forma se valida las reglas por un lado, contra los objetivos de la empresa, y por el otro contra las actividades, personas y recursos modelados en el sistema operacional. En [Herbst’96] existe una estrategia similar que valida las reglas con las componentes que modelan a los Procesos y al lenguaje de la organización. En esta propuesta se valida el modelo de reglas con los modelos de la Requirements Baseline que reflejan las actividades, entidades y recursos de la organización. Se realiza un análisis informal a través de una serie de preguntas que involucran los tres modelos, los cuales están naturalmente relacionados por los términos del LEL:

Para cada regla del modelo: ¿ Cuales son las entidades de la organización involucradas en esa regla?

Se identifican todos los símbolos de LEL involucrados en las Reglas. Debe analizarse que la regla no contradiga ningún concepto mencionado en las nociones o los impactos. Si este es el caso se analiza con los stakeholders para decidir si es un error de construcción que se debe modificar o si es un problema de consistencia a nivel de la organización que debe ser resuelto a través de la negociación. Los resultados deben ser identificados y recordados según se propone en la Vista de Configuración presentada en el Capítulo 2. Se identifican los escenarios que involucran a los términos del LEL que contiene la regla. Una vez identificados podemos contestar a las siguientes preguntas:

¿ Cuál es el contexto de la organización en el cual esa regla es aplicada? ¿ Con qué comportamiento está asociada?

¿ Cuales son las consecuencias que produce la aplicación de esa regla?

Se analiza el objetivo y el contexto del escenario para responder a la primer pregunta mientras que se analizarán los episodios para responder a la segunda y tercera. Estos no deben contradecir la regla, en cuyo caso debe analizarse con los stakeholders, como se mencionó anteriormente

Debido a problemas de omisión puede ocurrir que haya algún escenario o elemento del LEL que no haya sido referenciado por ninguna regla, escapando del análisis anterior por lo que el mismo se completa desde el punto de vista de estos modelos, para asegurarse que no quedan elementos pertenecientes al LEL y a los escenarios que no hayan sido analizados:

Dado un símbolo LEL ¿Existe alguna política que gobierna el comportamiento o manipulación de esa entidad? ¿Cómo se comporta o es utilizada en la organización la entidad representada por el símbolo del LEL? Debe analizarse con los stakeholder para identificar si se trató de omisión o no existen reglas para esa entidad más allá del comportamiento y restricciones propias del Macrosistema. En este análisis se utilizan los escenarios en donde aparece el término del LEL para determinar como se comportan o son manipulados los términos del LEL.

Dado un determinado escenario ¿ Existen políticas que pueden hacer variar el comportamiento de los episodios? Debe analizarse con los stakeholder para identificar que no se hayan omitidos reglas o que no existan reglas asociadas a él. Puede ocurrir que haya reglas de negocio funcionales o no funcionales del Macrosistema que hayan sido omitidas de los escenarios. Debe completarse los mismos para que los reflejen, ya sea agregando o modificando restricciones o episodios. En cuanto a las reglas de calidad, algunas pueden ser volcadas a los escenarios mientras que otros abarcan a todo el UofD por lo que no se reflejan en un determinado escenario.

El siguiente es un ejemplo del análisis del caso de estudio del Capítulo 8, cuyo modelo de LEL y escenarios están detallados en el Anexo:

Dada la siguiente Regla:

Regla 12: El adherente puede elegir entre una lista de Bancos para pagar la cuota.

Se buscan los términos del LEL involucrados: adherente, Banco, cuota

Adherente Nociones:

• Solicitante aceptado por la administradora.

• Integrante de un grupo. Impacto:

• Pagar cuota mensual. • Transferir plan. • Licitar.

• Rechazar bien tipo.

• Renunciar al plan de ahorro.

• Pagar Adjudicación

Cuota mensual | cuota Nociones:

• Monto mensual que debe pagar el adherente y adjudicatario.

• Se calcula sumando la cuota comercial al seguro de vida

Impacto:

• Pagar cuota por el adherente ó adjudicatario.

• La Administradora calcula la cuota.

Banco Nociones:

• Entidad encargada de cobrar las cuotas en caso de no estar vencidas. Impacto:

• Cobrar las cuotas mensuales. • Enviar cupones de pago a la Administradora

En el caso del adherente si bien no existen contradicciones, falta un impacto para que el adherente pueda elegir banco. Las otras dos entidades no entran en conflicto con la regla por lo que no es necesario modificarlas.

A partir de la regla 12 se buscan los escenarios que contengan a los tres términos, en este caso es el escenario “Pagar Cuota”

Pagar cuota

Objetivo: El adherente cumple con la obligación contraída al ingresar a un plan de ahorro. Contexto: Ocurre en el banco. Restricción: La cuota no debe estar vencida.

Actores: Adherente, banco, administradora. Recursos: Cupón de pago

Episodios:

1. El adherente entrega el empleado del banco el cupón de pago con el importe correspondiente.