Manset, David, "A formal architecture-centric and model driven approach for the engineering of science gateways", ,