RT Report
T1 Modular specification in rewriting logic (extended version)
A1 Martín Sánchez, Óscar
A1 Verdejo López, José Alberto
A1 Martí-Oliet, Narciso
AB 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.
YR 2017
FD 2017
LK https://hdl.handle.net/20.500.14352/22949
UL https://hdl.handle.net/20.500.14352/22949
LA eng
NO Ministerio de Economía y Competitividad (MINECO)
NO Comunidad de Madrid
DS Docta Complutense
RD 9 abr 2025