SKELETONS
 
 
 
Description
    Algorithmic skeletons are a well-known approach for implementing distributed applications. Declarative versions typically use higher-order functions in functional languages. We show here a different approach based on 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 properties of the applications built by instantiating a skeleton at different abstraction levels.
 
Papers:
 Technical report 1/07
 
Maude Specifications and Samples
 Configuration
  - Configuration.
  - Partial order reduction configuration.
 Buffered sockets
  - Buffered sockets.
  - Partial order reduction buffered sockets.
 Algebraic specification of sockets
 Common infrastructure
  - Common infrastructure.
  - Partial order reduction common infrastructure.
 Star architecture
  - Client.
  - Partial order reduction client.
  - Server.
  - Partial order reduction server.
 Ring architecture
  - Common ring.
  - Partial order reduction common ring.
  - Ring node.
  - Partial order reduction ring node.
  - Last node.
  - Partial order reduction last node.
 Centralized ring architecture
  - Architecture.
  - Partial order reduction architecture.
  - Model checking analysis.
  - Search analysis.
 Sequential implementations
  - Euler numbers.
  - Ray tracing.
  - Particles interactions.
  - Traveling salesperson.
  - Mergesort.
 Ray tracing case study
 Replicated workers skeleton
  - Skeleton.
  - Partial order reduction skeleton.
  - Euler numbers instantiation (master, worker1, worker2).
  - Euler numbers instantiation (euler20).
  - Euler numbers analysis.
 Replicated workers with fixed data
  - Skeleton.
  - Partial order reduction skeleton.
  - Ray tracing instantiation (master, worker1, worker2).
  - Ray tracing analysis.
 Systolic ring skeleton
  - Skeleton.
  - Partial order reduction skeleton.
  - Particles instantiation (master, worker1, worker2, worker3).
  - Particles analysis.
 Branch & Bound
  - Skeleton.
  - Partial order reduction skeleton.
  - Traveling salesperson instantiation (master, worker1, worker2)
  - Traveling salesperson analysis.
 Divide & Conquer
  - Tree.
  - Partial order reduction tree.
  - Skeleton.
  - Partial order reduction skeleton.
  - Mergesort instantiation (master, worker1, worker2).
  - Mergesort analysis.
 Pipeline
  - Skeleton.
  - Partial order reduction skeleton.
  - Airport instantiation (master, first worker, worker1, worker2).