METODOS FORMALES Integrantes : Caceres Zea Rarold Herrera Rivera Jerson Luna Calderón Angel Especificación Formal con VDM ++ Aplicación WEB de Turismo
CASO DE ESTUDIO Aplicativo web que permite a un usuario registrar una ruta turística que involucra diferentes locaciones.
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.
IDENTIFICACION Locación Rutas Usuario
DEPENDENCIAS UsuarioRuta Dos o mas Locaciones
USUARIO Contiene : Nombre de usuario Rutas que registro el usuario
RUTA Contiene : Descripción de la ruta Locaciones que involucran la Ruta
LOCACIONES Contiene : Descripción de la locación Longitud(posicionamiento) Latitud(posicionamiento)
INVARIANTES LOCACIONES -90 <= Latitud <= <= Longitud <= 180 RUTA Locaciones >= 2
DIAGRAMA DE CLASES