Ctedra de An Anlisis de Sistemas

Modelado de Requerimientos SysML

Temario: Presentacin SysML Orgenes - Motivacin Modelado de requerimientos y reglas del negocio con SysML. Diagramas: Bloques de Construccin Relaciones Clasificacin requerimientos FURPS+ El modelado de requerimientos mediante herramientas CASE Ejemplificacin Trazabilidad de los requerimientos modelados con SysML.

SysML System Modeling Language Desarrollado por OMG (Object management Group)
Refrescando temas

Qu es un modelo? Representacin, abstraccin de un aspecto del mundo real, sirve: Documentar Comunicar Entender un sistema Constituye vista simplificada del sistema que representa

SysML

Un modelo tiene
Notacin: Textual Grfica Matemtica Orgenes: Naci como necesidad de modelado de hardware Luego se extendi al modelado del ambito del negocio UML no abarcaba este espacio. (Lenguaje Unificado de Modelado) Se necesitaba usar mayor potencial para modelar el negocio Negocio (espacio donde se desarrolla el problema o el sistema) Cualquier ocupacin en la que se emplea trabajo, atencin o tiempo, relacionado con fines de lucro o inters

SysML
Modelos de Requerimientos => modelan los requerimientos de un sistema ( RF y RNF de manera GRAFICA) Diagrama de Requerimientos permite relacionar requerimientos con otros elementos ms evolucionados que implementen dichos requerimientos Ejemplo: Diagrama de Requerimientos con Diagrama de Casos de Uso

ESTO SE DENOMINA => TRAZABILIDAD

Esto permite conocer los elementos de DISEO e IMPLEMENTACION que son afectados por el CAMBIO DE UN REQUERIMIENTO Se pueden complementar con otros MODELOS para darle mayor EXPRESIVIDAD

SysML: Un requerimiento se puede representar con grafico Existen dos notaciones posibles

Convencin: Prefijo Numeracin Nombre

SysML: Relaciones de Dependencia (entre requerimientos)

Agregacin (composite)
<< composite>>

-------Se usa para descomponer un requerimiento complejo en requerimientos ms simples. Estar satisfecho cuando todos los sub requerimientos estn consolidados. Refinamiento (refine) Es posible detallar el requerimiento utilizando un ejemplo (Caso de Uso/Diagrama de Actividades) Copia (copy) Si se desea reutilizar un requerimiento ya definido en otro diagrama Nota: UML no permite que un elemento se defina con el mismo nombre y tipo en dos diagramas distintos, esto permite dos roles uno maestro y el otro esclavo.

SysML: Relaciones de Dependencia (entre requerimientos)

Derivacin (derive) Cuando del analisis de un requerimiento fuente aparecen nuevos requerimientos Uso (uso, trace) Es una relacin genrica, se utiliza para establecer que dos requerimientos se relacionan de alguna manera. (Utilizar cuando los otros no apliquen) Otras relaciones con otros elementos Verificacin (verify) Se puede especificar los casos de pruba que verifican un requerimiento Satisfaccin (satisfy) Esta relacin puede especificar que un elemento satisface ese requerimiento. Ejemplo: un dispositivo puede satisfacer un requerimiento de control

SysML: Relaciones - Agregacin

Ejemplo en Herramienta CASE Enterprise Architect

SysML: Relaciones (con Reglas y elementos notacionales)

EJERCITACION

A partir de los Requerimientos Planeados, modelar un diagrama de Requerimientos Funcionales y No Funcionales

SysML: Relaciones Ejemplo Cajero Automtico RF1: El cajero deber de procesar retiros RF2: El cajero automtico deber poder imprimir los estados de la cuenta de un cliente RF3: El cajero automtico deber poder ofrecer tiempo aire para telfonos celulares

RNF Facilidades de uso: El cajero automtico deber poder ser usado por personas daltnicas El tiempo de entrenamiento para las personas de soporte tcnico no superar las 8 horas. Los mensajes de error debern de ser mostrados al usuario al menos por 30 Todas las pantallas debern utilizar letra Arial 14 Confiabilidad: Frecuencia de falla a lo sumo dos fallas por ao El cajero al reiniciar despues de error, si hay una tarjeta en el lector se deber recalcular el saldo y verificar que sea el correcto.

Desempeo: El sistema deber validar tarjetas en no ms de 3 segundos Deber validar la clave de usuario en no ms de 5 segundos Si no hay respuesta del sistema 2 minutos, el sistema expulsar la tarjeta El sistema soportar hasta 300 usuarios conectados simultneamente Mantenimiento y pruebas: El mantenimiento deber ser fcil y el cdigo que corre en el cajero escrito deacuerdo a estandar definido. Otros: Cajero adaptarse a varias monedas Deber comunicarse con servidores de diferentes bancos Deber aceptar varios tipos de tarjetas Sistema se desarrollar en C++ Sistema se comunicar con el Banco usando encriptacin de 256 bits Seguridad: Deber proveer mxima seguridad para evitar intrusos en el sistema. El sistema deber ser seguro contra virus Disponibilidad: El sistema deber de estar disponible las 24 horas

Modelado de Requerimientos FURPS+ (Resolucin)

Fuente: http://www.omgsysml.org/ F.Valles-Barajas A Formal Model for the Requirements Diagrams of SysML. IEEE Latin American Transactions. Junio 2010 Apunte Interno Ctedra Diseo de Sistemas