Modelado de Software con UML2.0 - Universidad Autónoma de ...

More documents

Recommendations

Info

Ejemplos Flight Flightnr: Integer availableSeats(): Integer 0 0.. * flights 1 plane Airplane numberOfSeats: Integer flights 0 0.. * passengers 0..* PPerson name: String También es un lenguaje de consultas (mismo poder expresivo que SQL). Context Flight::availableSeats(): Integer body: plane.numberOfSeats – passengers->size() ¿Cómo se expresa el hecho de que en ningún vuelo puede haber más pasajeros p j que q asientos tiene el avión? Restricción OCL: Context Flight Inv: passengers->size() isUnique(numSegSoc) Context Persona::contratarHipoteca(sum: Dinero, aval: Casa) pre: self.hipotecas.mensual->sum()+sum = aval.hipotecas.principal->sum() 113 115 Ejemplos Casa Persona valor: Dinero 0 0.. * casas 1 numSegSoc: S S Identificador Id ifi d propietario sueldo: Dinero aval 1 Hipoteca principal: Dinero contratarHipoteca(sum: Dinero, aval: Casa) ) 1 contratante 0..* mensual: Dinero 0..* hipotecas fechaInicio: Fecha fechaFinal: Fecha hipotecas Reglas adicionales: 1. Una persona puede tener una hipoteca sobre una casa sólo si es el propietario. 22. La fecha de inicio de cada hipoteca ha de ser menor que la de final final. 3. El número de la seguridad social de cada persona ha de ser único. 4. Sólo es posible contratar una nueva hipoteca si el salario de la persona es suficiente. 5. Sólo es posible contratar una nueva hipoteca si el valor de la casa aval es suficiente. Ejemplos “Los PCs pueden conectarse con un único Hub, los servidores con uno o varios” Context PC Inv: cable_equipo->size() = 1 Context Servidor Inv: cable_equipo->size() >= 1 114 116
Ejercicio “Un Hub no puede conectarse consigo mismo a través de un puerto” Context Cable_Hubs Inv: Puerto_Hub.hub->asSet()->size() = 2 Ejemplos EEspecificación ifi ió ddel l valor l iinicial i i l y dderivado i d dde atributos/association t ib t / i ti ends: d context Person::income : Integer init: parents.income->sum() * 1% -- pocket allowance dderived:if i d if self.age lf < 18 then parents.income->sum() * 1% -- pocket allowance else job.salary -- income from regular job endif Subexpresiones (let): context Person inv: let income : Integer = self.job.salary->sum() in if isUnemployed then income < 100 else income >= 100 endif 117 119 Ejemplos parents 0..* children 0..* Ejemplos Ejemplos. Colecciones. Colecciones Tipos: Set, OrderedSet, Bag, Sequence. Operaciones de bucle con colecciones: select(expr): selecciona los elementos que cumplan una condición. coleccion->select( expresion-logica ) coleccion->select( l i l t( v | expresion-logica-con-v) i l i ) coleccion->select( v : Type | expresion-logica-con-v) context t t CCompany iinv: self.employee->select(age < 25)->notEmpty() context Company inv: self.employee->select(gender=female)->notEmpty() 118 120
Page 1 and 2: Modelado de Software con UML2.0 Int
Page 3 and 4: Tipos de Diagramas Indice Introduc
Page 5 and 6: Clases Métodos NNotación t ió p
Page 7 and 8: Clases y Objetos j Estilo Los atri
Page 9 and 10: Interfaces Clase Objetos MiInterfa
Page 11 and 12: Estructuras Compuestas CComposici
Page 13 and 14: Despliegue p g Relaciones entre art
Page 15 and 16: Casos de Uso: Ejemplo cajero TPV Pr
Page 17 and 18: Diagramas de Secuencia RRepresenta
Page 19 and 20: Diagramas g de Secuencia Operadores
Page 21 and 22: Tiempo Máquinas de Estados “St
Page 23 and 24: Máquinas q de Estados Estado Hist
Page 25 and 26: Ejercicio Interface provisto por e
Page 27: Diagramas de Actividad Swimlanes In
Page 31 and 32: Acción Semántica Una parte del m
Page 33 and 34: Ejemplo j p Definiendo un perfil Si
Page 35: Bibliografía: Statecharts Harel D

Modelado de Software con UML2.0 - Universidad Autónoma de ...

You also want an ePaper? Increase the reach of your titles

Delete template?

Save as template?