Cost evaluation from specifications for BSP programs

BSP has shown that structured parallel programming is not only a performance win, but it is also a pro-gram construction win, especially if we add a formal method for designing. Maybe the most important ad-vantage that BSP brings is the effective cost model that allows a good evaluation of the performance. The paper presents a technique for cost evaluation from specifica-tions for BSP programs. We consider parameterized specifications and processes for BSP programs, and the parameters are the number of processes, the index of the local process, and the data distribution. The possibility of counting the number of communications from post-conditions, allows us to make a cost evaluation even at the early stages of the design, and so it leads us to the right decisions. 1