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

More documents

Recommendations

Info

Ejemplos Ejemplos. Colecciones. Colecciones collect(expr): devuelve la colección que resulta de evaluar expr para cada elemento de la colección fuente. self self.employee->collect( employee >collect( birthDate ) )->asSet() >asSet() forAll(expr): devuelve verdadero si expr es verdadero en cada elemento de la colección. coleccion->forAll( expresion-logica ) coleccion->forAll( v | expresion-logica-con-v ) coleccion->forAll( v : Type | expresion-logica-con-v ) context Company inv: self.employee->forAll( isUnemployed = False ) inv: self.employee->forAll( p | p.isUnemployed = False ) iinv: self.employee->forAll( lf l >f All( p : Person P | p.isUnemployed i U l d = FFalse l ) Colecciones Colecciones. Otras Operaciones Operaciones. Otras operaciones p de bucle: source->any(iterator|body) source->select(iterator|body)->asSequence()->first() source->collectNested(iterators|body) source collectNested(iterators|body) Bag de elementos que resultan de aplicar body a cada elemento de source. source->isUnique(iterators|body) ( | y) True si body se evalua a un valor diferente para cada elemento de source. source->one(expr) Devuelve true si existe exactamente un elemento de source que cumple la condición. source->reject(expr) Devuelve una colección con los elementos de source que no cumplen la condición. source->sortedBy(expr) Ordena source, source resulta en un OrderedSet 121 123 Ejemplos Ejemplos. Colecciones. Colecciones exists(expr): devuelve true si al menos hay un elemento en la colección para el que expr es verdadera verdadera. coleccion->exists( expresion-logica ) coleccion->exists( v | expresion-logica-con-v ) coleccion->exists( v : Type | expresion-logica-con-v ) context Company inv: self.employee->exists( age > 50 ) inv: self.employee->exists( p | p.age > 50 ) inv: self.employee->exists( p : Person | p.age > 50 ) iterate(…): itera sobre todos los elementos de una colección. coleccion->iterate( elem : Type; acc : Type = | expresion-logica- con-elem-y-acc l ) collection->collect(x : T | x.property) collection->iterate(x ( : T; ; acc : T2 = Bag{} g{} | acc->including(x.property)) g( p p y)) Indice Introducción. Diagramas de Clases y Objetos. Otros Diagramas. g OCL. Acción Acción Semántica. Perfiles. Bibliografía g Lecturas sugeridas/ejercicios. añade un elemento a una colección 122 124
Acción Semántica Una parte del meta meta-modelo modelo de UML contiene la especificación de un lenguaje para la manipulación de modelos (i.e. sólo la sintaxis abstracta). Modelos similares a los de flujo de datos. Permite describir el contenido de métodos, y acciones ejecutables en un lenguaje abstracto, antes de la iimplementación. l ió Se persigue un modo estándar estándar, independiente de la plataforma y de la implementación de especificar comportamientos detallados. 125 ¿Primer paso hacia la “ejecutabilidad” de modelos UML? Acción Semántica Actividades. Ejemplo. Sintaxis abstracta (parcial) 127 (De C. Bock) Acción Semántica AAcciones i y Actividades. A ti id d Acción: Unidad fundamental de comportamiento. p Convierte un conjunto de entradas en un conjunto de salidas salidas. Las entradas pueden ser salidas de otras acciones (dataflow). LLas acciones i están tá contenidas t id en actividades, ti id d que lles proporcionan un contexto, así como restricciones de secuencialidad y control, y mecanismos de estructuración anidada. id d Lenguaje de acción semántica: acciones primitivas+mecanismos de estructuración de 126 las actividades. Acción Semántica Actividades. Ejemplo. Sintaxis abstracta (parcial) 128
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 and 28: Diagramas de Actividad Swimlanes In
Page 29: Ejercicio “Un Hub no puede conect
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 ...

Create successful ePaper yourself

Delete template?

Save as template?