Publication:
Composition in Rewriting Logic

Simple item page
dc.contributor.advisorVerdejo López, José Alberto
dc.contributor.advisorMartí Oliet, Narciso
dc.contributor.authorMartín Sánchez, Óscar
dc.date.accessioned2023-06-16T15:04:20Z
dc.date.available2023-06-16T15:04:20Z
dc.date.defense2021-04-15
dc.date.issued2021-11-24
dc.descriptionTesis inédita de la Universidad Complutense de Madrid, Facultad de Informática, Departamento de Sistemas Informáticos y Computación, leída el 15/04/2021.
dc.description.abstractIn short, this thesis shows that compositional specification and verification are doable in rewriting logic and in Maude if they are enriched with appropriate extensions. Modularity and compositionality are key features in computer science and engineering. Rewriting logic has proven to be a valuable tool for system modeling (or specification, as it is usually called in this context) but, up to make compositional specification and verification possible in rewriting logic, and to incorporate the resulting ideas into Maude (a language and system based on rewriting logic) so as to make them usable in practice...
dc.description.abstractEn pocas palabras, este tesis muestra que la especificación y la verificación composicionales son posibles en lógica de reescritura y en Maude, si se las enriquece con extensiones apropiadas. la modularidad y la composicionalidad son aspectos clave de la informática práctica y teórica. La lógica de reescritura ha demostrado ser una herramienta valiosa para el modelado de sistemas (más bien llamado especificación en este contexto) pero, hasta ahora, no permitía una verdadera modularidad. Nuestro objetivo, por tanto, es hacer que la especificación y la verificación por componentes sean posibles en lógica de reescritura e incorporar las ideas resultantes en Maude (un lenguaje y un sistema basado en lógica de reescritura) para hacerlas útiles en la práctica...
dc.description.facultyFac. de Informática
dc.description.refereedTRUE
dc.description.statusunpub
dc.eprint.idhttps://eprints.ucm.es/id/eprint/68887
dc.identifier.urihttps://hdl.handle.net/20.500.14352/5712
dc.language.isoeng
dc.page.total199
dc.publication.placeMadrid
dc.publisherUniversidad Complutense de Madrid
dc.rights.accessRightsopen access
dc.subject.cdu519.768(043)
dc.subject.cdu004.438Maude(043)
dc.subject.keywordrewriting logic
dc.subject.keywordcomposition
dc.subject.keywordmodularity
dc.subject.keywordMaude
dc.subject.keywordtransition structure
dc.subject.keywordspecification
dc.subject.keywordverification
dc.subject.keywordlógica de reescritura
dc.subject.keywordcomposición
dc.subject.keywordmodularidad
dc.subject.keywordestructura de transiciones
dc.subject.keywordespecificación
dc.subject.keywordverificación
dc.subject.ucmLenguajes de programación
dc.subject.ucmCibernética matemática
dc.subject.unesco1203.23 Lenguajes de Programación
dc.subject.unesco1207.03 Cibernética
dc.titleComposition in Rewriting Logic
dc.title.alternativeComposición en lógica de reescritura
dc.typedoctoral thesis
dspace.entity.typePublication
relation.isAdvisorOfPublicationfdcba7f2-108a-46f4-bf49-c292a5b81953
relation.isAdvisorOfPublicatione8d4e85a-2a43-444c-84e7-1fa5f392c50d
relation.isAdvisorOfPublication.latestForDiscoveryfdcba7f2-108a-46f4-bf49-c292a5b81953
relation.isAuthorOfPublication556924eb-b77d-4d64-aed9-5a9e0eb0adb7
relation.isAuthorOfPublication.latestForDiscovery556924eb-b77d-4d64-aed9-5a9e0eb0adb7
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
T42905.pdf
Size:
2.81 MB
Format:
Adobe Portable Document Format
Download
Collections
Tesis Doctorales