Publication: Alternating bit protocol as an example of compositional system specification
Loading...
Files
Official URL
Full text at PDC
Publication Date
2018-01-30
Authors
Advisors (or tutors)
Editors
Journal Title
Journal ISSN
Volume Title
Publisher
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.
Description
Unesco subjects
Keywords
Citation
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)