Alternating bit protocol as an example of compositional system specification
| dc.contributor.author | Martín, Óscar | |
| dc.contributor.author | Verdejo López, José Alberto | |
| dc.contributor.author | Martí Oliet, Narciso | |
| dc.date.accessioned | 2023-06-17T17:53:25Z | |
| dc.date.available | 2023-06-17T17:53:25Z | |
| dc.date.issued | 2018 | |
| dc.description.abstract | 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. | |
| dc.description.department | Depto. de Sistemas Informáticos y Computación | |
| dc.description.faculty | Fac. de Informática | |
| dc.description.refereed | FALSE | |
| dc.description.sponsorship | Ministerio de Economía y Competitividad (España) | |
| dc.description.sponsorship | Comunidad de Madrid | |
| dc.description.status | unpub | |
| dc.eprint.id | https://eprints.ucm.es/id/eprint/46243 | |
| dc.identifier.uri | https://hdl.handle.net/20.500.14352/17411 | |
| dc.language.iso | eng | |
| dc.page.total | 21 | |
| dc.relation.projectID | TRACES (TIN2015–67522–C3–3–R) | |
| dc.relation.projectID | N-GREENS Software (S2013/ICE-2731) | |
| dc.rights.accessRights | open access | |
| dc.subject.keyword | Rewriting logic | |
| dc.subject.keyword | Maude | |
| dc.subject.keyword | Compositional specification | |
| dc.subject.keyword | Synchronous composition | |
| dc.subject.ucm | Informática (Informática) | |
| dc.subject.ucm | Programación de ordenadores (Informática) | |
| dc.subject.unesco | 1203.17 Informática | |
| dc.subject.unesco | 1203.23 Lenguajes de Programación | |
| dc.title | Alternating bit protocol as an example of compositional system specification | |
| dc.type | technical report | |
| dcterms.references | Clavel, M., Durán, F., Eker, S., Lincoln, P., Martı́-Oliet, N., Meseguer, J., Talcott, C.L.: All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic, Lecture Notes in Computer Science, vol. 4350. Springer, Berlin, Heidelberg (2007), http://dx.doi.org/10.1007/978-3-540-71999-1 Durán, F., Meseguer, J.: Parameterized Theories and Views in Full Maude 2.0. Electronic Notes in Theoretical Computer Science 36, 316–338 (jan 2000), http://www.sciencedirect.com/science/article/pii/ S1571066105801367?via{%}3Dihub Martı́n, Ó., Verdejo, A., Martı́-Oliet, N.: Modular specification in rewriting logic (extended version). Tech. rep., Departamento de Sistemas Informáticos y Computación Facultad de Informática, Universidad Complutense de Madrid, Spain (2017), http://eprints.ucm.es/45264/1/ modspec-techrep.pdf Martı́n, Ó., Verdejo, A., Martı́-Oliet, N.: Modular specification in rewriting logic. Submitted for publication (to TPoLP) (2018) Martı́n, Ó., Verdejo, A., Martı́-Oliet, N.: Parameterized programming for compositional system specification. In: Submitted (to WRLA) (2018) | |
| dspace.entity.type | Publication | |
| relation.isAuthorOfPublication | fdcba7f2-108a-46f4-bf49-c292a5b81953 | |
| relation.isAuthorOfPublication | e8d4e85a-2a43-444c-84e7-1fa5f392c50d | |
| relation.isAuthorOfPublication.latestForDiscovery | e8d4e85a-2a43-444c-84e7-1fa5f392c50d |
Download
Original bundle
1 - 1 of 1
Loading...
- Name:
- Alternating_bit_protocol.pdf
- Size:
- 411.73 KB
- Format:
- Adobe Portable Document Format
