Riesco Rodríguez, AdriánAlcaide García, Beatriz2025-09-112025-09-112025https://hdl.handle.net/20.500.14352/123866Trabajo de Fin de Grado en Ingeniería del Software, Facultad de Informática UCM, Departamento de Sistemas Informáticos y Computación, Curso 2024/2025.MongoDB is a distributed NoSQL database management system that employs a document-oriented data model, enabling the storage of semi-structured data in a flexible format. Maude is a high-performance declarative language based on rewrit ing logic, designed for specifying and verifying complex systems. This thesis presents a formal specification of MongoDB as a distributed database system using the Maude language. The specification supports creating databases, creating unsharded collec tions, creating sharded collections, document insertion, and document querying. It also supports range queries through different operators.MongoDB es un sistema distribuido de administración de bases de datos NoSQL que utiliza un modelo de datos orientado a documentos, permitiendo el almacenamiento de datos en un formato flexible semi-estructurado. Maude es un lenguaje declarativo de alto rendimiento basado en lógica de reescritura, diseñado para la especificación y verificación de sistemas complejos. Este trabajo de fin de grado presenta una especificación de MongoDB como un sistema distribuido usando el lenguaje Maude. La especificación permite la creación de bases de datos, de colecciones unsharded, de colecciones sharded y la inserción y búsqueda de documentos. La especificación también permite la búsqueda de documentos basada en rangos mediante el uso de diversos operadores.engAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/bachelor thesisopen access004(043.3)MongoDBNoSQLSpecificationMaudeDistributed SystemsFormal MethodsRewriting LogicEspecificaciónSistemas distribuidosMétodos formalesLógica de ReescrituraInformática (Informática)33 Ciencias Tecnológicas