[Pfc-prolog-cvs] prolix-doc/pfc-es/analisis analisis.tex,1.3,1.4 casos_de_uso.tex,1.5,1.6 escenarios
Status: Beta
Brought to you by:
ivanfrade
Menu
▾
▴
[Pfc-prolog-cvs] prolix-doc/pfc-es/analisis analisis.tex,1.3,1.4 casos_de_uso.tex,1.5,1.6 escenarios.tex,1.7,1.8
|
From: <iva...@us...> - 2003-09-04 20:31:06
|
Update of /cvsroot/pfc-prolog/prolix-doc/pfc-es/analisis
In directory sc8-pr-cvs1:/tmp/cvs-serv26004/pfc-es/analisis
Modified Files:
analisis.tex casos_de_uso.tex escenarios.tex
Log Message:
Pasada revision ortografica
Index: analisis.tex
===================================================================
RCS file: /cvsroot/pfc-prolog/prolix-doc/pfc-es/analisis/analisis.tex,v
retrieving revision 1.3
retrieving revision 1.4
diff -C2 -d -r1.3 -r1.4
*** analisis.tex 20 Aug 2003 18:09:37 -0000 1.3
--- analisis.tex 4 Sep 2003 20:31:01 -0000 1.4
***************
*** 1,4 ****
%
! % Coordinacion de la parte de analisis de la documentación
%
%
--- 1,4 ----
%
! % Coordinación de la parte de análisis de la documentación
%
%
Index: casos_de_uso.tex
===================================================================
RCS file: /cvsroot/pfc-prolog/prolix-doc/pfc-es/analisis/casos_de_uso.tex,v
retrieving revision 1.5
retrieving revision 1.6
diff -C2 -d -r1.5 -r1.6
*** casos_de_uso.tex 31 Aug 2003 17:20:21 -0000 1.5
--- casos_de_uso.tex 4 Sep 2003 20:31:01 -0000 1.6
***************
*** 1,4 ****
%
! % analisis::Casos de uso
%
%%%%%%%%%%%%%%%%%%%%%%%%%%
--- 1,4 ----
%
! % análisis::Casos de uso
%
%%%%%%%%%%%%%%%%%%%%%%%%%%
***************
*** 9,13 ****
%Caso de uso:
! \casouso{Cargar programa} Introduccion del programa Prolog en
el sistema
\begin{casosusoEscenarios}
--- 9,13 ----
%Caso de uso:
! \casouso{Cargar programa} Introducción del programa Prolog en
el sistema
\begin{casosusoEscenarios}
***************
*** 24,28 ****
\casosusoEscenario{Alumno avanza un paso la ejecución}
\casosusoEscenario{Alumno visualiza soluciones}
! \casosusoEscenario{Alumno visualiza arbol de representación de las soluciones}
\end{casosusoEscenarios}
--- 24,28 ----
\casosusoEscenario{Alumno avanza un paso la ejecución}
\casosusoEscenario{Alumno visualiza soluciones}
! \casosusoEscenario{Alumno visualiza árbol de representación de las soluciones}
\end{casosusoEscenarios}
***************
*** 63,73 ****
El actor \emph{alumno} es un usuario con conocimientos de programación
lógica, generalmente estudiante de la asignatura <<Lógica>>, que
! pretende utilizar el sistema \texttt{Prolix} a traves de su navegador
preferido, para evaluar sus programas en Prolog y obtener una representación
! gráfica del proceso de resolución. Representa también la figura del profesor actuando como un usuario convencional para introducir sus programas en la libreria.
\subsection{Administrador}
! El actor \emph{administrador} representa a un usuario con responsabilidad de administrar el sistema, pues tendra acceso a la supresión de usuarios y programas sin restricciónes. Generalmente será un rol interpretado por el profesor de la asignatura.
\begin{figure}[hp]
--- 63,73 ----
El actor \emph{alumno} es un usuario con conocimientos de programación
lógica, generalmente estudiante de la asignatura <<Lógica>>, que
! pretende utilizar el sistema \texttt{Prolix} a través de su navegador
preferido, para evaluar sus programas en Prolog y obtener una representación
! gráfica del proceso de resolución. Representa también la figura del profesor actuando como un usuario convencional para introducir sus programas en la librería.
\subsection{Administrador}
! El actor \emph{administrador} representa a un usuario con responsabilidad de administrar el sistema, pues tendrá acceso a la supresión de usuarios y programas sin restricciones. Generalmente será un rol interpretado por el profesor de la asignatura.
\begin{figure}[hp]
Index: escenarios.tex
===================================================================
RCS file: /cvsroot/pfc-prolog/prolix-doc/pfc-es/analisis/escenarios.tex,v
retrieving revision 1.7
retrieving revision 1.8
diff -C2 -d -r1.7 -r1.8
*** escenarios.tex 3 Sep 2003 16:30:01 -0000 1.7
--- escenarios.tex 4 Sep 2003 20:31:01 -0000 1.8
***************
*** 18,22 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 18,22 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno conectado.
\end{itemize}
***************
*** 70,74 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 70,74 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno conectado.
\end{itemize}
***************
*** 178,182 ****
\begin{enumerate}
\item Alumno solicita un nuevo resultado con la opción <<Siguiente solución>>.
! \item El sistema evalua la consulta hasta llegar a solución, o a la conclusión de no haber mas soluciones.
\item El sistema muestra a la solución o mensaje de no haber más soluciones.
\end{enumerate}
--- 178,182 ----
\begin{enumerate}
\item Alumno solicita un nuevo resultado con la opción <<Siguiente solución>>.
! \item El sistema evalúa la consulta hasta llegar a solución, o a la conclusión de no haber mas soluciones.
\item El sistema muestra a la solución o mensaje de no haber más soluciones.
\end{enumerate}
***************
*** 217,221 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\item Programa cargado.
\item Consulta cargada.
--- 217,221 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno en sesión.
\item Programa cargado.
\item Consulta cargada.
***************
*** 226,231 ****
\begin{enumerate}
\item Alumno solicita avanzar un paso en la ejecución.
! \item El sistema evalua la petición.
! \item El sistema muestra el arbol de resolución actualizado.
\end{enumerate}
--- 226,231 ----
\begin{enumerate}
\item Alumno solicita avanzar un paso en la ejecución.
! \item El sistema evalúa la petición.
! \item El sistema muestra el árbol de resolución actualizado.
\end{enumerate}
***************
*** 266,270 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\item Programa cargado.
\item Consulta cargada.
--- 266,270 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno conectado.
\item Programa cargado.
\item Consulta cargada.
***************
*** 305,313 ****
%% Escenario 2.5
! \subsubsection{Alumno visualiza arbol de representación de soluciones}
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\item Programa cargado.
\item Consulta cargada.
--- 305,313 ----
%% Escenario 2.5
! \subsubsection{Alumno visualiza árbol de representación de soluciones}
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno en sesión.
\item Programa cargado.
\item Consulta cargada.
***************
*** 317,321 ****
\begin{enumerate}
\item Alumno solicita representación gráfica de la resolución
! \item El sistema muestra el arbol del resolución en su estado actual
\end{enumerate}
--- 317,321 ----
\begin{enumerate}
\item Alumno solicita representación gráfica de la resolución
! \item El sistema muestra el árbol del resolución en su estado actual
\end{enumerate}
***************
*** 341,345 ****
\psset{labelsep=1.5mm}
\ncline{->}{2,1}{2,2}\naput*{Solicitar representación gráfica}
! \ncline{<-}{3,1}{3,2}\naput*{Mostrar arbol}
\end{psmatrix}
\end{center}
--- 341,345 ----
\psset{labelsep=1.5mm}
\ncline{->}{2,1}{2,2}\naput*{Solicitar representación gráfica}
! \ncline{<-}{3,1}{3,2}\naput*{Mostrar árbol}
\end{psmatrix}
\end{center}
***************
*** 351,360 ****
%% Escenario 3.1
! %% Precondiciones: Haber cargado un porgrama con exito
\subsubsection{Alumno guarda programa en la biblioteca}
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\item Programa cargado.
\end{itemize}
--- 351,360 ----
%% Escenario 3.1
! %% Precondiciones: Haber cargado un programa con éxito
\subsubsection{Alumno guarda programa en la biblioteca}
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno conectado.
\item Programa cargado.
\end{itemize}
***************
*** 365,369 ****
\item El sistema actualiza biblioteca.
\end{enumerate}
! %Item deberia comprobar que no existe un programa con ese nombre!!!
\textbf{Secuencias alternativas:}
--- 365,369 ----
\item El sistema actualiza biblioteca.
\end{enumerate}
! %Ítem debería comprobar que no existe un programa con ese nombre!!!
\textbf{Secuencias alternativas:}
***************
*** 406,410 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 406,410 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno en sesión.
\end{itemize}
***************
*** 440,444 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud borrar programa}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Comprobar permisos}
\ncEVW[offsetA=0,offsetB=0]{->}{reflectc}{reflectd}\ncput*[npos=1.5]{Suprimir programa}
--- 440,444 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud borrar programa}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Comprobar permisos}
\ncEVW[offsetA=0,offsetB=0]{->}{reflectc}{reflectd}\ncput*[npos=1.5]{Suprimir programa}
***************
*** 454,458 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador logeado.
\end{itemize}
--- 454,458 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador conectado.
\end{itemize}
***************
*** 486,490 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud borrar programa}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Suprimir programa}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar biblioteca actualizada}
--- 486,490 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud borrar programa}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Suprimir programa}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar biblioteca actualizada}
***************
*** 499,503 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 499,503 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno conectado.
\end{itemize}
***************
*** 531,536 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud programas propios}
! \ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Busqueda en biblioteca por usuario}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar resultados búsqueda}
\end{psmatrix}
--- 531,536 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud programas propios}
! \ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Búsqueda en biblioteca por usuario}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar resultados búsqueda}
\end{psmatrix}
***************
*** 544,548 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 544,548 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno autentificado.
\end{itemize}
***************
*** 551,555 ****
\item Alumno solicita visualizar la biblioteca.
\item El sistema obtiene todos los programas de la biblioteca.
! \item El sistema muesta el listado con los programas obtenidos.
\end{enumerate}
\begin{figure}[ht]
--- 551,555 ----
\item Alumno solicita visualizar la biblioteca.
\item El sistema obtiene todos los programas de la biblioteca.
! \item El sistema muestra el listado con los programas obtenidos.
\end{enumerate}
\begin{figure}[ht]
***************
*** 575,580 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud todos programas}
! \ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Busqueda en biblioteca}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar resultados búsqueda}
\end{psmatrix}
--- 575,580 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud todos programas}
! \ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Búsqueda en biblioteca}
\ncline{<-}{5,1}{5,2}\naput*{Mostrar resultados búsqueda}
\end{psmatrix}
***************
*** 623,627 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Envio nombre y clave}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Validación}
\ncline{<-}{5,1}{5,2}\naput*{Pagina principal para el usuario}
--- 623,627 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Envío nombre y clave}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Validación}
\ncline{<-}{5,1}{5,2}\naput*{Pagina principal para el usuario}
***************
*** 637,641 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Usuario logeado.
\end{itemize}
--- 637,641 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Usuario conectado.
\end{itemize}
***************
*** 643,647 ****
\begin{enumerate}
\item Usuario solicita salir del sistema.
! \item El sistema cierra la session de usuario.
\item El sistema muestra la página de login de nuevo usuario.
\end{enumerate}
--- 643,647 ----
\begin{enumerate}
\item Usuario solicita salir del sistema.
! \item El sistema cierra la sesión de usuario.
\item El sistema muestra la página de login de nuevo usuario.
\end{enumerate}
***************
*** 669,673 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud salida}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Cerrar sesión}
\ncline{<-}{5,1}{5,2}\naput*{Página de entrada}
--- 669,673 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud salida}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Cerrar sesión}
\ncline{<-}{5,1}{5,2}\naput*{Página de entrada}
***************
*** 683,687 ****
\textbf{Secuencia principal:}
\begin{enumerate}
! \item Usuario completa y envia un formulario con los datos requeridos.
\item El sistema valida los datos, crea el usuario y hace login en el sistema.
\end{enumerate}
--- 683,687 ----
\textbf{Secuencia principal:}
\begin{enumerate}
! \item Usuario completa y envía un formulario con los datos requeridos.
\item El sistema valida los datos, crea el usuario y hace login en el sistema.
\end{enumerate}
***************
*** 733,737 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno logeado.
\end{itemize}
--- 733,737 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Alumno en sesión.
\end{itemize}
***************
*** 770,774 ****
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solititud cambio clave}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Validación}
\ncline{<-}{5,1}{5,2}\naput*{Página inicial del usuario}
--- 770,774 ----
\footnotesize\ttfamily%
\psset{labelsep=1.5mm}
! \ncline{->}{2,1}{2,2}\naput*{Solicitud cambio clave}
\ncEVW[offsetA=0,offsetB=0]{->}{reflecta}{reflectb}\ncput*[npos=1.5]{Validación}
\ncline{<-}{5,1}{5,2}\naput*{Página inicial del usuario}
***************
*** 785,789 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador logeado.
\end{itemize}
--- 785,789 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador conectado.
\end{itemize}
***************
*** 792,796 ****
\item Administrador introduce los datos necesarios y solicita crear nuevo administrador.
\item El sistema comprueba los permisos de Administrador, los datos introducidos, y da de alta al nuevo usuario con permisos de administrador.
! %% que pasa? vuelve a la pagina de login? de administrador? le logea?
\end{enumerate}
--- 792,796 ----
\item Administrador introduce los datos necesarios y solicita crear nuevo administrador.
\item El sistema comprueba los permisos de Administrador, los datos introducidos, y da de alta al nuevo usuario con permisos de administrador.
! %% que pasa? vuelve a la pagina de login? de administrador? le conecta?
\end{enumerate}
***************
*** 841,845 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador logeado.
\end{itemize}
--- 841,845 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador autentificado.
\end{itemize}
***************
*** 889,893 ****
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador logeado.
\end{itemize}
--- 889,893 ----
\textbf{Precondiciones:}
\begin{itemize}
! \item Administrador conectado.
\end{itemize}
|
