Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2007 Martes Modelado
2007 Martes Modelado
Modelizacin de Requisitos
Construccin de descripciones abstractas que puedan ser interpretadas
Actividad FUNDAMENTAL
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Modelizacin conceptual
Notaciones informales /semi-formales/formales
Modelos en Lenguaje Natural
Forma mas habitual de representar el conocimiento Cercano al stakeholder: favorece interaccin en primeras etapas Fcil de validar complejo
Problemas con los modelos: barreras de comunicacin incompleto inconsistencias
Ambiguo
no automatizacin
INGENIERIA DE REQUISITOS
Customer
a Purchase Processor
deposit currency (currency) verify currency (currency)
a coin
a soda
create transaction()
a Transaction
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
Diagrama de clases
INGENIERIA DE REQUISITOS
Nocin: es un papel preimpreso obligatorio para realizar el trmite de pasaporte. se registran todos los datos personales del solicitante se escriben las verificaciones que realiza la Polica Federal Impacto: lo llena el solicitante. lo sellan en la Cabina de Fotografa al abonar la fotografa. lo sellan en la Caja al abonar la fotografa. lo firman y sellan en el reverso, casillero Indice General en la Divisin Indice General. ...
INGENIERIA DE REQUISITOS
Categoras generales
Modelizacin organizacional Modelizacin de datos Modelizacin de comportamiento Modelizacin de dominios Modelado explicito de requisitos
INGENIERIA DE REQUISITOS
Motivacin
Una organizacin es un Sistema Complejo
Intervienen Procesos, clientes, recursos, objetivos, problemas, crecimientos, competencia... Se debe llegar desde aqu a una especificacin acordada entre las partes
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
Se puede considerar al problema del desarrollo de software como un problema de construir un artefacto, el cual ser instalado en el mundo con el cual va a interactuar [Jackson95].
INGENIERIA DE REQUISITOS
La informacin...
... est usada cmo un recurso estratgico en el negocio? ... es adecuada y correcta?
INGENIERIA DE REQUISITOS
Se Necesitan Varios Modelos Complementarios Cada modelo representa una determinada perspectiva y abstraccin del negocio Arquitectura del negocio
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
visin de negocio
estructura de negocio
procesos de negocio
comportamiento de negocio
INGENIERIA DE REQUISITOS
Misin/ Visin de la empresa Objetivos Fortalezas / Debilidades Oportunidades Factores crticos Estrategias Roles y Unidades organizacionales Procesos claves
INGENIERIA DE REQUISITOS
Modelamiento de Objetivos
El objetivo de alto nivel del negocio (establecido previamente) se descompone en estrategias, objetivos y metas concretas para alcanzarlos.
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Modelamiento de Objetivos/Problemas
Describe los objetivos del negocio y los problemas que impiden
su realizacin
Cmo se modela? Business Motivation Model (OMG) Extensiones de UML (Eriksson-Penker) UML profile for KAOS (Heaven and Finkelstein, 2004) Extensiones de UML (IBM) i* / Tropos (www.troposproject.org) KAOS (van Lamsweerde, 2001)
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
comportamiento de negocio
procesos de negocio
Contenido de la Vista
Los procesos de negocio con sus objetivos a cumplir Relacin de los procesos con los recursos utilizados, producidos y modificados. Entidades fsicas involucradas en los procesos
Koehler, J.; Hauser, R.; Kapoor, S.; Wu, F.Y.; Kumaran. A model-driven transformation method . Proceedings of Seven IEEE Enterprise Distributed Object Computing Conference, EDOC 2003. pp. 186-197.
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
vision de negocio
comportamiento
procesos de negocio
de negocio
INGENIERIA DE REQUISITOS
Contenido de la Vista
Los recursos de negocio (fsicos, abstractos, humanos, etc.) y sus relaciones Informacin estratgica de negocio
Expertos
Gerencia, Jefes de reas para recursos humanos empleados con experiencia, informacin existente
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Vista de Estructura
Modelamiento de Recursos
Modela los recursos fsicos de negocio
Modelamiento de Informacin
Define los modelos de la informacin significativa de negocio (recursos abstractos)
Modelamiento de Organizacin
Describe las unidades organizacionales de negocio y roles (recursos humanos)
INGENIERIA DE REQUISITOS
Vista de Estructura
Como se modela?
Diagrama de clase de UML Diagrama de objetos de UML Extensiones de UML de E_P Diagrama de Entidad-relacin Diagramas Organizacionales Catalogo de Recursos y Elementos de Websphere Proyecto IDEF.
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
INGENIERIA DE REQUISITOS
procesos de negocio
comportamiento de negocio
INGENIERIA DE REQUISITOS
Contenido de la Vista
Ciclo de vida de los recursos individuales Ejecucin detallada de los procesos y sus interacciones Colaboracin entre los recursos
Expertos
Jefes de reas
Empleados con experiencia
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Modelamiento de Interaccin
Demuestra la colaboracin entre los recursos (personas, productos, herramientas) Interaccin y sincronizacin entre los procesos
Cmo se modela?
Diagramas dinmicos de UML (diagramas de estado, diagramas de secuencia, diagramas de colaboracin, diagrama general de interaccin, Diagrama cronolgico) Extensiones de UML de E-P IDEF .
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
INGENIERIA DE REQUISITOS
Reglas de Negocio
procesos de negocio
INGENIERIA DE REQUISITOS
Reglas de Negocio
Los negocios son controlados por las reglas la estructura de los negocios y cmo ellos operan que regulan
Las reglas del negocio son sentencias sobre la forma en que la empresa realiza negocios, influenciando, guiando o restringiendo su comportamiento y/o estructura. Las reglas del negocio implementan las polticas de negocio: satisfacer los objetivos del negocio, satisfacer los clientes, hacer un buen uso de los recursos, y respetar las leyes o convenciones de la empresa y las externas.
Expertos
Directivos principales, Gerencia, Jefes de reas Legislaciones internas y externas
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Reglas de Negocio
Cmo se modelan?
Implcitamente expresadas ( asociaciones, multiplicidades en diagrama de estructuras, acciones condicionales o alternativas en diagramas dinmicos...)
OCL anotaciones en Lenguaje natural asociadas a diagramas Extensiones de UML (Eriksson-Penker)
Tablas de Decisin
Describe las posibles condiciones y acciones asociadas en una tabla con tantas columnas como alternativas de condiciones haya.
Ejemplo: si el vuelo es domstico, siempre se sirven tragos pero se cobran. Si el vuelo no es domstico, y el avin est ms de la mitad ocupado y los pasajes son por encima de 350 pesos, servir tragos gratis. Si los pasajes son inferiores a 350, se cobran siempre.
Domstico?
Pasaje $350? mitad lleno?
S
-
S
--
N
S S
N
N -
N
S N
tragos gratis?
tragos pagos?
INGENIERIA DE REQUISITOS
Reglas en OCL
Regla 39: La Administradora puso el tope de 3 veces para que un adjudicatario pueda rechazar el bien tipo Expresin OCL Context : Adherente cantidadRechazos <= Administradora.cantidadRechazosPermitidos Regla 28: Si el adjudicatario rechaza por mas de tres veces el bien tipo la Administradora lo expulsa del Grupo Expresin OCL Context Adherente: RechazarBienTipo post= pre@cantidadRechazo = 3 implies adherenteGrupo -> includes (adherente) = false
INGENIERIA DE REQUISITOS
Resumen Es necesario comprender y representar el funcionamiento, la estructura y las interdependencias del Negocio.
Un Modelo del negocio es un conjunto de vistas que modelan todos los aspectos de la organizacin:
estructura de negocio vision de negocio comportamiento de negocio
procesos de negocio
Cada vista modela una determinada abstraccin del negocio Son Complementarias , relacionadas y consistentes Cada una tiene modelos especficos y tcnicas propias
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
TRACE
Desarrollo de un sistema de software con cualquier estrategia (incremental, evolutiva, clsica, prototipo)
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Categoras generales
Modelizacin organizacional Modelizacin de datos Modelizacin de comportamiento Modelizacin de dominios Modelado explicito de requisitos
INGENIERIA DE REQUISITOS
Modelizacin de datos
Sistemas de informacin: usan y generan grandes volmenes de informacin se necesita identificarla,comprenderla, manipularla y administrarla. Se usan tcnicas de modelizacin de datos:
Modelos de Entidades y Relaciones Modelos de clases Glosarios
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
INGENIERIA DE REQUISITOS
Estructura LEL
Sintaxis: {Smbolo}1N
Smbolo:
Entrada del lxico que tiene un significado especial en el dominio de la aplicacin. La semntica de cada smbolo se representa con una o ms nociones y uno o ms impactos.
Nombre: Identificacin del smbolo. Ms de uno representa sinnimos Sintaxis: Palabra | Frase
Nocin: Denotacin del smbolo, lo define. Sintaxis: Sentencia Impacto: Connotacin del smbolo. Describe cmo repercute el smbolo en el UD Sintaxis: Sentencia
Sentencia est compuesto por Smbolos y No-Smbolos (vocabulario mnimo)
INGENIERIA DE REQUISITOS
Sujeto Objeto
Nociones: describen quin es el sujeto y relaciones. Impactos: registran acciones ejecutadas por l. Nociones: definen trmino e identifican otros relacionados a l. Impactos: describen acciones aplicadas a l. Nociones: describen quin ejecuta la accin, cundo ocurre, y procedimientos involucrados. Impactos: describen restricciones sobre la accin, acciones desencadenadas y nuevas situaciones surgidas.
Frase Verbal
Estado
INGENIERIA DE REQUISITOS
Impacto: El adjudicatario paga el derecho de adjudicacin El adjudicatario puede solicitar un cambio del bien tipo adjudicado Elige la aseguradora para el seguro de bien tipo.
INGENIERIA DE REQUISITOS
Nociones: Vehculo que desean obtener los adherentes de un determinado plan de ahorro. Impactos: Es adjudicado a un adherente Es entregado por la administradora a un adjudicatario.
INGENIERIA DE REQUISITOS
Nociones:
Un adherente vende su plan a otra persona. El adherente tiene que tener sus cuotas al da, y notificar a la administradora. Impacto: Si el adherente no comunica fehacientemente, la administradora puede rechazar dicha transferencia
INGENIERIA DE REQUISITOS
Auto-aplicacin de la propuesta de derivacin de un modelo de objetos: www.usuarios.arnet.com.ar/ogarcia Sistema de Tambo (reporte 223):www.iist.u.edu/newrh/III/1/pages.html
INGENIERIA DE REQUISITOS
Criterio de clasif icacin Tipos Estrategisas de Elicitacin Heurstica de construccin UdeD Checklist Criterio de orden Lista de f uentes de inf ormacin LEL
LEL
Construir
Herramientas
Ingenieros de requisitos
A-1
Construir el LEL
INGENIERIA DE REQUISITOS
UdeD Heursticas para identif icar y clasif icar Estrategias de Elicitacin Lista de f uentes Identificar Fuentes de inf ormacin Criterios de orden Heursticas para seleccionar smbolos
Validar
UdeD
de Informacin
1.1
Verificar
1.5
Identificar Smbolos
1.2
Lista de Smbolos
Heursticas de representacin
UdeD
Describir Smbolos
1.4
LEL
A1
Construir
INGENIERIA DE REQUISITOS
Identificar Smbolos
A2
INGENIERIA DE REQUISITOS
UdeD Heursticas para identif icar y clasif icar Estrategias de Elicitacin Lista de f uentes Identificar Fuentes de inf ormacin Criterios de orden Heursticas para seleccionar smbolos
Validar
UdeD
de Informacin
1.1
Verificar
1.5
Identificar Smbolos
1.2
Lista de Smbolos
Heursticas de representacin
UdeD
Describir Smbolos
1.4
LEL
A1
Construir
INGENIERIA DE REQUISITOS
Clasificar Smbolos
Lista de Smbolos Tipos generales
Lista de Smbolos
Tipos generales
Lista de Smbolos
Aplicar la Clasificacin
1.3.3
A 1.3
INGENIERIA DE REQUISITOS
Clasificar
UdeD Heursticas para identif icar y clasif icar Estrategias de Elicitacin Lista de f uentes Identificar Fuentes de inf ormacin Criterios de orden Heursticas para seleccionar smbolos
Validar
UdeD
de Informacin
1.1
Verificar
1.5
Identificar Smbolos
1.2
Lista de Smbolos
Heursticas de representacin
UdeD
Describir Smbolos
1.4
LEL
A1
Construir
INGENIERIA DE REQUISITOS
Usar referencia con nombre completo Un smbolo debe tener al menos una referencia/o ser referenciado a/por otro smbolo
INGENIERIA DE REQUISITOS
UdeD Heursticas para identif icar y clasif icar Estrategias de Elicitacin Lista de f uentes Identificar Fuentes de inf ormacin Criterios de orden Heursticas para seleccionar smbolos
Validar
UdeD
de Informacin
1.1
Verificar
1.5
Identificar Smbolos
1.2
Lista de Smbolos
Heursticas de representacin
UdeD
Describir Smbolos
1.4
LEL
A1
Construir
INGENIERIA DE REQUISITOS
INGENIERIA DE REQUISITOS
Informacin referida a lo formal (no siempre se cumple): DEBE (cuantificar) Informacin de lo conjeturado : Informacin de lo deseado :
SE ESPERA
SE DESEA
INGENIERIA DE REQUISITOS