Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2007 Martes Modelado
2007 Martes Modelado
Ingeniería de Requisitos
• ELICITACION
• MODELADO
• ANALISIS
# GESTION
• Construcción de descripciones
abstractas que puedan ser
interpretadas
• Actividad FUNDAMENTAL
Ambiguo incompleto
no automatización inconsistencias
tally
make selection
deposit( )
(selection)
create transaction()
a Transaction
Noción:
es un papel preimpreso obligatorio para realizar el trámite de pasaporte.
se registran todos los datos personales del solicitante
se escriben las verificaciones que realiza la Policía Federal
Impacto:
lo llena el solicitante.
lo sellan en la Cabina de Fotografía al abonar la fotografía.
lo sellan en la Caja al abonar la fotografía.
lo firman y sellan en el reverso, casillero “Indice General” en la División
Indice General.
...
•Modelización organizacional
•Modelización de datos
•Modelización de comportamiento
•Modelización de dominios
•Modelado explicito de requisitos
¿La información...
• ... está usada cómo un recurso estratégico en el negocio?
• ... es adecuada y correcta?
(Vernadat 96, Enterprise Modeling and integration. Chapman & Hall, 1996)
Vista de
Vista de
Procesos
Visión
de Negocio
de Negocio
Vista de Vista de
Comportamiento Estructura
de Negocio de Negocio
Eriksson-Penker - 2003
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Vistas de Modelo de Negocio
Reglas de
• Vista de Visión de Negocio Negocio (el
– Describe el “hacia donde va” del negocio, por qué)
sus objetivos, misión, etc.
visión de estructura de
negocio
negocio
comportamiento
de negocio
procesos de
negocio
Objetivo de la Vista
• Establece los objetivos de negocio
• Establece la estrategia general del negocio
• Actúa como guía para el modelado de las otras vistas del negocio.
• Imagen de “hacia donde” va el negocio
• Herramienta de motivación entre involucrados
Modelamiento de Objetivos
• El objetivo de alto nivel del negocio (establecido
previamente) se descompone en estrategias, objetivos y
metas concretas para alcanzarlos.
• Cómo 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)
estructura de
negocio
visión de
negocio
comportamiento
de negocio
procesos de
negocio
Representa el CÓMO
VISTA Principal
• Cómo se modela?
– Activity Diagram de UML
– Business Use Case de UML
– Extensiones de UML (Eriksson-Penker, IBM, EDOC….)
– Activity-Decision Flow (ADF , IBM)
– BPMN (OMG)
– BPEL (lenguajes ejecutables, IBM)
– IDEF (Knowledge Based System, Inc.)
– Diagramas de Procesos IBM (Websphere Business Modeler)
– ……..
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 .
vision de
negocio
comportamiento
procesos de de negocio
negocio
Contenido de la Vista
• Los recursos de negocio (físicos, abstractos, humanos, etc.)
y sus relaciones
• Información estratégica de negocio
• Estructura organizacional (áreas, divisiones, departamentos)
Expertos
• Gerencia, Jefes de áreas para recursos humanos
• empleados con experiencia, información existente
Modelamiento de Recursos
• Modela los recursos físicos de negocio
Modelamiento de Información
• Define los modelos de la información significativa de
negocio (recursos abstractos)
Modelamiento de Organización
• Describe las unidades organizacionales de negocio y roles
(recursos humanos)
estructura de
negocio
visión de negocio
procesos de comportamiento
negocio de negocio
Objetivo de la Vista
• Especificar el comportamiento interno de los elementos del
negocio
Contenido de la Vista
• Ciclo de vida de los recursos individuales
• Ejecución detallada de los procesos y sus interacciones
• Colaboración entre los recursos
Expertos
• Jefes de áreas
• Empleados con experiencia
Modelamiento de Interacción
• Demuestra la colaboración entre los recursos
(personas, productos, herramientas)
• Interacción y sincronización entre los procesos
¿Cómo se modela?
• Diagramas dinámicos de UML (diagramas de estado, diagramas de
secuencia, diagramas de colaboración, diagrama general de interacción,
Diagrama cronológico)
• Extensiones de UML de E-P
• IDEF
• …….
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Vista de Procesos / Vista de Comportamiento
estructura de
negocio
vision de negocio
comportamiento
procesos de de negocio
negocio
• Representan el PORQUÉ
• Afectan a todas las Vistas
Doméstico? S S N N N
Pasaje - -- S N S
≥$350?
≥ mitad - - S - N
lleno?
tragos X ?
gratis?
tragos X X X ?
pagos?
Regla 39: “La Administradora puso el tope de 3 veces para que un adjudicatario
pueda rechazar el bien tipo”
Expresión 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”
Expresión OCL
Context Adherente:
RechazarBienTipo
post= pre@cantidadRechazo = 3 implies adherenteGrupo -> includes
(adherente) = false
estructura de
negocio
vision de negocio
comportamiento
procesos de de negocio
negocio
• Desarrollo de un sistema de
software con cualquier estrategia
(incremental, evolutiva, clásica,
prototipo…)
INGENIERIA DE REQUISITOS Maria Carmen Leonardi - 2007
Categorías generales
•Modelización organizacional
•Modelización de datos
•Modelización de comportamiento
•Modelización de dominios
•Modelado explicito de requisitos
No es barato
• Metodologías estructuradas
• Modelización Agil (Constantine & Lookwood)
• RUP/UML – Glosarios (Oberg et. Al)
• Regla 3.5 - “Reglas básicas para la mejora de un Proceso de Requisitos” ( Sommerville
& Sawyer)
Adjudicatario
Nociones:
• Es el adherente que ganó el sorteo y aceptó el bien tipo, teniendo las
cuotas al día, ó ganó la licitación.
Impacto:
• El adjudicatario paga el derecho de adjudicación
• El adjudicatario puede solicitar un cambio del bien tipo adjudicado
• Elige la aseguradora para el seguro de bien tipo.
Nociones:
Vehículo 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.
Transferir plan
Nociones:
Un adherente vende su plan a otra persona.
El adherente tiene que tener sus cuotas al día, y notificar a la
administradora.
Impacto:
Si el adherente no comunica fehacientemente, la administradora
puede rechazar dicha transferencia
Tipos Checklist
Estrategisas Criterio de
de Elicitación orden
Heurística de Lista de fuentes
construcción de información
UdeD LEL
Universo de Discurso
LEL
(UdeD)
Construir Lista de fuentes
de información
Lista DEO
de la validación
UdeD
Validar
1.6
Heurísticas para identificar y clasificar
Estrategias de Elicitación Heurísticas de
Criterios de orden verificación
Lista de fuentes
UdeD Identificar Fuentes de información Heurísticas para
de Información seleccionar símbolos Checklist
1.1 Lista DEO de la validación
Clasificación general
LEL
Criterios de clasificación
Verificar
Símbolos Símbolos
Modelo
1.2
del LEL
Heurísticas de
Lista de representación
símbolos
Clasificar clasificados
Símbolos
1.3 Lista DEO de la verificación
Lista de fuentes de información
Describir LEL
UdeD Símbolos
1.4
A1 Construir
A2
Lista DEO
de la validación
UdeD
Validar
1.6
Heurísticas para identificar y clasificar
Estrategias de Elicitación Heurísticas de
Criterios de orden verificación
Lista de fuentes
UdeD Identificar Fuentes de información Heurísticas para
de Información seleccionar símbolos Checklist
1.1 Lista DEO de la validación
Clasificación general
LEL
Criterios de clasificación
Verificar
Símbolos Símbolos
Modelo
1.2
del LEL
Heurísticas de
Lista de representación
símbolos
Clasificar clasificados
Símbolos
1.3 Lista DEO de la verificación
Lista de fuentes de información
Describir LEL
UdeD Símbolos
1.4
A1 Construir
Tipos
generales
Criterios de
Clasificación
Lista de
Símbolos Definir una Tipos particulares
Clasificación
Tipos
1.3.1 generales
Formato de la noción
de los tipos particulares
Definir Tipos
Formato de comportamiento
Particulares de los tipos particulares Tipos
generales
1.3.2
Lista de Símbolos
Lista de Símbolos Aplicar la clasificados
Clasificación
1.3.3
A 1.3 Clasificar
Lista DEO
de la validación
UdeD
Validar
1.6
Heurísticas para identificar y clasificar
Estrategias de Elicitación Heurísticas de
Criterios de orden verificación
Lista de fuentes
UdeD Identificar Fuentes de información Heurísticas para
de Información seleccionar símbolos Checklist
1.1 Lista DEO de la validación
Clasificación general
LEL
Criterios de clasificación
Verificar
Símbolos Símbolos
Modelo
1.2
del LEL
Heurísticas de
Lista de representación
símbolos
Clasificar clasificados
Símbolos
1.3 Lista DEO de la verificación
Lista de fuentes de información
Describir LEL
UdeD Símbolos
1.4
A1 Construir
• Un símbolo debe tener al menos una referencia/o ser referenciado a/por otro símbolo
Lista DEO
de la validación
UdeD
Validar
1.6
Heurísticas para identificar y clasificar
Estrategias de Elicitación Heurísticas de
Criterios de orden verificación
Lista de fuentes
UdeD Identificar Fuentes de información Heurísticas para
de Información seleccionar símbolos Checklist
1.1 Lista DEO de la validación
Clasificación general
LEL
Criterios de clasificación
Verificar
Símbolos Símbolos
Modelo
1.2
del LEL
Heurísticas de
Lista de representación
símbolos
Clasificar clasificados
Símbolos
1.3 Lista DEO de la verificación
Lista de fuentes de información
Describir LEL
UdeD Símbolos
1.4
A1 Construir
No descartar información