Relaciones entre Casos de Uso en el Unified Modeling Language

El Unified Modeling Language (UML) es un lenguaje grafico, semiformal, que ha sido aceptado como estandar para describir sistemas de software orientados a objetos. UML define varios tipos de diagramas que se utilizan para describir diferentes aspectos o vistas de un sistema. En particular, los diagramas de Casos de Uso se utilizan para capturar los requerimientos de los sistemas y guiar su proceso de desarrollo. Los distintos Casos de Uso que se definen a lo largo de un proceso de desarrollo no son independientes sino que es posible establecer relaciones entre ellos. Las principales relaciones consideradas por UML son: Generalizacion ( Generalization ), Inclusion ( Include ) y Extension ( Extend ). Estas relaciones, tanto como el resto de las construcciones de UML, estan definidas semiformalmente, dando lugar a interpretaciones ambiguas e inconsistencias. Palabras Claves: Ingenieria de Software, Analisis y Diseno Orientado a Objetos, Lenguajes graficos de modelado, Casos de Uso, Semantica formal.