Abstract
Algorithmic skeletons are a well-known approach for implementing parallel and distributed applications. Declarative versions typically use higher-order functions in functional languages. We show here a different approach based on object-oriented parameterized modules in Maude, that receive the operations needed to solve a concrete problem as a parameter. Architectures are conceived separately from the skeletons that are executed on top of them. The object-oriented methodology followed facilitates nesting of skeletons and the combination of architectures. Maude analysis tools allow to check at different abstraction levels properties of the applications built by instantiating a skeleton.
Research supported by MEC Spanish project DESAFIOS (TIN2006-15660-C02-01) and Comunidad de Madrid program PROMESAS (S0505/TIC/0407).
Chapter PDF
Similar content being viewed by others
References
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude Manual (Version 2.2) (December 2005), http://maude.cs.uiuc.edu/maude2-manual
Cole, M.: Algorithmic Skeletons: Structure Management of Parallel Computations. MIT Press, Cambridge (1989)
Denker, G., Meseguer, J., Talcott, C.: Formal specification and analysis of active networks and communication protocols: The Maude experience. In: Proc. DARPA Information Survivability Conference and Exposition DICEX 2000, Hilton Head, South Carolina, January 2000, vol. 1, pp. 251–265. IEEE Computer Society Press, Los Alamitos (2000)
Durán, F., Riesco, A., Verdejo, A.: A distributed implementation of Mobile Maude. In: Denker, G., Talcott, C. (eds.) WRLA 2006. Proc. Sixth Int. Workshop on Rewriting Logic and its Applications. ENTCS, pp. 35–55. Elsevier, Amsterdam (2006)
Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Gadducci, F., Montanari, U. (eds.) WRLA 2002. Proc. Fourth Int. Workshop on Rewriting Logic and its Applications, Pisa, Italy, September 19–21, 2002, vol. 71, pp. 115–141. Elsevier, Amsterdam (2002)
Farzan, A., Meseguer, J.: State space reduction of rewrite theories using invisible transitions. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 142–157. Springer, Heidelberg (2006)
Ferreira, J.F., Sobral, J.L., Proença, A.J.: JaSkel: A Java skeleton-based framework for structured cluster and grid computing. In: CCGRID’06. Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid, pp. 301–304. IEEE Computer Society Press, Los Alamitos (2006)
Loogen, R., Ortega-Mallén, Y., Peña, R., Priebe, S., Rubio, F.: Parallelism abstractions in Eden. In: [14], chapter 4, pp. 95–129.
Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science 96(1), 73–155 (1992)
Michaelson, G., Scaife, N., Bristow, P., King, P.: Nested algorithmic skeletons from higher order functions. Parallel Algorithms and Applications 16(2-3), 181–206 (2001)
Ölveczky, P., Meseguer, J., Talcott, C.: Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude. Formal Methods in System Design 29, 253–293 (2006)
Peña, R., Segura, C.: Reasoning about skeletons in Eden. In: Parallel Computing: Current & Future Issues of High-End Computing. Proceedings of the International Conference ParCo 2005. NIC Series, vol. 33, pp. 851–858 (2006)
Rabhi, F.A., Gorlatch, S.: Patterns and Skeletons for Parallel and Distributed Computing. Springer, Heidelberg (2002)
Riesco, A., Verdejo, A.: Parameterized skeletons in Maude. TR 1/07, Dpto. Sistemas Informáticos y Computación, Universidad Complutense de Madrid (2007), http://maude.sip.ucm.es/skeletons/psm.pdf
Trinder, P.W., Loidl, H.W., Pointon, R.F.: Parallel and distributed Haskells. Journal of Functional Programming 12(4-5), 469–510 (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Riesco, A., Verdejo, A. (2007). Distributed Applications Implemented in Maude with Parameterized Skeletons. In: Bonsangue, M.M., Johnsen, E.B. (eds) Formal Methods for Open Object-Based Distributed Systems. FMOODS 2007. Lecture Notes in Computer Science, vol 4468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72952-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-540-72952-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72919-8
Online ISBN: 978-3-540-72952-5
eBook Packages: Computer ScienceComputer Science (R0)