1 METODOS FORMALES Integrantes : Caceres Zea Rarold Herrera Rivera Jerson Luna Calderón Angel Especificación Formal con VDM ++ Aplicación WEB de Turismo

2 CASO DE ESTUDIO Aplicativo web que permite a un usuario registrar una ruta turística que involucra diferentes locaciones.

3 ESPECIFICACION, REQUERIMIENTOS DEL SISTEMA Un Usuario puede registrar sus rutas turísticas Las rutas deben contener al menos 2 locaciones visitadas La ubicación y posicionamiento de las locaciones son de importancia, esta ubicación determinada por su latitud y longitud debe cumplir que, la latitud para un locación de estar en el rango de -90 a 90, y la longitud debe estar comprendida entre -180 a 180.

4 IDENTIFICACION Locación Rutas Usuario

5 DEPENDENCIAS UsuarioRuta Dos o mas Locaciones

6 USUARIO Contiene : Nombre de usuario Rutas que registro el usuario

7 RUTA Contiene : Descripción de la ruta Locaciones que involucran la Ruta

8 LOCACIONES Contiene : Descripción de la locación Longitud(posicionamiento) Latitud(posicionamiento)

9 INVARIANTES LOCACIONES -90

10 DIAGRAMA DE CLASES