ERROR:SQLSTATE[HY000]: General error: 20018 Invalid column name 'CodigoInstitucion'. [20018] (severity 16) [SELECT PublicObrasAutores.NumeroEmpleado, PublicObrasAutores.ApellidoPaterno, PublicObrasAutores.ApellidoMaterno, PublicObrasAutores.Nombre, PublicObrasAutores.NombreCompleto FROM PublicObrasAutores LEFT JOIN PublicObrasAutoresFil ON PublicObrasAutores.RefPublicacion = PublicObrasAutoresFil.RefPublicacion WHERE PublicObrasAutores.RefPublicacion = '654625' AND PublicObrasAutores.NumeroEmpleado IS NULL AND PublicObrasAutoresFil.CodigoInstitucion IS NOT NULL;]
SELECT PublicObrasAutores.NumeroEmpleado, PublicObrasAutores.ApellidoPaterno, PublicObrasAutores.ApellidoMaterno, PublicObrasAutores.Nombre, PublicObrasAutores.NombreCompleto FROM PublicObrasAutores LEFT JOIN PublicObrasAutoresFil ON PublicObrasAutores.RefPublicacion = PublicObrasAutoresFil.RefPublicacion WHERE PublicObrasAutores.RefPublicacion = '654625' AND PublicObrasAutores.NumeroEmpleado IS NULL AND PublicObrasAutoresFil.CodigoInstitucion IS NOT NULL;

ERROR:SQLSTATE[HY000]: General error: 20018 Invalid column name 'CodigoInstitucion'. [20018] (severity 16) [SELECT PublicObrasAutores.NumeroEmpleado, PublicObrasAutores.ApellidoPaterno, PublicObrasAutores.ApellidoMaterno, PublicObrasAutores.Nombre, PublicObrasAutores.NombreCompleto FROM PublicObrasAutores LEFT JOIN PublicObrasAutoresFil ON PublicObrasAutores.RefPublicacion = PublicObrasAutoresFil.RefPublicacion WHERE PublicObrasAutores.RefPublicacion = '654625' AND PublicObrasAutores.NumeroEmpleado IS NULL AND PublicObrasAutoresFil.CodigoInstitucion IS NULL;]
SELECT PublicObrasAutores.NumeroEmpleado, PublicObrasAutores.ApellidoPaterno, PublicObrasAutores.ApellidoMaterno, PublicObrasAutores.Nombre, PublicObrasAutores.NombreCompleto FROM PublicObrasAutores LEFT JOIN PublicObrasAutoresFil ON PublicObrasAutores.RefPublicacion = PublicObrasAutoresFil.RefPublicacion WHERE PublicObrasAutores.RefPublicacion = '654625' AND PublicObrasAutores.NumeroEmpleado IS NULL AND PublicObrasAutoresFil.CodigoInstitucion IS NULL;

ERROR:SQLSTATE[HY000]: General error: 20018 Invalid column name 'Institucion'. [20018] (severity 16) [SELECT Institucion FROM PublicObrasAutoresFil WHERE RefPublicacion = '654625']
SELECT Institucion FROM PublicObrasAutoresFil WHERE RefPublicacion = '654625'

ERROR:SQLSTATE[HY000]: General error: 20018 Invalid column name 'Institucion'. [20018] (severity 16) [SELECT Institucion FROM PublicObrasAutoresFil WHERE RefPublicacion = 654625 AND InstitucionPropia = 'S' UNION SELECT Adscripciones.Entidad FROM PublicacionesObras JOIN PublicObrasAutores ON PublicacionesObras.Identificador = PublicObrasAutores.RefPublicacion JOIN Adscripciones ON PublicObrasAutores.NumeroEmpleado = Adscripciones.NumeroEmpleado WHERE (PublicacionesObras.FechaPublicacion BETWEEN Adscripciones.FechaDesde AND Adscripciones.FechaHasta OR (PublicacionesObras.FechaPublicacion >= Adscripciones.FechaDesde AND Adscripciones.FechaHasta IS NULL)) AND PublicacionesObras.Identificador= 654625]
SELECT Institucion FROM PublicObrasAutoresFil WHERE RefPublicacion = 654625 AND InstitucionPropia = 'S' UNION SELECT Adscripciones.Entidad FROM PublicacionesObras JOIN PublicObrasAutores ON PublicacionesObras.Identificador = PublicObrasAutores.RefPublicacion JOIN Adscripciones ON PublicObrasAutores.NumeroEmpleado = Adscripciones.NumeroEmpleado WHERE (PublicacionesObras.FechaPublicacion BETWEEN Adscripciones.FechaDesde AND Adscripciones.FechaHasta OR (PublicacionesObras.FechaPublicacion >= Adscripciones.FechaDesde AND Adscripciones.FechaHasta IS NULL)) AND PublicacionesObras.Identificador= 654625

Título del libro: Proceedings - 2023 11th International Conference In Software Engineering Research And Innovation, Conisoft 2023
Título del capítulo: On the Formal Verification of Smart Contracts

Autores UNAM:
RENE ADRIAN DAVILA PEREZ; ROCIO ALEJANDRA ALDECO PEREZ; ISMAEL EVERARDO BARCENAS PATIÃ?O;

---

Autores externos:

---

Idioma:

---

Año de publicación:
2023

---

Palabras clave:

Blockchain; Data description; Formal languages; Formal verification; 'current; Block-chain; Blockchain system; Description logic; Design defects; Property; Rapid growth; Temporal and spatial; Unified framework; Smart contract

---

Resumen:

In recent years, Blockchain-based systems have experienced rapid growth. Although these systems are in production, they are not exempt from presenting defects in the design of their elements such as Smart Contracts. Design defects in Smart Contracts lead to inconsistencies and conse-quently to incorrect operation, which generates problematic situations during and after the execution of the system. In this paper, we describe an overview of main current approaches to formally verify Smart Contracts. Moreover, it is proposed to use Descriptive Logics to verify the consistency of functionality in the designs of Smart Contracts. The balance between expressiveness and computational complexity of Descriptive Logics, allow to model in an unified framework elusive Smart Contract properties, such as temporal and spatial ones. Furthermore, it will allow reliable and efficient verification of these properties. © 2023 IEEE.

---

Entidades citadas de la UNAM:

---

Fuente:



ISBN:
9798350328837
Editorial:
Institute of Electrical and Electronics Engineers Inc.

Tipo de producto:
Conference Paper

DOI:
10.1109/CONISOFT58849.2023.00013