Composition in Rewriting Logic

In 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...

Descripción completa

Detalles Bibliográficos
Autor: Martín Sánchez, Óscar
Tipo de recurso: tesis doctoral
Fecha de publicación:2021
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/5712
Acceso en línea:https://hdl.handle.net/20.500.14352/5712
Access Level:acceso abierto
Palabra clave:519.768(043)
004.438Maude(043)
rewriting logic
composition
modularity
Maude
transition structure
specification
verification
lógica de reescritura
composición
modularidad
estructura de transiciones
especificación
verificación
Lenguajes de programación
Cibernética matemática
1203.23 Lenguajes de Programación
1207.03 Cibernética
id ES_96dd56dfa5a9e16c818e416bc06aca47
oai_identifier_str oai:docta.ucm.es:20.500.14352/5712
network_acronym_str ES
network_name_str España
repository_id_str
spelling Composition in Rewriting LogicComposición en lógica de reescrituraMartín Sánchez, Óscar519.768(043)004.438Maude(043)rewriting logiccompositionmodularityMaudetransition structurespecificationverificationlógica de reescrituracomposiciónmodularidadestructura de transicionesespecificaciónverificaciónLenguajes de programaciónCibernética matemática1203.23 Lenguajes de Programación1207.03 CibernéticaIn 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...Universidad Complutense de MadridVerdejo López, José AlbertoMartí Oliet, NarcisoUniversidad Complutense de Madrid20212021-11-2420212021-11-24doctoral thesishttp://purl.org/coar/resource_type/c_db06info:eu-repo/semantics/doctoralThesisapplication/pdfhttps://hdl.handle.net/20.500.14352/5712reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/57122026-06-02T12:44:21Z
dc.title.none.fl_str_mv Composition in Rewriting Logic
Composición en lógica de reescritura
title Composition in Rewriting Logic
spellingShingle Composition in Rewriting Logic
Martín Sánchez, Óscar
519.768(043)
004.438Maude(043)
rewriting logic
composition
modularity
Maude
transition structure
specification
verification
lógica de reescritura
composición
modularidad
estructura de transiciones
especificación
verificación
Lenguajes de programación
Cibernética matemática
1203.23 Lenguajes de Programación
1207.03 Cibernética
title_short Composition in Rewriting Logic
title_full Composition in Rewriting Logic
title_fullStr Composition in Rewriting Logic
title_full_unstemmed Composition in Rewriting Logic
title_sort Composition in Rewriting Logic
dc.creator.none.fl_str_mv Martín Sánchez, Óscar
author Martín Sánchez, Óscar
author_facet Martín Sánchez, Óscar
author_role author
dc.contributor.none.fl_str_mv Verdejo López, José Alberto
Martí Oliet, Narciso
Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 519.768(043)
004.438Maude(043)
rewriting logic
composition
modularity
Maude
transition structure
specification
verification
lógica de reescritura
composición
modularidad
estructura de transiciones
especificación
verificación
Lenguajes de programación
Cibernética matemática
1203.23 Lenguajes de Programación
1207.03 Cibernética
topic 519.768(043)
004.438Maude(043)
rewriting logic
composition
modularity
Maude
transition structure
specification
verification
lógica de reescritura
composición
modularidad
estructura de transiciones
especificación
verificación
Lenguajes de programación
Cibernética matemática
1203.23 Lenguajes de Programación
1207.03 Cibernética
description In 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...
publishDate 2021
dc.date.none.fl_str_mv 2021
2021-11-24
2021
2021-11-24
dc.type.none.fl_str_mv doctoral thesis
http://purl.org/coar/resource_type/c_db06
dc.type.openaire.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/5712
url https://hdl.handle.net/20.500.14352/5712
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Universidad Complutense de Madrid
publisher.none.fl_str_mv Universidad Complutense de Madrid
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869414001230741504
score 15,300719

Similares en LA Referencia