Distributed applications implemented in maude with parameterized skeletons

Authors:
Adrián Riesco;Alberto Verdejo
Affiliations:
Facultad de Informática, Universidad Complutense de Madrid, Spain;Facultad de Informática, Universidad Complutense de Madrid, Spain
Venue:
FMOODS'07 Proceedings of the 9th IFIP WG 6.1 international conference on Formal methods for open object-based distributed systems
Year:
2007

Citing 8
Cited 1

Algorithmic skeletons: structured management of parallel computation

Algorithmic skeletons: structured management of parallel computation
Conditional rewriting logic as a unified model of concurrency

Selected papers of the Second Workshop on Concurrency and compositionality
Model checking

Model checking
Patterns and skeletons for parallel and distributed computing

Patterns and skeletons for parallel and distributed computing
Parallel and Distributed Haskells

Journal of Functional Programming
JaSkel: A Java Skeleton-Based Framework for Structured Cluster and Grid Computing*

CCGRID '06 Proceedings of the Sixth IEEE International Symposium on Cluster Computing and the Grid
Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude

Formal Methods in System Design
State space reduction of rewrite theories using invisible transitions

AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology

Implementing and analyzing in Maude the Enhanced Interior Gateway Routing Protocol

Electronic Notes in Theoretical Computer Science (ENTCS)

Quantified Score

Hi-index	0.00

Visualization

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.