Resumen

Proponemos un nuevo modelo formal de diagrama de casos de uso UML utilizando la notación Z para abordar algunas de sus deficiencias. Así pues, el diagrama de casos de uso UML se ha convertido en una herramienta de uso común para estructurar requisitos funcionales, y el mayor reto al que se enfrenta el desarrollador de software hoy en día es entregar un producto de alta calidad que satisfaga los requisitos de los clientes. Sin embargo, la principal desventaja de los modelos UML es su imprecisión. Además, se presentan básicamente en forma de representaciones de modelado semiformales y requisitos asociados en lenguaje natural y carecen de cualquier mecanismo para comprobar rigurosamente su coherencia, lo que hace que sus modelos estén sujetos a ambigüedad. Este artículo presenta el primer enfoque de modelado formal de diagramas de casos de uso en un contexto multivista. El enfoque se divide en dos pasos. En el primer paso, se propone un modelo formal de diagrama de casos de uso UML utilizando la notación Z. A continuación, se realiza una comprobación de consistencia multivista. A continuación, se presenta una comprobación de coherencia multivista. Este enfoque garantiza la coherencia del software, mejorando la calidad de los requisitos.

• Materias:Geomecánica Modelado de simulación Microrredes comunitarias
• Subjects:Geomechanics Simulation modeling Community microgrids
• Palabras claves:Diagrama de casos de uso UML, notación Z, primer enfoque de modelado formal, producto de alta calidad que satisface a los clientes, comprobación de coherencia multivista, requisitos de lenguaje natural, nuevo modelo formal, representaciones de modelado semiformales, diagramas de casos de uso, enfoque
• Keywords:UML use case diagram, Z notation, first formal modelling approach, high quality product meeting customers, multiview consistency checking, natural language requirements, new formal model, semiformal modelling representations, use case diagrams, approach