Resumen: Los casos de aseguramiento (AC) son un artefacto común para construir y mantener la confianza en las propiedades del sistema, como la seguridad o la robustez. La construcción de un AC puede ser un desafío, aunque las herramientas existentes brindan soporte en aplicaciones y métodos estáticos centrados en documentos para contextos dinámicos (por ejemplo, conducción autónoma) están surgiendo. Desafortunadamente, la gestión de ACS sigue siendo un desafío, ya que mantener el conocimiento integrado ante los cambios requiere un esfuerzo sustancial, en el proceso que disuade a los desarrolladores, o peor, produciendo casos mal administrados que inculcan falsas confianza. Para abordar esto, presentamos ONTOGSN: una ontología y un middleware de apoyo para administrar ACS en el estándar de notación de estructuración de objetivos (GSN). ONTOGSN ofrece una representación de conocimiento y un gráfico de consultas que se puede poblar, evaluar y actualizar automáticamente. Nuestras contribuciones incluyen: una formalización 1: 1 del estándar de la comunidad GSN V3 en una ontología de búho con reglas SWRL; una ontología auxiliar y un analizador para la integración con una herramienta de CA ampliamente utilizada; un repositorio y documentación de las decisiones de diseño para el mantenimiento de OntoGSN; una biblioteca de consultas SPARQL con patrones de automatización; y una interfaz prototípica. La ontología se adhiere estrictamente al texto del estándar y ha sido evaluada de acuerdo con los principios justos, el marco de la OOPS, las preguntas de competencia y los comentarios de la comunidad. El desarrollo de otros elementos de middleware está guiado por las necesidades de la comunidad y está sujeto a evaluaciones en curso. Para demostrar la utilidad de nuestras contribuciones, ilustramos la gestión dinámica de CA en un ejemplo que implica la garantía de robustez adversa en modelos de idiomas grandes.
Publicado Originalme en rss.arxiv.org El 15 de junio de 2025.
Ver Fuente Original
