Un enfoque de ontología orientada a patrones y modelado de flujos de trabajo para el lenguaje de programación Sui Move
Autores: Giatzis, Antonios; Georgiadis, Christos K.
Idioma: Inglés
Editor: MDPI
Año: 2025
Acceso abierto
Artículo científico
2025
Un enfoque de ontología orientada a patrones y modelado de flujos de trabajo para el lenguaje de programación Sui Move
Categoría
Gestión y administración
Subcategoría
Gestión de la tecnología y la inovación
Palabras clave
Contratos inteligentes
Fallos en la lógica empresarial
Marco ontológico
Patrones de diseño seguros
Respuesta dinámica a condiciones centradas en objetos
Capa semántica
Licencia
CC BY-SA – Atribución – Compartir Igual
Consultas: 1
Citaciones: Sin citaciones
Los contratos inteligentes son vulnerables a fallos críticos de lógica empresarial (BLFs) a nivel de diseño que las herramientas de análisis convencionales a menudo no logran detectar. Para abordar esta brecha semántica, este estudio introduce un novedoso marco ontológico que modela formalmente el vínculo entre la intención arquitectónica de alto nivel y el código de Sui Move de bajo nivel. La metodología emplea un enfoque riguroso de Términos Abiertos Vinculados (LOT) para construir una ontología integral, integrada con una biblioteca de patrones de diseño seguros y gráficos de Respuesta Dinámica a Condiciones Centrados en Objetos (OC-DCR) conscientes del proceso. Se realizó una validación cualitativa sobre cuatro patrones de seguridad canónicos (Control de Acceso, Interruptor de Circuito, Incentivación Temporal, Escapabilidad) extraídos del marco oficial de Sui, confirmando la adecuación representacional y la consistencia lógica del marco. En última instancia, este trabajo contribuye con la primera capa semántica legible por máquina para Sui Move, desacoplando el razonamiento de la disponibilidad del código en bruto y proporcionando la base semántica esencial para el futuro desarrollo de herramientas de auditoría conscientes de patrones.
Descripción
Los contratos inteligentes son vulnerables a fallos críticos de lógica empresarial (BLFs) a nivel de diseño que las herramientas de análisis convencionales a menudo no logran detectar. Para abordar esta brecha semántica, este estudio introduce un novedoso marco ontológico que modela formalmente el vínculo entre la intención arquitectónica de alto nivel y el código de Sui Move de bajo nivel. La metodología emplea un enfoque riguroso de Términos Abiertos Vinculados (LOT) para construir una ontología integral, integrada con una biblioteca de patrones de diseño seguros y gráficos de Respuesta Dinámica a Condiciones Centrados en Objetos (OC-DCR) conscientes del proceso. Se realizó una validación cualitativa sobre cuatro patrones de seguridad canónicos (Control de Acceso, Interruptor de Circuito, Incentivación Temporal, Escapabilidad) extraídos del marco oficial de Sui, confirmando la adecuación representacional y la consistencia lógica del marco. En última instancia, este trabajo contribuye con la primera capa semántica legible por máquina para Sui Move, desacoplando el razonamiento de la disponibilidad del código en bruto y proporcionando la base semántica esencial para el futuro desarrollo de herramientas de auditoría conscientes de patrones.