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...
| Autores: | , , |
|---|---|
| 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 |
| Sumario: | 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. |
|---|