Alternating bit protocol as an example of compositional system specification

We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components and specify interfaces. This paper must be considered...

Descripción completa

Detalles Bibliográficos
Autores: Martín, Óscar, Verdejo López, José Alberto, Martí Oliet, Narciso
Tipo de recurso: informe técnico
Fecha de publicación:2018
País:España
Institución:Universidad Complutense de Madrid (UCM)
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/17411
Acceso en línea:https://hdl.handle.net/20.500.14352/17411
Access Level:acceso abierto
Palabra clave:Rewriting logic
Maude
Compositional specification
Synchronous composition
Informática (Informática)
Programación de ordenadores (Informática)
1203.17 Informática
1203.23 Lenguajes de Programación
id ES_b73050ceca98247bd3209d0c8b93a556
oai_identifier_str oai:docta.ucm.es:20.500.14352/17411
network_acronym_str ES
network_name_str España
repository_id_str
spelling Alternating bit protocol as an example of compositional system specificationMartín, ÓscarVerdejo López, José AlbertoMartí Oliet, NarcisoRewriting logicMaudeCompositional specificationSynchronous compositionInformática (Informática)Programación de ordenadores (Informática)1203.17 Informática1203.23 Lenguajes de ProgramaciónWe show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components and specify interfaces. This paper must be considered a companion to some of our previous ones.Universidad Complutense de Madrid20182018-01-0120182018-01-01technical reporthttp://purl.org/coar/resource_type/c_18ghinfo:eu-repo/semantics/reportapplication/pdfhttps://hdl.handle.net/20.500.14352/17411reponame:Docta Complutenseinstname:Universidad Complutense de Madrid (UCM)Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/174112026-06-02T12:44:21Z
dc.title.none.fl_str_mv Alternating bit protocol as an example of compositional system specification
title Alternating bit protocol as an example of compositional system specification
spellingShingle Alternating bit protocol as an example of compositional system specification
Martín, Óscar
Rewriting logic
Maude
Compositional specification
Synchronous composition
Informática (Informática)
Programación de ordenadores (Informática)
1203.17 Informática
1203.23 Lenguajes de Programación
title_short Alternating bit protocol as an example of compositional system specification
title_full Alternating bit protocol as an example of compositional system specification
title_fullStr Alternating bit protocol as an example of compositional system specification
title_full_unstemmed Alternating bit protocol as an example of compositional system specification
title_sort Alternating bit protocol as an example of compositional system specification
dc.creator.none.fl_str_mv Martín, Óscar
Verdejo López, José Alberto
Martí Oliet, Narciso
author Martín, Óscar
author_facet Martín, Óscar
Verdejo López, José Alberto
Martí Oliet, Narciso
author_role author
author2 Verdejo López, José Alberto
Martí Oliet, Narciso
author2_role author
author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv Rewriting logic
Maude
Compositional specification
Synchronous composition
Informática (Informática)
Programación de ordenadores (Informática)
1203.17 Informática
1203.23 Lenguajes de Programación
topic Rewriting logic
Maude
Compositional specification
Synchronous composition
Informática (Informática)
Programación de ordenadores (Informática)
1203.17 Informática
1203.23 Lenguajes de Programación
description We show a complete modular specification of the alternating bit protocol. We use the syntax of Maude extended with our constructs for the synchronous composition. Also, we make intensive use of parameterized programming to encapsulate components and specify interfaces. This paper must be considered a companion to some of our previous ones.
publishDate 2018
dc.date.none.fl_str_mv 2018
2018-01-01
2018
2018-01-01
dc.type.none.fl_str_mv technical report
http://purl.org/coar/resource_type/c_18gh
dc.type.openaire.fl_str_mv info:eu-repo/semantics/report
format report
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/17411
url https://hdl.handle.net/20.500.14352/17411
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
dc.rights.openaire.fl_str_mv info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:Universidad Complutense de Madrid (UCM)
instname_str Universidad Complutense de Madrid (UCM)
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869417508227776513
score 15.812429

Similares en LA Referencia