UTN – FRSF – Ing.

en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

Ejercicio 1:
Dada la siguiente máquina de estados que define los estados de un proceso en un sistema operativo:

a) Indique según la máquina en qué estado se encuentra un Proceso cuando es creado.

creado
b) Indique si un proceso puede ser destruido.
destruido En caso de ser afirmativa
iva la respuesta, indique en qué estado
debe estar y qué evento debe ocurrir.
c) Un proceso que esté en estado Ejecución, puede ser sacado de ese estado mediante qué evento?
d) ¿Es posible que mientras un Proceso esté en estado Ejecución, otros procesos estén en estado Listo o
Bloqueado?
e) Un proceso que realizó una llamada bloqueante, ¿puede pasar al estado en Ejecución sin que haya sido
desbloqueado?

Ejercicio 2: Para cada ejercicio indique

i la afirmación correcta.
a) La multiplicidad en un diagrama de clase
a.1) la puedo definir en asociaciones, agregaciones, composiciones y relaciones de
generalización.
a.2) sólo se pueden definir en asociaciones, no en agregaciones, composiciones, ni
generalizaciones
a.3) si no se especifica se supone que es no restringido
a.4) Indica
ndica el número de instancias de una clase que pueden relacionarse con una
única instancia de la clase asociada.
a.5) Ninguna de las anteriores
b) Dado el siguiente diagrama de clases

b.1) Es posible que una orden x esté asociado con un mismo producto z una o más veces
mediante la asociación Vende
b.2) Una orden x puede estar asociado como máximo una vez con un mismo producto z
mediante la asociación Vende
b.3) Una orden x puede asociarse con distintos productos, 1 o más veces con cada uno de
ellos.
b.4) Ninguna de las anteriores

c) Dado el siguiente diagrama,

diagrama ¿por
or cuántos objetos estaría representada una notebook y sus partes?

1
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

c.1) 8 objetos: una instancia de Notebook, una de Computadora, una de Batería, una de
Teclado, una de CPU, una de Monitor, y 2 instancias de Parlante
c.2) 5 objetos, una instancia de Batería, una instancia de Teclado, una instancia de CPU, una
instancia de Monitor, y una instancia de Parlante
c.3) 7 objetos, una instancia de Notebook, una instancia de Batería, una instancia de
Teclado, una instancia de CPU, una instancia de Monitor, y 2 instancias de Parlante
c.4) 6 objetos, una instancia de Batería, una instancia de Teclado, una instancia de CPU, una
instancia de Monitor, y 2 instancias de Parlante
c.5) 6 objetos, una instancia de Notebook, una instancia de Batería, una instancia de
Teclado, una instancia de CPU, una instancia de Monitor, y una instancias de Parlante
c.6) 7 objetos, una instancia de Notebook, una de Computadora, una de Batería, una de
Teclado, una de CPU, una de Monitor, y una de Parlante

d) Una máquina de estado

d.1) permite modelar el ciclo de vida de varios objetos que reaccionan ante eventos.
d.2) realiza
ealiza transiciones entre un numero finito de estados en repuesta a eventos de
una forma bien definida
definida.
d.3) puede utilizarse para describir el comportamiento estático de casos de uso,
colaboraciones y métodos.
métodos
d.4) Ninguna de las anteriores.

e) Dado el diagrama de clases

clase

siendo el contexto Biblioteca,

Biblioteca la expresión
self.ejemplar.publicacion.titulo
e.1) referencia un conjunto de publicaciones (Set(Publicacion))
e.2) referencia un conjunto de String que representan títulos de publicaciones (Set(String))
e.3) es equivalente a self.ejemplar
ejemplar->collect(publicacion)->collect(titulo)
e.4) referencia a una secuencia String que representan títulos de publicaciones
(Sequence(String))
e.5) no es una expresión válida, dado que accede con el operador . a colecciones

Ejercicio 3: Indique si las siguientes afirmaciones son Verdaderas (V) o Falsas (F)
(F), y justifique las
respuestas falsas.
a) Si un objeto x:Ascensor le envía el mensaje realizarViaje() al objeto v:Viaje, entonces en la Clase Viaje
está definida la operación realizarViaje().

2
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

b) Si aplicamos la técnica de sustantivos/verbos para encontrar clases, la identificación de un sustantivo o

una frase nominal en el texto indica potenciales clases o atributos.
c) Los siguientes objetos poseen distintas identidades pero están en el mismo estado

d) La composición es un tipo de relación todo-parte en la que los componentes pueden ser partes de varios
todos, por ejemplo,

un mouse puede ser parte de una notebook y una PcEscritorio.

e) Las siguientes máquinas de estados son equivalentes:

Ejercicio 4:
Dada las siguientes afirmaciones sobre un diagrama de clases, indicar verdadero o falso según corresponda.
Justificar las respuestas falsas.
a) Todas las asociaciones deben poseer especificados los roles en cada extremo.
b) Las asociaciones entre clases son bidireccionales.
c) La multiplicidad se debe indicar en todas las asociaciones y generalizaciones.
d) Las clases de asociación pueden tener definidos atributos y comportamiento.
e) Hay una relación uno a uno con cada requerimiento funcional.
f) Para que exista un vínculo (enlace o link) entre dos objetos (o instancias de clases), debe haber una
asociación entre las clases de esos objetos.
Ejercicio 5: Para cada ejercicio indique la afirmación correcta.
a) Una máquina de estado permite modelar
a.1) el ciclo de vida de varios objetos que reaccionan ante eventos.
a.2) las transiciones entre un numero finito de estados que se realizarían en repuesta a eventos
de una forma bien definida.

3
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

a.3) el comportamiento estático de casos de uso, colaboraciones y métodos

métodos.
a.4) Ninguna de las anteriores

b) Dado el siguiente diagrama

ma de clases

b.1) un mouse puede ser parte de una notebook y una PcEscritorio

b.2) un mouse puede ser parte de una notebook o de una PcEscritorio, pero no de ambos
b.3) un mouse puede existir sin ser parte de una notebook o una PcEscritorio
b.4) no es un diagrama de clase válido

c) Dada la máquina de estado A:

c.1) Es equivalente a la máquina de estado B:

, dado que en ambas máquinas,

estando en Estado 1, ocurre el evento evento y siendo cierta condición, ocurre una
transición al estado Estado 2.
c.2) Es equivalente a la máquina de estado B:

, dado que en ambas máquinas,

estando en Estado 1, y pasa a ser cierta condición, entonces ocurre una transición al
estado Estado 2.
c.3) No es equivalente a la máquina de estado B:

, dado que la máquina B, estando en

Estado 1, no siempre que sea cierto condición, ocurre una transición al estado Estado 2, lo
cual si ocurre en la máquina A.
c.4) Ninguna de las anteriores

d) En un diagrama de secuencia de mensajes, si un objeto x:Ascensor

x:Ascensor le envía el mensaje realizarViaje()
al objeto v:Viaje
d.1) La clase Viaje posee definida la operación realizarViaje()
d.2) La clase Ascensor posee definida la operación realizarViaje()
d.3) Ambas clases tienen definida la operación realizarViaje()
d.4) Ninguna de las anteriores

e) La relación de generalización en UML

e.1) es una relación que siempre posee multiplicidad 1..*, por tal motivo no se especifica
multiplicidad.
e.2) es una relación que admite que el modelador especifique una multiplicidad arbitraria
e.3) es una relación entre clases, por tal motivo no se especifica multiplicidad
e.4) no es un diagrama de clase válido

4
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

f) OCL
f.1) es un lenguaje que puede emplearse para especificar invariantes a ser cumplidas por el
sistema modelado
f.2) es un lenguaje tipado que puede utilizarse para especificar la lógica de operaciones y su
flujo de control
f.3) es un lenguaje utilizado para describir expresiones en modelos UML que permitan cambiar
el estado del sistema.
f.4) Ninguna de las anteriores

g) En UML
g.1) Una clase abstracta es una clase que no tiene instancias directas, pero cuyas clases
descendientes pueden poseer instancias directas.
g.2) Una clase abstracta es una clase que no tiene instancias directas o indirectas. Es decir,
sus descendientes no pueden poseer instancias.
g.3) Una instancia de una clase abstracta es a su vez instancia de todos los antecesores de
esa clase.
g.4) Ninguna de las anteriores

h) La siguiente expresión en OCL, definida en el contexto de SistAdmPensiones del ejercicio 2:

self.pension->select(p | p.capacidad – p.habitantes > 0)
h.1) representa las pensiones con capacidad disponibles, es equivalente a self.pension-
>collect(p.capacidad – p.habitantes > 0)
h.2) representa las pensiones con capacidad disponibles, una bolsa de Pension: Bag(Pension)
h.3) representa las pensiones con capacidad disponibles, un conjunto de Pension: Set(Pension)
h.4) ninguna de las opciones anteriores

Ejercicio 6:
Dado el siguiente diagrama de estados que describe el funcionamiento de un lavarropas automático.

a) Nombre todos los estados indicando si son superestados o subestados.

b) Indique la secuencia de estados desde el estado inicial al final considerando la no presencia del evento
“power cut”.
c) ¿Qué significa el H dentro del estado Running?

Ejercicio 7: Indique si las siguientes afirmaciones relacionadas a los diagramas de clases y objetos son
verdaderas (V) o falsas (F), justificando las sentencias consideradas falsas.
a) Los nombres de los roles (extremos de asociación) sólo son necesarios si no existe nombre de asociación.
b) La multiplicidad es un tipo de restricción UML expresado en las relaciones entre objetos independiente del
tiempo.

5
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

c) Las clases asociación pueden tener atributos y operaciones, pero no asociaciones con otras clases
distintas a la que
e le dieron origen.
origen
d) Según el siguiente modelo:

una figura puede ser instancia de más de una subclase de Figura.

e) La diferencia entre las relaciones de agregación y composición es que en esta última la “parte” no tiene
vida independiente fuera del ““todo”.
f) Si x es una propiedad (atributo o rol/extremo de asociación) definida en la clase ClaseX, sus subclases no
pueden suprimir dicha propiedad.
g) Las siguientes máquinas son equivalentes

Ejercicio 8: Indique si las siguientes afirmaciones son Verdaderas (V) o Falsas (F).
a) Un diagrama de secuencia
a.1) se compone de objetos, mensajes y secuencias de comportamiento de los objetos.
a.2) indica los mensajes entre objetos sin tener en cuenta el orden de estos mensajes.
a.3) es una herramienta útil de análisis para identificar los atributos de las clases.
a.4) Ninguna de las anteriores.

b) Una
a máquina de estados es
b.1) un diagrama UML estático que muestra el ciclo de vida de un objeto.
b.2) un grafo conformado por un conjunto de nodos (estados) y arcos dirigidos (transiciones).
b.3) una máquina no determinística, que indica los diferentes estados por los que transcurre
un proceso de negocio.
b.4) una máquina que no permite realizar una descomposición jerárquica de sus estados.
b.5) Ninguna de las anteriores

c) Dado el diagrama de clase

6
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

siendo el contexto Universidad, la expresión

self.departamento.curso.nombre
c.1) referencia un conjunto de Curso (Set(Curso))
c.2) referencia un conjunto de nombres de cursos (Set(String))
c.3) es equivalente a self.departamento->collect(curso)->collect(nombre)
self.departamento
c.4) referencia a una secuencia de nombres de cursos (Sequence(String))
(Sequence(String))
c.5) no es una expresión válida, dado que accede con el operador . a colecciones

d)) La siguiente expresión en OCL sobre una colección de tipo Bag(Tipo):

colección >iterate(iterador; resultado : Bag(Tipo) = Bag{} |
colección->iterate(iterador;
if expresión then resultado
resultado->including(iterador)
>including(iterador) else resultado endif)
es equivalente a:
d.1) colección->select(iterador
>select(iterador | not expresión)
d.2) colección->forAll(iterador
>forAll(iterador | expresión)
d.3) colección->select(iterador
>select(iterador | expresión)
d.4) colección->collect(expresión)
>collect(expresión)
d.5) Ninguna de las anteriores.

Ejercicio 9: Responda a las siguientes preguntas:

a) ¿Cuál es la utilidad de un Diagrama de Clases en el análisis de un sistema de información?
b) ¿Cuál es la diferencia entre los modelos ESTÁTICOS y DINÁMICOS del sistema? ¿Con qué objetivos se
utiliza cada uno?
c) ¿Qué represento mediante un diagrama de secuencia de mensajes en el análisis de un sistema de
información?

Ejercicio 10:
Teniendo en cuenta el siguiente diagrama de estados, indique para cada afirmación Verdadero o Falso, y
justifique las respuestas falsas.

7
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

a) Cuando la máquina es inicializada, el estado del objeto es Estado1::0s par y Estado1::1s par.
b) Estando la máquina en el estado Estado1::0s par y Estado1::1s par, si ocurre un 0 la máquina evoluciona
al estado Estado1::0s impar. La parte inferior de la máquina se detiene dado que no está definido el
comportamiento para el evento 0.
c) Estado1 es un super estado de la máquina.
d) Estado1 posee 6 subestados posibles.
e) No es posible definir una máquina que no emplee el concepto de super estado y sub estados (una
máquina con estados simples) y represente el mismo comportamiento que el definido en esta máquina.

Ejercicio 11: Indique si las siguientes afirmaciones son Verdaderas (V) o Falsas (F).

a) En un diagrama de clases, los nombres de roles (extremos de asociación).

a.1) sólo son necesarios si no existe nombre de asociación.
a.2) los puedo definir en asociaciones, agregaciones, composiciones y relaciones de
generaliación.
a.3) sólo se pueden definir en asociaciones, no en agregaciones, composiciones, ni
generalizaciones
a.4) Ninguna de las anteriores.

b) La multiplicidad en un diagrama de clase

b.1) restringe el número de objetos de una clase que pueden relacionarse con un objeto de
una clase asociada en cualquier momento en el tiempo.
b.2) restringe el número de objetos de una clase que pueden relacionarse con un objeto de
una clase asociada sólo en el instante de creación del objeto
b.3) se indica en los extremos de las generalizaciones
b.4) la puedo definir en asociaciones, agregaciones, composiciones y generalizaciones
b.5) Ninguna de las anteriores

c) Según el siguiente modelo

8
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

c.1) El objeto :Planificador es instancia de la clase Planificador y existe previo a la recepción

del mensaje insProc
c.2) El objeto :Planificador es instancia de la clase Planificador y es creado con la recepción
del mensaje insProc
c.3) La entidad :Planificador representa la clase Planificador y existe previo a la recepción del
mensaje insProc
c.4) La entidad :Planificador representa la clase Planificador y es creada con la recepción del
mensaje insProc
c.5) Ninguna de las anteriores.

d) Según el siguiente modelo

9
UTN – FRSF – Ing. en Sistemas de Información
Análisis de Sistemas Ejercicios de Examen Parcial 3

d.1) La redefinición del atributo inscriptos en la clase CursoGrado es una redefinición

válida y no viola lo especificado en Curso.
d.2) Las subclases no pueden modificar las propiedades definidas en la superclase. En
consecuencia el modelo no es válido.
d.3) Las subclases sólo pueden suprimir y agregar propiedades, no modificarlas. En
consecuencia el modelo no es válido.
d.4) Las subclases sólo pueden agregar propiedades, no modificarlas. En consecuencia
el modelo no es válido.
d.5) Ninguna de las anteriores

e) Según el siguiente modelo, con el contexto en Empresa, la siguiente expresión siempre es true

e.1) self.producto.vendedor->forAll(v|self.vendedor->includes(v))
e.2) self.produce.vende->forAll(v|self.trabaja->includes(v))
e.3) self.producto.vendedor = self.vendedor
e.4) self.produce.vende = self.trabaja
e.5) Ninguna de las anteriores.

10