2026-06-27T10:18:51Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/229492025-07-04T00:15:08Zcom_20.500.14352_14col_20.500.14352_17

Martín Sánchez, Óscar Verdejo López, José Alberto Martí Oliet, Narciso 2023-06-18T05:39:15Z 2023-06-18T05:39:15Z 2017 https://hdl.handle.net/20.500.14352/22949 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. eng https://creativecommons.org/licenses/by-nc/3.0/es/ open access Atribución-NoComercial 3.0 España Modular specification in rewriting logic (extended version) technical report