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. © IFIP International Federation for Information Processing 2007.
CITATION STYLE
Riesco, A., & Verdejo, A. (2007). Distributed applications implemented in maude with parameterized skeletons. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4468 LNCS, pp. 91–108). Springer Verlag. https://doi.org/10.1007/978-3-540-72952-5_6
Mendeley helps you to discover research relevant for your work.