Su papel principal es el de completar los diferentes artefactos de la notación UML con requerimientos formalmente expresados.