A Formal Architecture-Centric And Model Driven Approach For The Engineering of Science Gateways