A WebML-based approach for the development of Web GIS applications