Caracterización del flujo de eventos de casos de uso. Identificación

!"
#
Introducción
3
+
+
,
(
*
#
+ +
+
$
+
#
,
+
*
#
+ * ,
*
,
+
0
,
/
+ +
3
+
+
23 4
+ *
,
* 5 3
*
6
*
$
/
#/
,#
8
+ # #
+
/
6+
(
' 9
3
*
/
.
#
-
+
$
-
3
= ,
.
+
,
.
$
base
1. El ac "bibliotecario" v "solicita" al sistema el "registro de la devolución"
2. El sistema v "solicita" el "isbn" y el "titulo"
3. El ac "bibliotecario" v "ingresa" el "isbn" y el "titulo"
4. El sistema v "verifica" el "estado" del “libro”
5. si["fechaActual>fechaDevolución"]
5.1. El sistema v "modifica" el "estado" al "socio"
5.2. El sistema v "modifica" el "estado" del "libro"
fin
6. si["fechaActual<= fechaDevolución"]
6.1. El sistema v "modifica" el "estado" del "libro"
fin
7. El sistema v "informa" el "registro de la devolución" al ac "bibliotecario"
-
* ,
3
+
(#
+
.
.
3
$
6 + +
+
- *
>/
/
6+
3 /
-
Resultados
-
*
(
/
3
+
+
(
+
.
-
4,
+
FlujoDeEventos = {CaminoBase | CaminoAlternativo|};
CaminoBase = "base" {Paso|};
Paso = <code> (SentenciaSimple | SentenciaEspecial | Include);
SentenciaSimple = ArticuloSujetoAcción (Destinatario|) {Complemento |};
Articulo = ("el" | "los" | "la" | "las" | "un" | "una" | "unos"| "del");
Sujeto = ("sistema" | Actor | Clase );
Actor = "ac" <string>;
Clase = <string>;
Include = "incluye" NombreCU;
Extend = "extiende" NombreCU;
NombreCU = ("caso" "de" "uso") <string>;
CaminoAlternativo = "alternativo" Condición ({Paso|} Extend) Retorno;
Condición = "[" <string> "]";
Retorno = "return" <code>;
Acción = "v" <string>;
Destinatario = Preposición ("sistema" | Actor | Clase |);
Complemento = Articulo ("sistema" | Actor | Clase)("y"|);
% Preposición = ("al" | "en" | "a");
SentenciaEspecial = ("mientras" | "si") Condición {Paso|}"fin";
.
+
/
2
$
( +
+
1
+ #
+
+
<
* ,
+ 0
+
;
<
* +
+
+
7
#
$
Propuesta
+
:
+
+
*
/
+
+
3
+
# $
+
-
9'3
+ .
.
+
$
+
+
+
,
6 + +
/
3
+
-
.
.
.
+
+
+
+
- .
,
.
*
/
%
*
*
+ $
$
=
run:
FlujoDeEventos (
CaminoBase ([keyword "base"]
Paso ([code "1."]
SentenciaSimple (
Articulo ([keyword "el"])
Sujeto (Actor ([keyword "ac"][string "bibliotecario"]))
Accion ([keyword "v"][string "solicita"])
Destinatario (Preposicion ([keyword "al"])[keyword "sistema"])
Complemento (Articulo ([keyword "el"])
Clase ([string "registro de la devolucion"]))))
Paso ([code "2."]
SentenciaSimple (
Articulo ([keyword "el"])
Sujeto ([keyword "sistema"])
Accion ([keyword "v"] [string "solicita"])
Complemento (Articulo ([keyword "el"])
Clase ([string "isbn"]))
Complemento (Articulo ([keyword "del"])
Clase ([string "libro"]))))
Paso ([code "3."]
SentenciaSimple (
Articulo ([keyword "el"])
Sujeto (Actor ([keyword "ac"] [string "bibliotecario"]))
Accion ([keyword "v"] [string "ingresa"])
Complemento (Articulo ([keyword "el"])
Clase ([string "isbn"]))))
Paso ([code "4."]
SentenciaSimple (
Articulo ([keyword "el"])
Sujeto ([keyword "sistema"])
Accion ([keyword "v"] [string "verifica"])
Complemento (Articulo ([keyword "el"])
Clase ([string "estado "]))
Complemento (
Articulo ([keyword "del"])
Clase ([string "libro"]))))
3
>
Conclusiones
+
/
3
+
+
#
+ +
#
8
#
,
,
+
+
1
#?
%&
'
#
(
)
/
+
(
$
3
+
+
#
*
<
*
+
+
+
.
1
.
.