RT Journal Article
T1 Compositional specification in rewriting logic
A1 Verdejo López, José Alberto
A1 Martí Oliet, Narciso
A1 Martín Sánchez, Óscar
AB Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve.Compositionality here means being able to decompose a complex system into its functional components and code each as an isolated and encapsulated system. Our goal is to help bringing compositionality to system specification in rewriting logic. The base of our proposal is the operation that we call synchronous composition. We discuss the motivations and implications of our proposal, formalize it for rewriting logic and also for transition structures, to be used as semantics, and show the power of our approach with some examples.
PB Cambridge University Press
YR 2019
FD 2019-10-09
LK https://hdl.handle.net/20.500.14352/94870
UL https://hdl.handle.net/20.500.14352/94870
LA eng
NO Ministerio de Economía (Gobierno de España)
NO Comunidad de Madrid
DS Docta Complutense
RD 5 abr 2025