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...
| Autor: | |
|---|---|
| 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 |
| Sumario: | 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... |
|---|