Distributed applications implemented in Maude
with parameterized skeletons

In M. Bonsangue and E. Johnsen, editors, Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 5-8, 2007, Proceedings, LNCS 4468, pages 91-106. Springer, 2007.

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.

[pdf]

@inproceedings{RiescoVerdejo07,
      Author = {Adri\'an Riesco and Alberto Verdejo},
      Booktitle = {Formal Methods for Open Object-Based Distributed Systems: 
                   9th IFIP WG 6.1 International Conference, FMOODS 2007, 
                   Paphos, Cyprus, June 5-8, 2007, Proceedings},
      Editor = {M.M. Bonsangue and E.B. Johnsen},
      Pages = {91-106},
      Publisher = {Springer},
      Series = {Lecture Notes for Computer Science},
      Title = {Distributed applications implemented in {Maude} with parameterized skeletons},
      Volume = {4468},
      Year = {2007}}