Práctica de Requerimientos (Ingeniería I)
Ejercicio 01
Preguntas y Respuestas (mail a Sebastian)
1) A qué se refiere con el argumento de verificación? Que modelo formal quiero validar con que otro modelo? El de contexto con el de objetivos?
No tengo la practica a mano, el argumento de verificacion, me imagino, que se refiere a el de D, R |= G. Es decir que el conocimiento formalizado acerca del dominio y de los requerimientos garantizan los objetivos.
2) Con el modelo de objetivos se refieren al de tener los objetivos de mas alto nivel e ir refinando hasta obtener requerimientos?
El modelo de objetivos es el grafo que muestra las dependencias entre todos las aserciones acerca del mundo que tenemos. Algunos son de alto nivel y otros de bajo nivel. Aquellos asignados a la maquina son lo que llamamos requerimientos.
3) El modelo de Jackson era el del mundo/interfaz/maquina. Como la ing requerimientos se realiza en el mundo y los requerimientos se encuentran en la interfaz siempre termino quedandome sin nada que caiga en la maquina propiamente dicha cuando pienso en los fenómenos y trato de ponerlos en algún lugar, esto está bien?
Está bien que todos los fenomenos que nos interesan (para IR) estan fuera de la maquina. Los ejercicios tratan de obligarte a pensar que tipo de fenómenos tal vez no nos interesan.
4) También adjunto el diagrama de contexto que se me ocurrió y tengo algunas preguntas sobre el: Está bien poner al ascensor? El "boton llamada" podría ser considerado como una máquina? no se a que cosas ponerle la caja simple o la de las dos lineas (igual eso es menos crítico).
Poner el ascensor en principio no esta mal. Justo en el diagrama que tenes vos, el ascensor no "controla" ningun fenomeno, con lo cual no hace mucha diferencia agregarlo o no. Pero al estar ahi, permite preguntarse que tipo de fenomenos puede controlar el ascensor y si son relevantes (lo mismo aplica a las puertas) Ejemplos: se puede trabar es ascensor? Que debe hacer el controlador?
Ejercicio 02
Ejercicio 03
Requerimiento: Condición que nuestro sistema deberá lograr para que, junto con las presunciones del dominio, llegue a cumplir el objetivo planteado.
Stakeholder: Persona o entidad que pueda verse beneficiado o perjudicado por nuestro sistema. Tiene información útil para desarrollarlo.
Goal: Objetivo concreto y validable/verificable de nuestro sistema.
Soft Goal: Objetivo de alto nivel, difícil de medir y poco específico.
Modelo: Abstracción manejable (formal) y con un alcance definido de un sistema más complejo.
Agente: Entidad que interactua con nuestro sistema.
Ejercicio 04
Ejercicio 05
Ejercicio 06
La empresa solicita la automatización de su sistema de envío de encomiendas. Se observó que actualmente una operadora recibe los pedidos telefónicos de los clientes, que le indican el peso y volumen de la encomienda, la dirección origen del envío y la dirección de destino, junto con las horas de partida y llegada. El precio del envío se calcula en función del kilometraje recorrido (todos los choferes poseen una planilla de tarifas). Si la operadora recibe telefónicamente una solicitud de envío, ella revisa en una planilla qué choferes y qué vehículos se encuentran disponibles. En este caso, informa para qué hora estimada estaría disponible un envío. Debe ser muy sencilla para la operadora la elección del chofer y el vehículo listos para efectuar un envío. Los choferes informan los trayectos recorridos por los viajes para que le puedan servir de consulta para futuros recorridos. Estos recorridos son guardados en ficheros manuales de recorridos. El gerente puede consultar todos los pedidos ya realizados en un período de tiempo (registrados por la operadora en otra planilla). La comunicación entre la operadora y los choferes se realiza vía handy, si ellos no se llegaran a encontrar en la empresa. El gerente quiere automatizar lo mayor posible esta operatoria, incluyendo además que clientes especiales (VIP) puedan efectuar pedidos sin pasar por la operadora, informando la viabilidad de éstos, como en los clientes comunes. El trayecto informado por los choferes debe ser validado (verificado según el plano real de Capital Federal y GBA, que está puesto en la pared). Se observó que la empresa posee sólo una computadora PC Pentium 100Mhz con sistema operativo Windows 95 sin acceso a Internet con disco rígido de 1Gb y memoria de 32Mb, junto a una impresora de matriz de puntos, que la usan actualmente para escribir documentos y generar planillas de gastos. Se pide:
- a) Analizar la viabilidad y posibles puntos incompletos o inconsistentes en el texto anterior resultante de las minutas, y dar algunas alternativas para expresar estas inconsistencias o completar la información faltante.
- b) Expresar los objetivos, alcances y requerimientos derivados del texto.
- c) Dado el objetivo "Predicibilidad Inmediata de Retiros y Entregas", analizar el objetivo "La operadora informa el horario de retiro de paquete"
Objetivos
- Automatizar la operatoria lo mejor posible
- Elegir de chofer y vehiculos de forma sencilla
- Clientes VIP efectuan pedidos sin pasar por la operatoria
Fenomenos
- Operadora recibe pedidos telefonicos de los clientes M
- El precio del viaje se calcula en funcion del kilometraje C
- Choferes poseen planilla de tarifas M
- Operadora busca en planilla choferes y vehiculos disponibles M
- Operadora informa hora de envio M
- Choferes informan trayectos recorridos M
- Recorridos son guardados en ficheros manuales C
- Operadora registra en planilla los pedidos C
- Gerente consulta pedidos M
- La comunicacion entre operadora y chofer es por handy
- Se informa la viabilidad de los pedidos C
- El trayecto informado por chofer es validado en el mapa C
Requerimientos
- Choferes avisan -> Operadora tiene datos
- Operadora carga -> PC procesa y mantiene los disponibles en O(1)
- Planilla de choferes disponibles accesible por VIP, y VIP tiene comunicacion con chofer -> Pedidos sin Operadora
(Falta el grafico)
