Modular specification in rewriting logic (extended version)



Downloads per month over past year

Martín Sánchez, Óscar and Verdejo López, José Alberto and Martí-Oliet, Narciso (2017) Modular specification in rewriting logic (extended version). [ ] (Unpublished)

[thumbnail of MartinVM2017ModSpecExt.pdf] PDF
Creative Commons Attribution Non-commercial.



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.

Item Type:Working Paper or Technical Report
Uncontrolled Keywords:Modularity, Rewriting logic, Concurrent Systems, Non-Deterministic System, Synchronous composition, Transition structures, Semantics, Cached computer architecture
Subjects:Sciences > Computer science
Series Name:
ID Code:48451
Deposited On:03 Jul 2018 11:25
Last Modified:10 Mar 2021 20:54

Origin of downloads

Repository Staff Only: item control page