Radu Prodan: Specification-correct and Scalable Coordination of Scientific Applications in Grid Environments. CCGRID 2007: 371-380