Universidad Complutense de Madrid
E-Prints Complutense

Modular specification in rewriting logic (extended version)

Impacto

Downloads

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)

[img]
Preview
PDF
943kB


Abstract

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:
Volume:
Number:
ID Code:48451
Deposited On:03 Jul 2018 11:25
Last Modified:04 Jul 2018 10:58

Origin of downloads

Repository Staff Only: item control page