Rigorous Definition/Specification in RAISE Specification Language of a Framework for Web Services about Geographic Information Systems

The definition and specification of infrastructure or framework for GIS Web services are given to provide a solution to the issue of format and information diversity. The need for a definition of this kind is due to the fact that organizations must rely on tools which allow them to develop geographic information systems in a quick and simple form, using tested an established models. This infrastructure will enable the constructions of geographic information systems starting from tested and direct - use models. The use of RAISE Specification Language as formal specification language owes to industry acknowledgement of software for formal specifications of actual development. In the present work, further information is given about both OGC, as regards its definition of standard, as well as present infrastructure like Infrastructure for Spatial Information in the Europen Community [6] and National Spatial Data Infrastructure [3] mainly. The services defined and specified here allow to a much more comprehensive use of data, metadata and maps already defined and assessed in those infrastructures.