Resumen

La verificación de modelos ha sido ampliamente utilizada para verificar diversos sistemas. Sin embargo, esto usualmente ha sido realizado por expertos que tienen un buen entendimiento de la verificación de modelos y que están familiarizados con la sintaxis tanto de los lenguajes de modelado como de especificación de propiedades. Desafortunadamente, esto no es una tarea fácil para que los no expertos aprendan los lenguajes de descripción para el modelado y las lógicas/lenguajes formales para la especificación de propiedades. En particular, la especificación de propiedades es muy desafiante y propensa a errores para los no expertos. En este artículo, presentamos una metodología para facilitar la verificación de modelos probabilística para no expertos. La metodología ayuda a los usuarios no expertos a modelar sus sistemas y expresar sus requerimientos sin necesidad de tener conocimiento de los lenguajes de modelado y especificación de propiedades.

• Materias:Modelos matemáticos Conjuntos difusos Ecuaciones integrales Fusión de características Algoritmo de optimización
• Subjects:Mathematical models Fuzzy sets Integral equations Feature fusion Optimization algorithm
• Palabras claves:Verificación de modelos; Sistemas; Expertos; No expertos; Metodología; Probabilístico
• Keywords:Model checking; Systems; Experts; Nonexperts; Methodology; Probabilistic