Distributed Applications Implemented in Maude with Parameterized Skeletons

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 architecaude analysis tools allow to check at different abstraction levels properties of the applications built by instantiating a skeleton.

• Type: Conference
• Year: 2007
• Where: FMOODS
• Authors: Adrián Riesco, Alberto Verdejo
• Keywords: Algorithmic Skeletons, FMOODS 2007, Formal Methods, Object-oriented Parameterized Modules, Skeletons