UML es un lenguaje de modelado visual que se usa para especificar, visualizar, construir y documentar sistemas de software. El modelo 4+1 vistas divide los artefactos de un sistema según su propósito y público objetivo, como escenarios, lógica, desarrollo, física y procesos. Los diagramas de casos de uso describen "qué" hace el sistema a través de la interacción de actores externos, usando elementos como casos de uso, actores y relaciones como asociación, dependencia e inclusión/extensión.