Академический Документы
Профессиональный Документы
Культура Документы
Clase 3
Ingeniera de Requerimientos
(Toma, modelado, comunicacin,
aceptacin y mantenimiento)
Contenido Clase 3
Obtencin de requerimientos Modelizando el comportamiento
Tcnicas tradicionales funcional
Entrevistas y cuestionarios Modelizar funcionalidad
Escenarios y casos de uso Evolucin del Anlisis
Aproximacin cognitiva AE
Aproximacin contextual AOO
Modelizando Empresas y Tcnicas formales
metas Especificacin vs. Modelado de
Por que modelar motivos requerimientos
Tipos de modelo Algunos ejemplos
(investigacin)
Esquema conceptual
SCR
Diferentes modelos RML
conceptuales
RSML
Requerimientos no
funcionales
Evolucionando requerimientos
Administracin del cambio
Administracin de inconsistencia
Rasgos de interaccin
Familias de productos para Administracin
de requerimientos
Bibliografa utilizada
Ingeniera de Requerimientos
(Locoupulous)
Ingenira de Requerimientos (Davis)
Ingeniera de software (Pressman,
Sommerville)
Papers Varios
Utilizacin de recursos
Justificar las
Mundo del Desiciones de
metas de
desarrollo diseo
desarrollo
Problemas en la comunicacin
La gente puede estar imposibilitada para
decir lo que realmente necesita
Problemas polticos o de seguridad
La gente puede no querer decir que es lo
que necesita
Si digo algo luego quedo pegado
Si abro mi negocio y otro se entera pierdo
racionalizacin
un agente como una caja negra Ambiente
Acta como si tuviera
Comportamiento
conocimiento sobre el
ambiente que utiliza Observacin
mecanizado
Nivel de conocimiento: Agente
descripciones del
conocimiento del agente del Modelo de nivel
de smbolos
mundo real
ISA
tarea)
Agreement
D (M,P)
X D
EJ: supongamos una D AttendsMeeting
(ip,m) D
participante
importante
como evoluciona en
D D Dependencia de metas
Dependencia de metas
D D soft
O Opend (uncommited)
UNPSJB - 2005 Ingeniera de Software - Clase 3 X Criticas 47
Revision de modelos: i*
Participante
Agreable
Low
internas
Meeting Frie ndly
Obtain D Dates D Agreable - M in
Date
Find AvailDate D - Inte rrupt
Muestra la descomposicin
Obtain Preferred ion
Suitable D
Agreement D Dates
Slot
de tareas Merge
Proposed
Date D
Agree To
Meta Soft
encontrarse la forma de
-+
contribucin a meta soft
evaluarlos
UNPSJB - 2005 Ingeniera de Software - Clase 3 48
Revision de modelos: i*
Conclusiones sobre i*
Ganar entendimeinto en los Resumiendo
requerimientos del sistema Mejor representacin y
Viabilidad
formalidad en las
expresiones
Credibilidad de
Se incorpora
requerimientos
intencionalidad
relaciones mltiples y
distribuidas de
intencionalidad
Dos partes
Modelado informal de metas
Repeticin { }n N repeticiones de
() Datos opcionales
** Delimita comentarios
Especificacin de procesos
cdigo en lenguajes narrativo o en algn
pseudo cdigo
Define los rasgos procedurales escenciales
Evoluciones
DFD evolucion para poder representar TR
Conceptos fudamentales
Herencia
Simple o mltiple
Ocultamiento de informacin
Agregacin
Puede describir relaciones entre las partes y el
todo
1
1
Ingreso Alta paciente 1
paciente Class Class Class
medico
Cama ltima visita Attribute Attribute Attribute
Habitacin
Service
Service Service Service Service
Desventajas
Complejo para rescatar caractersticas dinmicas
de los objetos
No es claro que siempre se quiera modelar objetos,
servicios y relaciones
Tendencia a pasar rpidamente al diseo
incorrectas es la misma....
Vista estrecha
Uso de lenguajes formales
Un conjunto de strings sobre un alfabeto bien definido
con reglas para distinguir que esos strings pertenecen
al lenguaje
Razonamiento formal sobre formulismo en el
lenguaje
Pruebas formales: usan axiomas y reglas de prueba
para demostar que alguna frmula est en el lenguaje
Redundantes
formalizan inconsistentes
Ambiguas redundantes
Inconsistentes
explicacin entendibles
incompletas
incompletas
Modificabilidad
Bien estructurado, indexado, con referencias cruzadas
Sin redundancia
No es modificable si no es trazable
Trazabilidad
Cada requerimiento se puede rastrear hasta su fuente
Cada requerimiento se puede rastrear hasta su
implementacin
Notacin til
Que lo haga fcilmente comprensible
Priorizacin de requerimientos
Definicin de conflicto
En la psicologa social, el foco es la
interdependencia y percepcin
La interaccin de gente intedependiente que
percibe en forma opuesta metas, objetivos o
valores, y como ve a la otra parte como
interfiriendo sobre sus objetivos.
Nuestra satisfaccin
exclusivos
Nuestra satisfaccin
A y B
B interfirientes B
combinados
Satisf accin de otras partes Para dos posiciones Satisf accin de otras partes
iniciales A y B, se
puede medir la
severidad del
Nuestra satisfaccin
Nuestra satisfaccin
A
conflicto examinando
A y B
A
combinados
que sucede cuando
se combinan
inclusivos
no
interfirientes
B B
Identificar posiciones
que se pueden Posicin 2
adoptar con respecto
objeto de
Argumento 4
a las posiciones preguntas
objeto de es sugerido por
Linkear argumentos Uso 3
que soporte o refuten Argumento 5 Uso 4
posiciones
Aceptacin: el
programa es una Vista abstracta
solucin aceptable al del mundo real
problema?
El soft evoluciona Compara Cambia
continuamente Especificacin
de
Porque la solucin requeriminetos
nunca es perfecta, y
puede ser mejorada
Porque el mundo real Solucin Programa
cambia y entonces el
problema cambia
soft y el el mundo
real se afectan
entre s Modelo
Familias de soft
Muchas compaas ofrecen sistemas de
soft relacionados
Elegir una arquitectura estable para la familia
Identificar las variaciones entre diferentes
miembros de la familia
Representa una decisin estrategia de
negocio sobre que soft desarrollar
monitoreos de acciones
consecuencas de
Localizar Ignorar
Diferir
Inconsis-
Inconsisten tencia
Caracterizacin Manipu-
cia
Detectada
Identificar de Tolerar Evadirla lada
Inconsistencia
mejorarla
Clasificar Resolver
Midiendo
Analizando impacto y riesgo
Inconsistencias
UNPSJB - 2005 Ingeniera de Software - Clase 3 148
PV para chequeo de consistencia
Quin es el responsable Cada PV tiene su propio
Los propietarios de los PV son conjunto de reglas
responsables por cambios No se necesita control central
locales en sus PV Cuando debera chequearse las
Pueden sugerir cambios a relaciones entre PV?
otros El propietario del PV chequea
No pueden forzar la las reglas cuando lo necesite
sincronizacin de PV
Como se chequean las
Como se expresan relaciones entre PV?
responsabilidades? El sistemas administrador de
Las reglas de consistencia transacciones entre PV
expresan relaciones que Los dos PV testeados son
deberan respetarse entre PV notificados de los resultados