logo móvil
Contáctanos

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

Descargar PDF

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


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.

Otros recursos que podrían interesarte

Temas Virtualpro