A model driven approach to water resource analysis based on formal methods and model transformation