Modular specification in rewriting logic (extended version)

Our aim is to bring modularity to system specification in rewriting logic. Modularity here is in the sense of decomposing a system into its functional components, coding the specification for each component as a separate system, and then assembling them back. Rewriting logic is well suited for the s...

Descripción completa

Detalles Bibliográficos
Autores: Martín Sánchez, Óscar, Verdejo López, José Alberto, Martí Oliet, Narciso
Tipo de recurso: informe técnico
Fecha de publicación:2017
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/22949
Acceso en línea:https://hdl.handle.net/20.500.14352/22949
Access Level:acceso abierto
Palabra clave:Modularity
Rewriting logic
Concurrent Systems
Non-Deterministic System
Synchronous composition
Transition structures
Semantics
Cached computer architecture
Informática (Informática)
1203.17 Informática
id ES_a860b44fc590106e3b7a42c4ee90c385
oai_identifier_str oai:docta.ucm.es:20.500.14352/22949
network_acronym_str ES
network_name_str España
repository_id_str
spelling Modular specification in rewriting logic (extended version)Martín Sánchez, ÓscarVerdejo López, José AlbertoMartí Oliet, NarcisoModularityRewriting logicConcurrent SystemsNon-Deterministic SystemSynchronous compositionTransition structuresSemanticsCached computer architectureInformática (Informática)1203.17 InformáticaOur aim is to bring modularity to system specification in rewriting logic. Modularity here is in the sense of decomposing a system into its functional components, coding the specification for each component as a separate system, and then assembling them back. Rewriting logic is well suited for the specification of concurrent and non-deterministic systems but, up to now, modularity could hardly be addressed within it. The base of our proposal is the operation that we call synchronous composition. We discuss the reasons and implications of our proposal, and formalize it for rewriting logic and also for transition structures, to be used as semantics. To show the power of our approach, we include a few small but realistic examples and a larger example on cached computer architecture.Universidad Complutense de Madrid20172017-01-0120172017-01-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/20.500.14352/22949reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2Atribución-NoComercial 3.0 Españahttps://creativecommons.org/licenses/by-nc/3.0/es/info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/229492026-06-02T12:44:21Z
dc.title.none.fl_str_mv Modular specification in rewriting logic (extended version)
title Modular specification in rewriting logic (extended version)
spellingShingle Modular specification in rewriting logic (extended version)
Martín Sánchez, Óscar
Modularity
Rewriting logic
Concurrent Systems
Non-Deterministic System
Synchronous composition
Transition structures
Semantics
Cached computer architecture
Informática (Informática)
1203.17 Informática
title_short Modular specification in rewriting logic (extended version)
title_full Modular specification in rewriting logic (extended version)
title_fullStr Modular specification in rewriting logic (extended version)
title_full_unstemmed Modular specification in rewriting logic (extended version)
title_sort Modular specification in rewriting logic (extended version)
dc.creator.none.fl_str_mv Martín Sánchez, Óscar
Verdejo López, José Alberto
Martí Oliet, Narciso
author Martín Sánchez, Óscar
author_facet Martín Sánchez, Óscar
Verdejo López, José Alberto
Martí Oliet, Narciso
author_role author
author2 Verdejo López, José Alberto
Martí Oliet, Narciso
author2_role author
author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Modularity
Rewriting logic
Concurrent Systems
Non-Deterministic System
Synchronous composition
Transition structures
Semantics
Cached computer architecture
Informática (Informática)
1203.17 Informática
topic Modularity
Rewriting logic
Concurrent Systems
Non-Deterministic System
Synchronous composition
Transition structures
Semantics
Cached computer architecture
Informática (Informática)
1203.17 Informática
description Our aim is to bring modularity to system specification in rewriting logic. Modularity here is in the sense of decomposing a system into its functional components, coding the specification for each component as a separate system, and then assembling them back. Rewriting logic is well suited for the specification of concurrent and non-deterministic systems but, up to now, modularity could hardly be addressed within it. The base of our proposal is the operation that we call synchronous composition. We discuss the reasons and implications of our proposal, and formalize it for rewriting logic and also for transition structures, to be used as semantics. To show the power of our approach, we include a few small but realistic examples and a larger example on cached computer architecture.
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01
2017
2017-01-01
dc.type.none.fl_str_mv technical report
http://purl.org/coar/resource_type/c_18gh
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/22949
url https://hdl.handle.net/20.500.14352/22949
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
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
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
Atribución-NoComercial 3.0 España
https://creativecommons.org/licenses/by-nc/3.0/es/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
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_ 1869415874138472448
score 15.198674

Similares en LA Referencia