Source: http://docplayer.es/1688159-Traductor-de-especificaciones-xml-de-redes-de-petri-coloreadas-a-un-lenguaje-para-la-resolucion-de-problemas-de-optimizacion.html
Timestamp: 2017-07-21 23:04:40+00:00

Document:
Traductor de Especificaciones XML de Redes de Petri Coloreadas a un Lenguaje para la Resolución de Problemas de Optimización. - PDF
Traductor de Especificaciones XML de Redes de Petri Coloreadas a un Lenguaje para la Resolución de Problemas de Optimización.
Download "Traductor de Especificaciones XML de Redes de Petri Coloreadas a un Lenguaje para la Resolución de Problemas de Optimización."
Montserrat Figueroa Montes
1 Traductor de Especificaciones XML de Redes de Petri Coloreadas a un Lenguaje para la Resolución de Problemas de Optimización. Memoria del proyecto de Ingeniería en Informática realizado por Jaime Ruiz Sánchez y dirigido por Mercedes Elizabeth Narciso Farias del Departamento de Telecomunicación e Ingeniería de Sistemas Bellaterra,...de...de2 Firmante Mercedes Elizabeth Narciso Farias Profesora de la Escuela Técnica Superior de Ingeniería de la UAB, CERTIFICA: Que el trabajo al que corresponde esta memoría ha sido realitzado bajo su dirección por Jaime Rúiz Sánchez Y para que así conste firma la presente. Firma: Bellaterra,...de...de3 34 Las grandes obras son hechas no con la fuerza, sino con la perseverancia. Samuel Johnson 45 Dedicatoria A mis padres por apoyarme y ayudarme en cada momento. A mis hermanos por aportarme su experiencia de la vida. A Lisa que ha llenado mi vida de amor. T estimo. A mis amigos que han estado ahí en todo momento. Agradecimientos A la profesora Mercedes Elizabeth Narciso por la ayuda recibida para completar este proyecto. Al profesor Sergi Robles que ha sabido encontrar la mejor forma de transmitir conocimientos a sus alumnos. 56 Tabla de contenidos Capítulo 1 Introducción Motivación Objetivo Estado del arte Organización de la memoria Capitulo 2 Estudio de viabilidad Requerimientos funcionales Requerimientos de software y hardware Planificación temporal del proyecto prevista Costos del proyecto Detalle costes del proyecto Detalle costes mantenimiento/ampliaciones del traductor Conclusiones del estudio de viabilidad Capítulo 3 Fundamentos teóricos Sistema de Eventos Discretos (SED) Redes de Petri Coloreadas Definición formal de Red de Petri Coloreada Redes de Petri Coloreadas Temporales Árbol de alcance CPN Tools Lenguaje XML Lenguaje para la Especificación de Redes de Petri Coloreadas Definición Formal del Lenguaje Capítulo 4 Desarrollo del traductor Análisis de requerimientos Evaluación y estudio de la herramienta CPN Tools Proceso de traducción Diagramas de clases Diseño del traductor Estructura de datos Diagramas de actividades Diagrama de secuencia Visualización del fichero con la traducción Implementación Pruebas Pruebas unitarias Pruebas funcionales Pruebas de integración Pruebas de validación Capítulo 5 Manual de usuario Instalación del traductor Interfaz de usuario Descripción de los menús Menú Archivo7 Menú Edición Menú Ver Menú Ayuda Menú secundario Descripción de la barra de herramientas Descripción de la barra de estado Ventana vista preliminar Descripción de la barra de herramientas de la vista preliminar Introducción de texto Ajustes de ventana Finalización de la ejecución Obtención de la Red de Petri Coloreada en XML Obtención de la traducción de la Red de Petri Coloreada Cambiar la vista XML a ASCII y de ASCII a XML Aspectos de la traducción Guardar un fichero Configuración de la impresora Resolución de problemas Capítulo 6 Ejemplo de diseño y traducción de una Red de Petri Coloreada Especificaciones del problema a modelar Pasos para la realización de una traducción Resultado obtenido de la traducción del sistema Job Shop Capítulo 7 Conclusiones Objetivos cumplidos Posibles ampliaciones Conclusiones generales Anexo A Descripción de clases A.1 Clase nodo_lugar A.2 Clase transición A.3 Clase arco A.4 Clase color A.5 Clase función A.6 Clase variable A.7 Clase red_petri Anexo B Sintaxis de la gramática generadora del lenguaje de especificación RPC B.1 Sintaxis de Especificación del Número de Sub-árboles B.2 Sintaxis de Especificación del Número de Niveles B.3 Sintaxis de Especificación de la Banda de Costo B.4 Sintaxis de Especificación de la Banda de Tiempo B.5 Sintaxis de Definición de Constantes B.6 Sintaxis de Declaración de Conjuntos Color B.7 Sintaxis de Declaración de Variables B.8 Sintaxis de Definición de Funciones B.9 Sintaxis de Definición de Nodos Lugar B.10 Sintaxis de Definición de Nodos transición B.11 Sintaxis de Definición de Arcos Bibliografía Resum8 Capítulo 1 Introducción 1.1 Motivación La optimización combinatoria estudia el modelado y solución algorítmica de problemas donde se busca maximizar (o minimizar) una función de varias variables definidas sobre un conjunto discreto, muchos de los problemas de optimización combinatoria han sido considerados problemas NP-Hard. Los problemas NP-hard o NP-difícil (Nondeterministic Polynomial time), son problemas para los cuales todos los algoritmos actualmente disponibles para encontrar soluciones óptimas a ellos requieren un número de pasos computacionales que crece exponencialmente con el tamaño del problema, el número de variables de decisión o el número de combinaciones de valores de las variables de decisión. Este proyecto surge de la idea de intentar resolver problemas de optimización combinatoria a partir de modelos de redes de Petri Coloreadas (RPC). Para ello se intenta facilitar la creación de modelos RPC, usando la herramienta de diseño gráfico CPN Tools [3] (Colored Petri Net Tools), para su posterior utilización como entrada a un simulador/optimizador de sistemas modelados con RPC. Este proyecto forma parte de un Sistema de Ayuda a la Toma de Decisiones (en adelante SATD) [6,7] que permite evaluar diversas estrategias heurísticas de búsqueda para conseguir la mejor configuración de las variables de decisión de un problema de optimización, que pueda ser concebido como un Sistema de Eventos Discretos (SED). El formalismo de RPC se utiliza para representar el conocimiento que el experto tiene sobre el sistema. 89 Figura 1. Principales componentes del SATD. Este SATD consiste en un entorno de simulación basado en el modelado de un SED usando RPC, a fin de explotar las características de representación y análisis de este formalismo de modelado de sistemas para la resolución de problemas de optimización. La Figura 1 muestra los componentes del SATD que permite la evaluación de diferentes algoritmos heurísticos de búsqueda para encontrar soluciones a problemas de planificación, scheduling o routing de sistemas logísticos [7]: El modelo RPC: se describe sintácticamente (codifica) en un fichero ASCII. Para ello se ha diseñado tanto un lenguaje [7] (ver anexo B) de especificación de RPC que permite codificar el modelo, como un intérprete de dicho lenguaje, de tal forma que el modelo codificado pueda ser suministrado como entrada al simulador. La ejecución del SATD da como resultado, si se trata de un sistema pequeño, la mejor secuencia de transiciones (eventos, actividades) para conducir el sistema desde el estado inicial hasta el estado final (óptimo global). En el caso de sistemas complejos, mediante el uso de heurísticas la herramienta ofrece soluciones bastante próximas al óptimo (soluciones factibles u óptimos locales), cuando las heurísticas diseñadas son eficaces. 910 1.2 Objetivo El objetivo de este proyecto es desarrollar un traductor para Redes de Petri Coloreadas a partir de un fichero generado mediante la herramienta de modelado y simulación de RPC: CPN Tools[3]. El traductor deberá generar como resultado un fichero de texto con las especificaciones de la RPC con la estructura requerida por un lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC [6] que forma parte del SATD. Este traductor tendrá una interfaz gráfica para seleccionar el fichero XML [4] que contiene cualquier RPC generada por CPN Tools que se desee traducir. Los ficheros generados por el traductor deberán ser validos para la sintaxis del lenguaje interpretado por el simulador/optimizador de RPC. [7] El traductor que se desarrollará en este proyecto formará parte del SATD, siendo el elemento del sistema que proporcione los ficheros en ASCII con la codificación de la RPC. Los datos que manejará el traductor serán ficheros XML proporcionados por la herramienta de modelado gráfico CPN Tools. La interfaz del traductor con la vista XML permitirá abrir, modificar, guardar y traducir los ficheros XML. En cambio con la vista ASCII permitirá abrir, modificar y guardar los ficheros ASCII con la codificación de la RPC, pudiendo pasar rápidamente de la vista XML a la vista ASCII y viceversa. 1.3 Estado del arte Una buena herramienta para el diseño gráfico de RPC es CPN Tools, sin embargo tal herramienta no puede calcular una solución para un problema modelado mediante RPC, ya que resulta complicado y tedioso seguir paso por paso cada uno de los estados de la RPC. Para seguir los estados se ha de modificar la RPC para que copie en un fichero los diferentes estados y buscar en el fichero los estados que son solución y recorrer en orden inverso los diferentes estados hasta llegar al estado inicial, todo este recorrido se ha de hacer de forma manual. 1011 Con la finalidad de aprovechar la facilidad de modelado gráfico, con la posibilidad de obtener la solución de un problema de optimización se ha desarrollado el Sistema de Ayuda a la Toma de Decisiones (SATD), este traductor consigue unir un fichero creado en CPN Tools al lenguaje de especificaciones del SATD. 1.4 Organización de la memoria En el segundo capítulo de la memoria se presenta el estudio de viabilidad del proyecto. En el tercer capítulo se explican los fundamentos teóricos para el desarrollo de este proyecto: las Redes de Petri Coloreadas, lenguaje XML, la herramienta CPN Tools, etc. El cuarto capítulo explica el desarrollo seguido para la creación del traductor. En el quinto capítulo está detallado el manual de usuario. En el sexto capítulo muestra un ejemplo de traducción de una RPC en CPN Tools y traducida al lenguaje de especificaciones del fichero de entrada a un simulador/optimizador. En el séptimo capítulo están las conclusiones del proyecto. 1112 Capítulo 2 Estudio de viabilidad En este capítulo se explican los requisitos funcionales y tecnológicos que se necesitan para desarrollar el traductor así como la planificación de tiempo prevista y los costos directos del proyecto. 2.1 Requerimientos funcionales El traductor debe tener como entrada y ser capaz de reconocer ficheros de una RPC en formato XML [4] creados por la herramienta CPN Tools [3], que el traductor deberá traducir en forma de fichero de salida en formato ASCII a un lenguaje interpretado por un simulador/optimizador de RPC diferente de CPN Tools. La figura 2 muestra un esquema que describe el marco del proyecto. Además el traductor deberá contar con una interfaz gráfica para interactuar con el usuario. 2.2 Requerimientos de software y hardware Sistema operativo: Windows XP (o superior). Espacio de en el disco: >2 Megas Memoria ram: >= 512 Megas Este programa ha sido desarrollado en Microsoft Visual Studio C++ [1] por ser el lenguaje de desarrollo del SATD (descrito en el capítulo 1) con miras a una futura integración con el mismo. 1213 Figura 2. Esquema que resume la función del traductor. 2.3 Planificación temporal del proyecto prevista Fase de análisis del sistema 16/10/08 a 30/10/08 Evaluación y estudio de la herramienta de CPN Tools. 30/10/08 a 13/11/08 Evaluación y estudio de los ficheros XML generados por CPN Tools. 13/11/08 a 04/12/08 Diseño de varias redes de Petri Coloreadas en CPN Tools. 04/12/08 a 11/12/08 Evaluación y análisis del lenguaje de espeficicaciones del 1314 fichero de entrada al simulador/optimizador. Fase de diseño del sistema 11/12/08 a 14/01/08 Diseño del sistema. Fase de implementación del sistema 14/01/08 a 05/02/09 Implementación del sistema. Fase de pruebas y mejoras del sistema 05/02/09 a 26/02/09 Pruebas y modificaciones. 26/02/09 a 16/03/09 Verificación del sistema. Fase de documentación 16/03/09 a 14/04/09 Memoria. 21/04/09 a 28/04/09 Modificaciones de la memoria. 2.4 Costos del proyecto Detalle costes del proyecto nº horas precio/h total Importe por el tiempo dedicado al estudio de la viabilidad del PFC 2 60,00 120,00 Importe por el tiempo dedicado al diseño de software 40 30, ,00 Importe por el tiempo dedicado a la implementación del software , ,00 Importe por el tiempo dedicado a la depuración del ,00 1415 software Importe por el tiempo dedicado a pruebas funcionales ,00 Importe por el tiempo dedicado a la confección de documentación ,00 Importe del software utilizado (a 1 ) 0,00 Importe de los gastos generales y amortización del equipo 307,52 Suma costes PFC 8.587,52 Tabla 1. Relación costes/hora a 1 ) La herramienta CPN Tools tiene una licencia de uso sin costes. La licencia para usar MS Visual Studio C++ fue proporcionada por Microsoft al ser estudiante de la comunidad de la UAB Detalle costes mantenimiento/ampliaciones del traductor Modificación muy sencilla 15,00 Modificación sencilla 30,00 Modificación dificultad media 50,00 Modificación alta dificultad 80,00 Modificación muy alta dificultad 120,00 Compatibilidad con otra herramienta de edición RPC que no sea CPN Tools 500,00 Mantenimiento por 12 meses del software (a 2 ) 1.700,00 Tabla 2. Relación servicio/precio a 2 ) En ningún caso el mantenimiento incluirá la compatibilidad con otras herramientas de edición RPC. 1516 2.5 Conclusiones del estudio de viabilidad Se determina como viable la realización del traductor de especificaciones XML de RPC a un lenguaje para la resolución de problemas de optimización en el periodo de tiempo previsto. 1617 Capítulo 3 Fundamentos teóricos En este capítulo se describen los fundamentos teóricos necesarios para el desarrollo del traductor. 3.1 Sistema de Eventos Discretos (SED) Un sistema de eventos discretos se caracteriza en que las propiedades de interés del sistema cambian únicamente en una secuencia de instantes de tiempo y, se puede considerar que permanecen constantes el resto de tiempo. La secuencia de instantes en los cuales el estado del sistema puede presentar un cambio (eventos), obedece a un patrón aleatorio. Los SED se modelan mediante el formalismo de RPC. 3.2 Redes de Petri Coloreadas Las Redes de Petri Coloreadas fueron desarrolladas en la década de los 80 por Kurt Jensen, profesor y jefe del Departamento de Ciencias de la Computación en la Universidad de Aarhus, Dinamarca [1]. En el marco de ese departamento nace CPN Tools [3], una herramienta de para el modelado y simulación RPC. Las Redes de Petri Coloreadas son un formalismo para el modelado analítico de sistemas que presentan concurrencia, sincronización y recursos compartidos. Las Redes de Petri Coloreadas permiten representar gráficamente comportamientos se sistemas simples o complejos que facilitan a los analistas tomar decisiones oportunas y eficientes sobre el sistema modelado. La representación se forma a través de elementos simples, relaciones y reglas. Ejemplos típicos de áreas de aplicación son protocolos de comunicación, teoría de grafos, problemas de transporte, sistemas de producción automatizada y análisis de flujo de trabajo entre otros. Los elementos de modelado que se encuentran en una Red de Petri Coloreada son: 1718 Nodos lugar: Representados gráficamente por círculos o elipses y se utilizan generalmente para describir colas de espera, así como los recursos y actividades que pertenecen al sistema. Arcos: Representados gráficamente por flechas y se utilizan para conectar nodos lugar con transiciones o viceversa, pero en ningún caso conectará dos nodos lugar o dos transiciones entre si. Un arco de entrada tiene como origen un nodo lugar y como destino una transición y un arco de salida tiene como origen una transición y como destino un nodo lugar. A los arcos se les asocia un peso que son los tokens. Transiciones: Representados gráficamente por rectángulos y se utilizan para representar eventos y actividades que se suceden en el sistema. Una transición está habilitada solo cuando en todos los nodos lugar que tienen un arco hacia la transición (nodos lugar de entrada) hay el número suficiente de tokens como indique el arco correspondiente. Una transición habilitada puede ser disparada en cualquier momento. El disparo de una transición consiste en quitar los tokens de los nodos lugar de entrada a la transición como indique el arco que une la transición con el nodo lugar y añadir tokens a los nodos lugar a los que apunte un arco de salida. Marcas o Tokens: Representados gráficamente por tuplas y representan las entidades que fluyen a través del sistema. Conjunto color: Permiten modelar el tipo de información asociada a las entidades del sistema. Representados gráficamente con el nombre del conjunto color junto al nodo lugar. Estado inicial: se determina evaluando las expresiones de inicialización asociadas a cada nodo lugar, las cuales determinarán el número de marcas en cada nodo lugar, así como los valores de los colores de las marcas que representan el estado inicial del sistema. 1819 Expresiones de arco: Permiten especificar una o varios tokens asociados al nodo lugar de donde sale el arco que habilita el evento asociado a la transición o bien especifica como será el o los tokens asociados al nodo lugar a los que apunta el arco después que ocurre el evento asociado a la transición. Guardas: Son funciones booleanas que están asociadas a las transiciones que se verifican condiciones que se deben cumplir para que ocurra un evento representado por una transición. Marcado: es la especificación del número de marcas en cada nodo lugar, así como los valores de los colores de cada una de las marcas. Representa la información mínima y necesaria para poder predecir cuales son los posibles eventos y/o actividades que pueden producirse. El marcado inicial (estado inicial del sistema) se identifica como M Definición formal de Red de Petri Coloreada La definición formal de una Red de Petri Coloreada es: CPN = {S, P, T, A, N, C, G, E, I} S = {c 1,...,c nc }, conjunto finito no vacío de conjuntos color. P = {p 1,...,p np }, conjunto finito no vacío de nodos lugar. T = {t 1,...,t nt }, conjunto finito no vacío de transiciones. A = {a 1,...,a na }, conjunto finito no vacío de arcos. N = función de nodo, N(a i ) asigna al arco a i sus nodos terminales origen y destino. C = función de color, C(p i ) asigna al lugar p i un conjunto color. G = función booleana asociada a las transiciones. Es necesario que G(t i ) se evalúe a Cierto para que la transición t i se pueda habilitar. E = Expresiones asociadas a los arcos. I = función de inicialización, I(p i ) indica el conjunto de marcas iniciales en p i. En la figura 3 se ha representado una RPC con dos nodos lugar (G1 y G2), una transición (T1) que está habilitada por que se cumplen las condiciones de los arcos de 1920 entrada: el arco que sale de G1 con la expresión 1`(a) y el arco que sale de G2 con la expresión 2`(b,0) y también se cumple la función guarda [a = b], el resultado del disparo de la transición T1 se muestra en la figura 4. Figura 3. Representación de una RPC. Cuando es disparada la transición T1, al nodo lugar G2 se le resta una marca del tipo 1`(1,0) y al nodo lugar G1 se le resta su única marca 1`(1), tras el disparo el nodo lugar G2 gana una marca, por lo que se queda con las marcas 1`(1,0) y 1`(1,1). Figura 4. Representación de una RPC después del disparo de una transición. 2021 3.3 Redes de Petri Coloreadas Temporales Redes de Petri Coloreadas temporales son redes de Petri en las que se introduce el tiempo en forma de retardo asociado a una transición y también asociando a cada token un valor de tiempo (sellos de tiempo). La introducción del tiempo en los modelos de Redes de Petri Coloreadas permite la descripción del comportamiento dinámico del sistema, teniendo en cuenta tanto los cambios de estado como la duración de cada actividad realizada en el sistema. En la figura 5 se representa una RPC temporal donde hay tres transiciones (T1, T2 y T3), cada una de estas transiciones equivale al procesado de una pieza en una máquina y el tiempo que requiere el procesado de la pieza viene dado por el valor que acompaña al junto a la transición. La transición T1 tiene un tiempo de retardo de 7, la transición T2 tiene un tiempo de retardo de 2 y la transición T3 tiene un tiempo de retardo de 4. La secuencia que pueden seguir las piezas por el sistema no es única por lo que se representa mediante un árbol de alcance. Figura 5. Red de Petri Coloreada Temporal generada con la herramienta CPN Tools [3]. 2122 3.3.1 Árbol de alcance El árbol de alcance de una RPC consiste en un grafo que contiene un nodo por cada estado (marcación) alcanzable en el sistema modelado, y un arco por cada ocurrencia de un evento (disparo de transición), lo cual permite representar las propiedades dinámicas de la RPC. La herramienta CPN Tools genera automaticamente el árbol de alcance, para ello dispone de un icono. 3.4 CPN Tools CPN Tools es una herramienta gráfica para la edición y validación sintáctica de RPC. CPN Tools dispone de un simulador (tanto interactivo como automático) para poder inspeccionar la evolución de las RPC. La simulación puede servir para eliminar errores iniciales del modelo. Actualmente solo disponible para Windows. Tiene una licencia libre de uso y solo es necesario pedirla vía . Pueden consultarse manuales en la web [3]. CPN Tools genera un fichero con extensión cpn en formato XML. 3.5 Lenguaje XML El lenguaje XML [4] es un lenguaje que permite al usuario estructurar la información. XML son las siglas en inglés del Lenguaje de Etiquetado Extensible. Con la palabra "Extensible" se alude a la no limitación en el número de etiquetas. Las etiquetas o tags son palabras entre corchetes agudos: < y > y los atributos de la forma: nombre= valor. Las etiquetas se anidan unas dentro de otras para crear un esquema de etiquetas padre e hijo. Todas las etiquetas de un esquema XML deben tener una etiqueta de apertura y otra de cierre. XML es un lenguaje que permite jerarquizar y estructurar la información y describir los contenidos dentro del propio lenguaje, así como la reutilización de partes del mismo. La información estructurada presenta varios contenidos (texto, imágenes, audio, etc.) y formas: hojas de cálculo, tablas de datos, libretas de direcciones, parámetros de configuración, dibujos técnicos, etc. La forma da alguna indicación de qué papel puede jugar el contenido (por ejemplo, el contenido de una sección encabezada con un significado difiere del contenido de una nota a pie de página, lo que significa algo 2223 diferente que el contenido de un pie de foto o el contenido de una tabla de datos). Más o menos todos los documentos tienen la misma estructura. Ejemplo: Figura 6. Detalle de una estructura XML. En el ejemplo, la etiqueta padre <LOCALIDAD> contiene dos etiquetas hijos, <DIRECCION> y <CIUDAD>. No hay restricciones para nombrar y estructurar las etiquetas XML, siempre y cuando se aniden correctamente unas dentro de otras y cada etiqueta de apertura tenga su correspondiente etiqueta de cierre. 3.6 Lenguaje para la Especificación de Redes de Petri Coloreadas Definición Formal del Lenguaje El lenguaje para la especificación [6] de RPC s en el SATD que permite resolver un problema de optimización se compone de once partes, cada una identificada con una etiqueta: SA: Especificación del número de sub-árboles para la construcción del árbol de alcance. NI: Especificación de la profundidad de cada sub-árbol del árbol de alcance. BC: Especificación del margen de variación de costo permitida (banda de costo). 2324 BT: Especificación del margen de variación de tiempo permitida (banda de tiempo). CT: Definición de constantes. CO: Declaración de conjuntos color asociados a los nodos lugar de la RPC. VA: Declaración de variables a utilizar para la manipulación de los colores. FU: Declaración de funciones a utilizar en las expresiones de arcos, guardas, funciones de costo y funciones de tiempo. LU: Definición de nodos lugar a utilizar en la especificación de la RPC. TR: Definición de nodos transición a utilizar en la especificación de la RPC. AR: Definición de los arcos que conectan nodos lugar y nodos transición. %: Una línea con comentarios que no forman parte de la especificación de la RPC. La siguiente regla de producción define la sintaxis de una especificación de un modelo RPC representada en notación BNF extendida. <RPC> ::= <especificación_de_subarboles> <especificación_de_niveles> <especificación_de_banda_de_costo> <especificación_de_banda_de_tiempo> <definición_de_constantes> <declaración_de_conjuntos_color> <declaración_de_variables> <declaración_de_funciones> <definición_de_lugares> <definición _de_transiciones> <definición _de_arcos> 2425 En el anexo B se presentan las reglas de producción en notación BNF extendida de la gramática generadora del lenguaje de especificación para cada una de las partes que componen el modelo RPC. El traductor a desarrollar deberá respetar la sintaxis del lenguaje de especificación [6] a fin de que el fichero resultante de la traducción pueda ser utilizado como entrada al simulador/optimizador del SATD (ver figura 2). 2526 Capítulo 4 Desarrollo del traductor En este capítulo se describe el proceso que se ha llevado a cabo para el desarrollo del traductor. Se han utilizado los diagramas de UML [5] para describir las fases de análisis y diseño del traductor. 4.1 Análisis de requerimientos Evaluación y estudio de la herramienta CPN Tools La primera fase de análisis de requerimientos fue el aprendizaje de la herramienta de modelado de RPC CPN Tools [3]. Y para aprender a utilizar la herramienta se realizaron tres RPC sencillas: Un problema de una cinta transportadora Un problema logístico Un problema de un sistema de producción job shop Posteriormente se examinaron los ficheros XML resultantes y se determinó que era posible extraer la información de las RPC para su traducción. El fichero XML que se genera con la herramienta CPN Tools al crear una RPC tiene el aspecto que se muestra en la figura 7. El traductor ha de ser capaz de leer los tags que contengan información relevante relacionada con la RPC, y en el ejemplo de la figura 7 puede verse resaltado un conjunto color X: <layout>colset X = int with 1..6;</layout> y dos variables x: <layout>var x:x;</layout> e y: <layout>var y:y;</layout> con sus respectivos atributos de identificación. El traductor almacenará de forma temporal el contenido de dichos tags y los irá traduciendo al lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC. 26 27 Figura 7. Fichero XML que contiene una RPC generada en CPN Tools Proceso de traducción La traducción ha de contener los mismos elementos y en el mismo orden que en el fichero XML. En la traducción: %: Las líneas que tienen este carácter como primer carácter son comentarios, el intérprete del SATD ignora estas líneas. 2728 NI: Son los niveles del árbol. Este valor no existe en el fichero XML, por lo que se ha fijado su valor (a 3 ) SA: Son los niveles del subárbol. Este valor no existe en el fichero XML, por lo que se ha fijado su valor a (a 3 ) BC: Banda de coste. Este valor no existe en el fichero XML, por lo que se ha fijado su valor a 0. (a 3 ) BT: Banda de tiempo. Este valor no existe en el fichero XML, por lo que se ha fijado su valor a 0. (a 3 ) CO: Conjunto color del sistema en formato Nombre: representación. Un conjunto color puede formar parte de otro conjunto color compuesto. VA: Variable del sistema en formato Nombre : Tipo. Pudiendo haber definida más de una variable por línea del mismo tipo. FU: Función del sistema en formato Nombre (Argumentos) : tipo retorno = cuerpo de la función. LU: Nodo lugar del sistema en formato Nombre : tipo : markas iniciales : sellos de tiempo iniciales : funciones de costo : variables : estado final. TR: Transición del sistema en formato Nombre : función guarda : tiempo. AR: Arco del sistema en formato Nodo lugar origen Transición : función de arco o bien Transición Nodo lugar origen : función de arco. (a 3 ) Datos requeridos por el simulador/optimizador. Durante la traducción se han seguido los siguientes pasos: 2829 Traducción de colores Un color en el fichero XML tiene la siguiente estructura: <color id="id "> <id>x</id> <int><with><ml>1</ml><ml>4</ml></with></int> <layout>colset X = int with 1..4;</layout> </color> El traductor simplemente sustituirá la palabra colset por CO y el carácter = por el carácter :. La traducción quedará así: CO X: int with 1..4; Traducción de variables Una variable en el fichero XML tiene la siguiente estructura: <var id="id "> <type> <id>y</id> </type> <id>y</id> <layout>var y: Y;</layout> </var> El traductor sustituirá la palabra var por VA. La traducción quedará así: VA y:y; Traducción de un nodo lugar Un nodo lugar en el fichero XML tiene la siguiente estructura: <place id="id562263"> <.. > <text>pos_free</text> <.. > <text tool="cpn Tools" version="2.2.0">x</text> <.. > <text tool="cpn Tools" version="2.2.0">1`(1)++1`(2)++1`(3)++ 1`(4)</text> </initmark> </place> El traductor obtendrá la siguiente información: Nombre del nodo lugar: Pos_free 2930 Tipo del nodo lugar: X Marcado inicial: 1`(1)++1`(2)++1`(3)++1`(4) Variables asociadas al nodo lugar: Variables de tipo X La traducción del nodo lugar quedará de esta manera: LU Pos_free:X:1 (1)+1 (2)+1 (3)+1 (4):1 [0]+1 [0]+1 [0]+1 [0]:x:* (**); El traductor formará esta línea con el nombre del nodo lugar, el tipo del nodo lugar, el marcado inicial sustituyendo el carácter ` por el carácter, sustituyendo el doble signo más por uno simple, añadiendo un [0] (sello de tiempo) por cada token, todas las variables del tipo X y finalmente añadiendo un * (**) que representa una máscara para el estado final cuya explicación queda fuera del alcance de este proyecto. Traducción de una transición Una transición en el fichero XML tiene la siguiente estructura: <trans id="id564256" explicit="false"> <text>t2</text> <.. > <cond id="id564257"> <text tool="cpn Tools" version="2.2.0">[x=y+1]</text> </cond> <time id="id564258"> <text tool="cpn Tools" </time> <.. > </trans> Descripción de la transición: Nombre de la transición: T2 Guarda asociada a la transición: [x = y + 1] Tiempo asociado a la Traducción de la transición, guarda y función de tiempo: TR T2:G1(PosBussy,Posfree):FT1; % Transición FU G1(y:Y,x:X): bool=(x=(y+1)); % Función guarda FU FT1(t:T): real= (t+1); % Función de tiempo 3031 La transición será una línea con el nombre de la transición, el nombre de la función guarda, con el nombre de todos los nodos lugar de entrada a la transición y el nombre de la función de tiempo que describe el tiempo de duración de una actividad representada por la transición. Para crear la función guarda se sustituye andalso por & y orelse por y todas las variables que aparezcan en la expresión serán parámetros de la función guarda. El retorno de las funciones guarda siempre será bool. El nombre de la función será la unión de la letra G con un número que irá incrementado a medida que aumente el número de funciones. (G1, G2, G3, ) Para crear la función de tiempo, se hará desparecer el todas las variables que aparezcan en la expresión serán parámetros de la función de tiempo. El retorno de las funciones de tiempo siempre será real. El nombre de la función de tiempo será la unió de las letras FT con un número que irá incrementando a medida que aumente el número de funciones de tiempo. (FT1, FT2, FT3, ) Traducción de arcos Un arco en el fichero XML tiene la siguiente estructura: <arc id="id564924" orientation="ptot" order="1"> <.. > <transend idref="id564256"/> <placeend idref="id562263"/> <.. > <text tool="cpn Tools" version="2.2.0">1`(1)</text> </arc> Descripción de arco: Orientación: PtoT (nodo lugar origen (P) y transición destino (T)) Identificador de Nodo lugar: "ID562263" Identificador de Transición: "ID564256" Expresión de arco: 1`(1) Traducción del arco y la función expresión de arco: AR Posfree-T1: F1; FU F1(x:X): X= 1'(1); 31 32 Cada elemento de la RPC creada en CPN Tools tiene un identificador único que el traductor aprovecha puesto que relaciona el arco con los nodos lugar y transiciones que une. A partir de la expresión del arco se creará una función donde se sustituirá andalso por &, orelse por y el carácter ` por el carácter, las variables que aparezcan en la expresión serán los parámetros de la función expresión de arco Diagramas de clases La figura 8 muestra el diagrama de clases que relaciona las clases del traductor. La clase red_petri_xml contiene la descripción de la RPC obtenida de un fichero XML. La clase red_petri_coloreada contiene todas las clases que definen una RPC, que son: la clase arco, la clase variable, la clase nodo_lugar, la clase color, la clase función y la clase transición. Todas estas las clases están detalladas en el anexo A. Figura 8. Diagrama de clases que representa el traductor. 3233 4.2 Diseño del traductor En esta sección se describe el funcionamiento del traductor mediante diagramas de actividades de los módulos de lectura del fichero XML y de la traducción de la RPC. También se describe la interacción de las clases cuando se traduce una RPC Estructura de datos La clase red_petri_xml contendrá los datos leídos del fichero XML. Es una lista enlazada (véase figura 9) donde cada elemento contiene el nombre del tag, el contenido, los atributos con sus correspondientes valores, también en listas y un apuntador al siguiente elemento de la lista. El último elemento de la lista apuntará a Null. Figura 9. Representación de la lista red_petri_xml. La clase red_petri_coloreada contiene listas de los diferentes elementos: arco, transición, nodo lugar, conjunto color y funciones Diagramas de actividades Funcionamiento de la lectura del fichero XML El traductor debe leer el fichero XML carácter a carácter, busca cada carácter de inicio de etiqueta: < almacena el nombre de la etiqueta, busca si tiene atributos, los almacena y continua hasta leer el final de la etiqueta. Si el fichero no ha finalizado vuelve a buscar una nueva etiqueta. Este funcionamiento está reflejado en la figura34 Figura 10. Diagrama de actividades de la lectura del fichero XML. Funcionamiento de la fase de traducción Para cada etiqueta (tag) que es leída el traductor comprueba que es una etiqueta de interés: color, variable, nodo lugar, etc. En caso de serlo se almacena en la clase llamada red_petri_xml. Una vez que todos los elementos están guardados en la clase red_petri_xml, se procede a su traducción a el lenguaje de especificación en este orden: 1 Traducción de los colores. 2 Traducción de las variables. 3 Se asocia las variables a los nodos lugar para facilitar la traducción de los nodos lugar. 4 Traducción de los nodos lugar. 3435 5 Traducción de las transiciones. 6 Traducción de los arcos. 7 Creación de las funciones expresiones de arco. 8 Creación de las funciones guarda. 9 Creación de las funciones de tiempo. 10 Traducción de las constantes. Este comportamiento queda reflejado en la figura 11. Figura 11. Diagrama de actividades de la fase de traducción de la RPC. 3536 4.2.3 Diagrama de secuencia Secuencia del traducción La clase red_petri_coloreada contiene listas con los elementos de la RPC sin traducir, el traductor lee cada elemento y lo traduce, entonces el elemento queda traducido en la misma lista de la clase red_petri_coloreada. - Cada elemento de la lista de colores es leído, traducido y almacenado en la clase red_petri_coloreada. - Cada elemento de la lista de variables es leído, traducido y almacenado en la clase red_petri_coloreada. - Cada elemento de la lista nodo_lugar es leído, traducido y almacenado en la clase red_petri_coloreada. - Cada elemento de la lista transición es leído, traducido, genera una función y ambas son almacenadas en la clase red_petri_coloreada. - Cada elemento de la lista arco es leído, traducido, genera una función expresión de arco y ambas son almacenadas en la clase red_petri_coloreada. Esta secuencia queda reflejada en la figura 12. Figura 12. Diagrama de secuencia que sigue el traductor. 3637 4.2.4 Visualización del fichero con la traducción Para ver el resultado de una traducción se muestra la figura 13 con una RPC que representa una cinta transportadora con cuatro posiciones y cuatro piezas, el estado de las posiciones será libre (pos_free) o ocupado (pos_bussy), cada una de las transiciones representa un movimiento de la cinta, por ejemplo, la transición T1 cambiará el estado de la posición 1 de la cinta de libre a ocupado. Figura 13. RPC de una cinta con cuatro posiciones. La figura 14 muestra el diseño de la interfaz del traductor con la traducción de esta RPC en el lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC. Se ha dividido en dos imágenes (14.a y 14.b) por cuestiones estéticas. 3738 Figura 14.a Fichero ASCII generado al traducir una RPC. 3839 Figura 14.b Fichero ASCII generado al traducir una RPC (segunda parte). 4.3 Implementación La implementación del traductor se dividió en cuatro módulos: Modulo Lectura de fichero XML, donde se obtiene toda la descripción de la Red de Petri Coloreada de un fichero estructurado en XML creado con la herramienta de diseño CPN Tools. 3940 Modulo Red de Petri Coloreada Temporal, este modulo está alimentado por el modulo de lectura, almacena los elementos de la RPC sin traducir en las listas de la clase red_petri_coloreada. Modulo Red de Petri Coloreada Traducida, este modulo está alimentado por el modulo de Red de Petri Coloreada Temporal, aquí se interpreta y se traducen los componentes de la Red de Petri Coloreada para posteriormente escribir el resultado estructuradamente en un fichero de texto ASCII. Modulo Interfaz de Usuario, este modulo, como su propio nombre indica, se encarga de comunicar al programa las órdenes del usuario y muestra al usuario las respuestas a las órdenes recibidas. La implementación de los diferentes módulos se hizo de forma lazo en cascada, como se muestra en la figura 15. Durante la implementación de cada módulo es posible volver al modulo anterior para corregir o modificar la implementación del módulo anterior, y por tanto una modificación de un módulo puede tener efectos en el módulo que le sigue. Figura 15. Modelo de lazo en cascada utilizado en la implementación del traductor. 4041 4.4 Pruebas Pruebas unitarias Las pruebas unitarias consistieron en: - Comprobar que el fichero XML era reconocido. - Obtención de un color de un fichero con un solo color. - Obtención de un arco de un fichero con un solo arco. - Obtención de una variable de un fichero con una sola variable. - Obtención de una transición de un fichero con una sola transición. - Obtención de un nodos lugar de un fichero con un solo nodo lugar Pruebas funcionales Durante el desarrollo del traductor se fueron haciendo pruebas funcionales con RPC simples para obtener y traducir los diferentes elementos de la RPC por separado: conjuntos color, variables, transiciones, arcos y nodos lugar. Pudiendo así concretar el correcto funcionamiento de cada elemento Pruebas de integración A lo largo del desarrollo del traductor se hicieron traducciones completas, donde se pudieron registrar fallos que fueron subsanados. La mayoría de los fallos estaban relacionados con la sintaxis del lenguaje en el fichero resultado Pruebas de validación Las pruebas de validación han consistido en la traducción de varias RPC y comprobando que el resultado era el esperado. Las traducciones han sido utilizadas como entrada al simulador/optimizador y se ha comprobado que los ficheros generados cumplen con la especificación sintáctica del lenguaje (ver anexo B). 4142 Capítulo 5 Manual de usuario En este capítulo se presenta el manual de usuario para la asistencia a los usuarios del traductor. 5.1 Instalación del traductor El traductor se presenta en el fichero ejecutable traductor.exe y no necesita instalación previa. El traductor funciona en el sistema operativo (S.O.) Microsoft Windows XP. Es posible que el fichero se visualice simplemente por traductor en el caso de que el usuario tenga configurada la opción de ocultar las extensiones de archivo para tipos de archivo conocido. 5.2 Interfaz de usuario La interfaz del traductor se compone de las siguientes partes: (ver figura 16) Menú archivo: Para abrir, guardar, imprimir, traducir un fichero y salir del traductor. Menú edición: Para cortar, copiar, pegar y deshacer texto escrito. Menú ver: Habilitar o deshabilitar la barra de herramientas y la barra de estado. Menú ayuda: Información sobre el traductor y su funcionamiento. Barra de herramientas: Contiene los diferentes botones que hacen funcionar el traductor. Botón traducción: De color blanco y letra T de color rojo, sirve para indicar al programa que realice la traducción de un fichero XML. 4243 Botón cambio de vista: De color azul y verde, sirve para cambiar de la vista XML a la vista ASCII o viceversa. Barra de estado: (opcional) Mostrará al usuario el estado del traductor, siendo el estado listo cuando el programa escuchará las peticiones del usuario y mostrará información sobre las diferentes opciones de menú y botones de los cuales se compone el traductor. Barra de desplazamiento vertical: Se utilizará para desplazarse por el documento de forma vertical en el caso de que dicho documento ocupe más de una ventana de visualización. Botón ayuda: Mostrará al usuario una ventana con la información de la versión del traductor y su autor. Zona de visualización/edición: En esta parte de la interfaz se visualizará el contenido del fichero XML o ASCII dependiendo de la elección del usuario. Los ficheros abiertos podrán ser editados a voluntad, teniendo en cuenta que las modificaciones podrán ser almacenadas en el sistema de ficheros del usuario previo aviso de dicha operación. 4344 Figura 16. Ventana principal del traductor Descripción de los menús Menú Archivo El menú Archivo contiene las opciones (Figura 17): Abrir (con la combinación de teclas Ctrl+O de acceso rápido): El usuario deberá usar esta opción para abrir tanto ficheros XML como ficheros ASCII. 4445 Guardar (con la combinación de teclas Ctrl+S de acceso rápido): El usuario podrá usar esta opción para almacenar en su sistema de ficheros el contenido del documento que esté visualizando. Guardar como : Esta opción permite guardar una copia con diferente nombre al fichero ya existente en el sistema de ficheros del usuario. Traducir: Una vez abierto un fichero con una Red de Petri Coloreada en XML el usuario podrá traducir la RPC para obtener un fichero ASCII con la traducción. Imprimir : (con la combinación de teclas Ctrl+P de acceso rápido) El usuario podrá enviar a una impresora el contenido del documento que haya abierto, ya sea XML o ASCII. Vista preliminar: El usuario podrá utilizar esta opción para previsualizar el contenido del documento que será enviado a una impresora en caso de desear imprimir el documento. Configurar impresión: Con está opción aparecerá una ventana donde el usuario podrá seleccionar una impresora, el tamaño del papel, el origen del papel, la orientación de la impresión (vertical u horizontal), entre otras configuraciones antes de proceder a la impresión de un documento. Salir: Para finalizar la ejecución del traductor. 45 46 Figura 17. Detalles del menú Archivo Menú Edición El menú Edición contiene las siguientes opciones (Figura 18): Deshacer: (Con la combinación de teclas Ctrl+Z de acceso rápido) Para volver a un estado anterior a un cambio realizado sobre el documento. (a 4 ) Cortar: (Con la combinación de teclas Ctrl+X de acceso rápido) Esta opción permite al usuario quitar una selección de caracteres del documento que quedarán almacenadas en la memoria del S.O. (a 5 ) Copiar: (Con la combinación de teclas Ctrl+C de acceso rápido) Esta opción permite al usuario copiar una selección de caracteres del documento que quedarán almacenadas en la memoria del S.O. (a 5 ) Pegar: (Con la combinación de teclas Ctrl+V de acceso rápido) Esta opción permite al usuario pegar el contenido de una selección previa de caracteres previamente almacenada en la memoria del S.O. Figura 18. Detalles del menú Edición. 4647 (a 4 ) Aviso: La opción deshacer quedará neutralizada en el caso de cambiar la vista XML/ASCII. (a 5 ) Aviso: El S.O. normalmente solo guarda una selección de caracteres a la vez en memoria, por lo que si se utiliza dos veces esta opción, se perderá la primera de las selecciones Menú Ver El menú Ver permite las siguientes opciones como puede verse en la figura 19: Barra de herramientas: Seleccionando esta opción aparecerá un a su izquierda indicando que la ventana principal de el traductor mostrará la barra de herramientas. (a 6 ) Barra de estado: Seleccionando esta opción aparecerá un a su izquierda indicando que la ventana principal del traductor mostrará la barra de estado. Figura 19. Detalles del menú Ver. (a 6 ) Nota: Se recomienda al usuario tener esta opción activada en todo momento para una mayor comodidad en el manejo del traductor Menú Ayuda El menú Ayuda contiene la siguiente opción (Figura 20): 4748 Acerca de traductor : Esta opción abre una ventana secundaria para mostrar al usuario información sobre la versión del traductor que está utilizando y sobre el autor. Figura 20. Detalles del menú Ayuda Menú secundario El menú secundario que se obtiene haciendo clic con el botón derecho contiene las siguientes opciones (Figura 21): Deshacer: Para volver a un estado anterior a un cambio realizado sobre el documento. Cortar: Esta opción permite al usuario quitar una selección de caracteres del documento que quedarán almacenadas en la memoria del S.O. Copiar: Esta opción permite al usuario copiar una selección de caracteres del documento que quedarán almacenadas en la memoria del S.O. Pegar: Esta opción permite al usuario pegar el contenido de una selección previa de caracteres previamente almacenada en la memoria del S.O. Seleccionar todo: Esta opción permite al usuario seleccionar todo el contenido del documento que está visualizando. Figura 21. Detalles del menú secundario. 4849 5.2.2 Descripción de la barra de herramientas La barra de herramientas contiene las siguientes opciones (Figura 22): El icono representa la opción de Abrir fichero. El icono representa la opción de Guardar y Guardar como de un fichero. El icono representa la opción de Cortar una selección de caracteres. El icono representa la opción de Copiar una selección de caracteres. El icono memoria del S.O. representa la opción de Pegar una selección de caracteres de la El icono representa la opción de Imprimir un documento. El icono representa la opción de Ayuda del traductor. El icono representa la opción de Traducir del traductor. El icono representa la opción de Cambio de vista XML/ASCII. Figura 22. Detalles de la barra de herramientas. Esta barra no está fija, es decir, puede ser desplazada por cualquier parte de dentro y fuera de la ventana principal. Para realizar está operación haga un clic sostenido en la parte más a la izquierda de la barra de herramientas y desplace la barra hasta la ubicación que desee. También es posible cambiar el tamaño del recuadro de la barra de herramientas para ello coloque la barra de herramientas en forma de ventana y haga clic 4950 sostenido en cualquiera de los bordes de esta ventana y desplace el cursor hasta obtener la forma (siempre cuadrada) de la ventana deseada. No debe preocuparse de cómo queda la configuración de esta barra pues una vez finalizada la ejecución del traductor esta recuperará la posición inicial para cuando el usuario vuelva a utilizarla Descripción de la barra de estado La barra de estado se compone de las siguientes partes (figura 23): Promt: Texto descriptivo del estado del traductor e información sobre los botones y opciones de menú de la ventana principal cuando el cursor pasa por encima de estos. CAP: Indica que el bloqueo de mayúsculas está activado. Cualquier texto introducido por teclado aparecerá en mayúsculas. Para introducir caracteres en minúscula con este indicador activo bastará con apretar shift+tecla con el carácter deseado en minúscula. NUM: Indica que el bloqueo numérico está activado, dependiendo de si el bloqueo está activo o no, la funcionalidad del teclado número cambiará. (Es preferible tenerlo activado) SCRL: Indica que el bloqueo de deslizamiento está activado. Icono ajuste de ventana: Se utiliza para redimensionar el tamaño de la ventana. Figura 23 Detalle de la barra de estado Ventana vista preliminar La ventana de vista preliminar se compone de (Figura 24) Barra de herramientas: Contiene diferentes botones para el manejo de la vista preliminar por parte del usuario. 5051 Zona de visualización: En esta zona el usuario podrá visualizar el contenido del fichero XML o bien el contenido del fichero ASCII previo paso a la impresión en papel. Barra de estado: Mostrará al usuario la página actual del documento que se está visualizando e información sobre los diferentes botones a medida que desplaza el cursor por encima de ellos. Figura 24. Ventana vista preliminar del traductor. 5152 Descripción de la barra de herramientas de la vista preliminar La barra de herramientas de la vista preliminar se compone de los botones (Figura 25): Print (Con la combinación de teclas Alt+P de acceso rápido) abre la ventana de configuración de la impresora. Next Page (Con la combinación de teclas Alt+N de acceso rápido) muestra la siguiente página del documento. Prev Page (Con la combinación de teclas Alt+v de acceso rápido) muestra la página anterior del documento. Two Page (Con la combinación de teclas Alt+T de acceso rápido) muestra el contenido de la página actual en dos páginas). Zoom In (Con la combinación de teclas Alt+I de acceso rápido) permite ver el contenido del documento en una fuente mayor. Es posible ejecutar esta opción dos veces. Zoom Out (Con la combinación de teclas Alt+O de acceso rápido) permite ver el contenido del documento en una fuente menor. Solo es posible ejecutar esta opción después de utilizar el Zoom In. Close (Con la combinación de teclas Alt+C de acceso rápido) cierra la ventana de la vista preliminar. Figura 25. Detalle de la barra de herramientas de la ventana vista preliminar. 5253 5.2.5 Introducción de texto El usuario puede introducir texto en el documento que presente la vista haciendo clic izquierdo en la zona de visualización/edición en la sección que desee, utilizando el teclado, o bien a través de la memoria del S.O. (portapapeles). Una vez que un documento haya sido modificado y el usuario quiera traducirlo o bien cerrar el programa, el traductor preguntará al usuario si desea que la última modificación del documento pase al sistema de ficheros del S.O. En caso contrario las modificaciones no se reflejarán ni en la traducción ni en el fichero que el usuario guarde en el sistema de ficheros de su S.O Ajustes de ventana El tamaño de la ventana podrá ser ajustado de diferentes maneras: En la parte inferior derecha de la ventana se encuentra el icono: que haciendo clic sostenido sobre él y desplazando el puntero del ratón en cualquier dirección y soltando el clic sostenido la ventana adoptará el tamaño deseado. En la parte superior derecha se encuentra el icono: que al hacer clic sobre él la ventana se minimizará por completo, es decir, solo ocupará un espacio en la barra de tareas del S.O. También en la parte superior derecha se encuentra el icono: que al hacer clic sobre él la ventana se maximizará y ocupará todo el tamaño de ventana posible. Cuando la ventana esté maximizada al completo se podrá hacer clic sobre el icono: y la ventana recuperará el tamaño previo a ser maximizada Finalización de la ejecución El usuario dispone de dos maneras para finalizar la ejecución del traductor: 5354 En el menú Archivo la opción Salir. Haciendo clic sobre el icono: la ventana. que se encuentra en la parte superior derecha de 5.3 Obtención de la Red de Petri Coloreada en XML En el menú Archivo se encuentra la opción Abrir y como se muestra en la figura 26, se ha de seleccionar el tipo de fichero *.cpn, a continuación el contenido del fichero XML será mostrado en la zona de visualización/edición. Figura 26. Ventana Abrir con la selección de ficheros cpn. 5.4 Obtención de la traducción de la Red de Petri Coloreada Existen dos posibilidades para obtener la traducción de una Red de Petri Coloreada: Obteniendo en primer lugar una Red de Petri Coloreada creada en CPN Tools [3] y luego pulsando el botón de traducir (o bien en el menú Archivo opción: Traducir) el programa responderá con la traducción de la Red de Petri Coloreada 5455 en ASCII que se visualizará al momento en la ventana y con un fichero con el mismo nombre que el fichero XML pero con la extensión txt. (a 7 ) (a 8 ) Abriendo un fichero ASCII desde el menú Archivo con la opción Abrir, pero esta vez escogiendo un fichero *.txt que ya contenga una traducción de una Red de Petri Colorada calculada previamente. (figura 27) Figura 27. Ventana Abrir con la selección de ficheros txt. (a 7 ) Aviso: El lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC, no permite espacios es blanco en el nombre del fichero, por lo que si el nombre del fichero XML contiene espacios, el fichero con la traducción cambiará espacios por guión bajo. (p. ej: Si el fichero lleva por nombre Cinta transporte.cpn su traducción se almacenará en un fichero con nombre Cinta_transporte.txt ) (a 8 ) Aviso: Se aconseja cambiar el nombre del fichero XML si este contiene espacios en blanco y guión bajo, por un nombre que no contenga ambos caracteres a la vez, ya 5556 que el traductor no podrá encontrar el fichero en el sistema de ficheros por lo explicado en el aviso anterior. 5.5 Cambiar la vista XML a ASCII y de ASCII a XML Cuando el programa traduce una Red de Petri Coloreada en XML automáticamente cambia la vista a la traducción realizada en ASCII. Una vez traducida una Red de Petri Coloreada se podrá volver a la vista XML pulsando el botón cambio de vista XML/ASCII. Por otra parte si el usuario se encuentra en la vista XML pero de una Red de Petri Coloreada previamente traducida, pulsando el botón de cambio de vista pasará a la vista ASCII, ya que esta vista abre el último fichero traducido de la Red de Petri Coloreada. 5.6 Aspectos de la traducción Se aconseja hacer la traducción de una Red de Petri Coloreada solo si ha pasado el test ML de la herramienta CPN Tools, es decir que la Red no contenga ningún subrayado en rojo o naranja en su estructura. Esto solo se puede comprobar abriendo la Red de Petri Coloreada con la herramienta de CPN Tools y esperar la verificación ML automática. Para saber si una Red de Petri Coloreada diseñada en CPN Tools ha pasado el test ML bastará ver si no tiene resaltado en naranja o rojo ningún elemento del sistema. La herramienta de diseño RPC CPN Tools permite nombrar elementos con espacios y guión bajo, pero el lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC, no permite espacios en blanco ni guión bajo en el nombre de sus elementos, por lo que el traductor cambiará los nombres de los elementos eliminando dichos caracteres. (p. ej: Si en el fichero XML existe un nombre de conjunto color colset P_1 = int; será traducido como CO P1:int; ) Las funciones asociadas a los arcos, las funciones guardas y temporales asociadas a las transiciones son representadas sin nombre en la herramienta de diseño CPN Tools, pero no será así en la traducción: 5657 Las funciones de arco serán nombradas con la letra F y seguidas de un número: F1, F2, F3, etc. Los guardas serán nombrados con la letra G y seguidas de un número: G1, G2, G3, etc. Las funciones de tiempo asociadas a una transición serán nombradas por las letras FT y seguidas de un número: FT1, FT2, FT3, etc. Los elementos número de niveles del árbol y número de subárboles no existen conceptualmente en las RPC diseñadas en CPN Tools por lo que las traducciones contendrán estos elementos con el valor por defecto 1000, es decir a la traducción se añadirá en todos los casos estas líneas: NI SA 1000 para representar los niveles del árbol de la RPC para representar el número de subárboles de la RPC. Los elementos de banda de costes y banda de tiempo no existen conceptualmente en las RPC diseñadas en CPN Tools por lo que las traducciones contendrán estos elementos con el valor por defecto 0, es decir a la traducción se añadirá en todos los casos estas líneas: BC BT 0 para representar el valor para la banda de costes. 0 para representar el valor para la banda de tiempo. Puesto que la herramienta de diseño de RPC CPN Tools es una herramienta gráfica las conexiones entre transiciones y nodos lugar representadas con arcos son visibles (valga la redundancia) y el lenguaje para la generación de ficheros de entrada a un simulador/optimizador de RPC es estrictamente descriptivo por lo que se han de añadir explícitamente las conexiones entre transiciones y nodos lugar. (p. ej: En la figura 28 se aprecia un Arco que conexiona un nodo lugar y una transición junto con la traducción del arco.) 5758 % Transición transicion1 AR G2-transicion1:F1; Figura 28. Representación de un nodo lugar, una transición y un arco que une estos elementos en la herramienta de diseño RPC CPN Tools. A la derecha la traducción del arco. En CPN Tools no es posible establecer un estado final para un nodo lugar, por lo que en la traducción de un nodo lugar se establecerá como * (**) el estado final de cada nodo lugar definido en la RPC ya que el lenguaje del optimizador sí lo requiere. Una vez que el usuario haya abierto un fichero XML y proceda a su traducción, el traductor comprobará si el fichero ha sufrido modificaciones desde el momento de su apertura, por lo que en caso de haber sido modificado por el usuario mostrará una ventana de información y preguntará al usuario si desea sobrescribir el contenido del fichero o si por el contrario el usuario no desea que estos cambios se reflejen en el sistema de ficheros de su S.O. (Figura 29)(a 9 ) (a 10 ) Figura 29. Ventana requiriendo al usuario para la modificación o no del fichero. (a 9 ) Aviso: Si se modifica un fichero XML a través de este programa, el fichero puede dejar de ser reconocido por la herramienta de diseño de RPC CPN Tools, por lo que se recomienda tener una copia del fichero o no sobrescribirlo. 5859 (a 10 ) Aviso: Cuando el usuario traduzca una RPC diseñada en CPN Tools, el fichero que genera dicha traducción deberá ser único, es decir, si ya existe un fichero en el mismo directorio de igual nombre, esté será irremediablemente sobrescrito sin avisar al usuario. Todas las traducciones realizadas por el traductor contendrán una cabecera en la que aparecerán: Nombre_fichero: Nombre que ha adoptado el fichero con la traducción realizada. Fecha: Fecha en la que se realizó la traducción. Durante el transcurso de la traducción el usuario perderá momentáneamente el control sobre la ventana principal del traductor y el puntero del ratón mostrará el icono de espera: (o similar). 5.7 Guardar un fichero Siempre que lo desee el usuario, podrá guardar el fichero/vista activa en ese momento en el sistema de ficheros de su Sistema Operativo (S.O.). Tanto los ficheros XML como los ficheros ASCII tendrán dos maneras para ser almacenados: Guardar: Si el fichero había sido previamente creado, se sobrescribirá el contenido que se este visualizando en el momento de usar esta opción (Atención: Al sobrescribir un fichero no será posible recuperar el estado anterior del fichero). En caso de no existir el fichero, el S.O. pedirá que se escriba un nombre con su extensión para su almacenaje. Se aconseja no usar espacios en blanco en el nombre del fichero. Guardar como: Se podrá usar esta opción para duplicar el fichero que se esté visualizando con otro nombre. La opción Guardar como puede funcionar como 59 60 la opción Guardar si se escribe (o se selecciona) el nombre del fichero que se está visualizando. Se aconseja no usar espacios en blanco en el nombre del fichero. (Figura 30) Figura 30. Ventana Guardar como con nombre de fichero para una RPC XML. 5.8 Configuración de la impresora La ventana de configuración de la impresora se compone de (figura 31): Menú desplegable: Contendrá cada una de las impresoras de que dispone el usuario. Sirve para escoger la impresora con la que se desea plasmar en papel el documento que se esté visualizando. Botón propiedades: Este botón abrirá una ventana nueva donde se podrán configurar diferentes aspectos de la impresión. (p. ej: dirección vertical u horizontal de la impresión) 60 61 Imprimir a un archivo: Esta opción hará que la impresión se haga en un archivo. Intervalo de impresión: En esta parte el usuario puede seleccionar que se imprima todo el documento, unas páginas consecutivas en concreto o bien una selección. Copias: El usuario puede seleccionar el número de copias que desea de la impresión y el orden intercalado o no de estas copias. Figura 31. Ventana de configuración de la impresora. 5.9 Resolución de problemas Problemas frecuentes El traductor me avisa que he de volver a definir algún conjunto color Utilice la herramienta de CPN Tools y reescriba el conjunto color, es decir borre y vuelva a escribir el color o los colores que no aparecen en la traducción. Esto suele ocurrir con las Standard declarations que utiliza CPN Tools por defecto. 6162 El traductor me avisa que no se encuentran variables de algún tipo Utilice la herramienta de CPN Tools y defina alguna variable del tipo que le indica en el aviso. Recuerde que para el buen funcionamiento de una RPC se ha de definir al menos una variable por cada conjunto color definido. El traductor me avisa que hay una declaración que contiene errores pero no especifica cuales Utilice la herramienta de CPN Tools, espere a que el evaluador ML recorra todo el sistema de la Red de Petri Coloreada que quiere traducir y CPN Tools le dará los detalles de dicho error. Una vez solucionado el error podrá volver a traducir su RPC sin que vuelva a surgir el error (siempre que dicha RPC no contenga algún otro error). He modificado un fichero XML desde el traductor, ahora no puedo abrirlo desde CPN Tools y no tengo copia del fichero 1) Asegúrese de que no tiene alguna otra copia del fichero. Si no continúe. 2) Utilice alguna herramienta de edición de texto avanzada (p. ej: Notepad ++). Seleccione como lenguaje de visualización XML. Verifique que la estructura de tags sea la correcta. Si encontró algún tag mal definido reescríbalo. Si esto no solucionó su problema continúe. 3) Abra una nueva red en la herramienta CPN Tools y guárdela seguidamente. Con una herramienta de edición de texto abra esta red y a su vez abra también el fichero con el problema. Ahora copie un conjunto de tags de un fichero a otro, es decir todo el contenido entre tags de algún elemento. (p. ej: <color id= IDI100 >. </color>). Una vez hecho una operación de este tipo intente abrir el fichero que originalmente estaba en blanco con la herramienta CPN Tools. Si no se puede abrir el fichero, revise todo el contenido de los tags copiados, en caso de que se pueda abrir vuelva a repetir la operación con el siguiente conjunto de tags hasta detectar el o los errores. 6263 Quiero traducir una RPC que está en ASCII a XML Este traductor no permite esta operación. Algunas opciones del menú están en gris Algunas opciones del menú pueden no ser utilizadas en ciertos momentos, antes se ha de cumplir alguna condición. (p. ej: Cuando seleccione algunos caracteres podrá usar las opciones Cortar o Copiar del menú Edición). El traductor no almacena ningún archivo con la traducción que ha generado Asegúrese que tenga acceso de lectura y escritura en el directorio donde se encuentra el fichero XML con la RPC generada por la herramienta de diseño CPN Tools. He cargado un fichero XML pero el traductor me avisa que he de cargar un fichero XML para traducirlo Este error puede ser ocasionado porque el fichero XML que intenta traducir no ha sido generado por la herramienta de diseño de RPC CPN Tools. El traductor me avisa de que no encuentra un fichero, que sí está en mi sistema de ficheros Asegúrese que el nombre del fichero que busca el traductor no contenga espacio y guión bajo simultáneamente. El traductor me avisa de que una función contiene variables que no han sido declaradas La herramienta de diseño CPN Tools permite definir funciones sin declarar las variables previamente, pero el lenguaje de espeficicaciones del fichero de entrada al simulador/optimizador no permite tener variables en una función que no estén definidas 6364 en el sistema. Así pues abra el fichero con la herramienta de diseño CPN Tools para declarar las variables que use dicha función. El traductor me avisa de que no se reconoce la estructura de origen Este error puede ser ocasionado porque el fichero XML que intenta traducir no ha sido generado por la herramienta de diseño de RPC CPN Tools. 64 65 Capítulo 6 Ejemplo de diseño y traducción de una Red de Petri Coloreada En este capítulo se muestra un ejemplo de uso del traductor que ha sido desarrollado. Se describe un sistema modela en CPN Tools [3] y su traducción correspondiente generada por el traductor. 6.1 Especificaciones del problema a modelar El problema de programación de tareas en sistemas de producción Job Shop, conocido en la literatura como Job Shop Scheduling Problem, engloba una tipología de problemas NP-Hard que tiene la reputación de ser uno de los problemas de optimización combinatoria mas difíciles considerados hasta la fecha. Consiste en programar un conjunto de tareas (jobs) en un conjunto de máquinas, sujetas a la restricción de que cada máquina sólo puede procesar una tarea a la vez y cada tarea tiene un orden de procesamiento especificado en cada una de las máquinas. El objetivo es programar las tareas para reducir al mínimo el tiempo de finalización de todas las tareas (makespan). Este caso de estudio presentado es un problema de programación de tareas para un sistema de producción Job Shop 3x3 (tres jobs y tres máquinas). El número de tareas que se deben llevar a cabo para cada completar cada job no es igual para todos los jobs, y además, algunas de las tareas de los jobs pueden ser realizadas en una de dos máquinas posibles. La tabla 3 muestra el orden y tiempo de procesamiento de las tareas de cada job en las diferentes máquinas. Tabla 3. Secuencia de tareas para cada Job 65 66 La tabla 4 muestra los diferentes colores que se definen para identificar las tareas, maquinas y tiempos del problema. Tabla 4. Descripción de colores del modelo RPC del sistema Job Shop. La tabla 5 muestra los diferentes nodos lugar que componen la RPC. Tabla 5. Descripción de nodos lugar del model RPC del sistema Job Shop. Finalmente la tabla 6 muestra la transición de esta RPC. Tabla 6. Descripción de nodos transición del modelo RPC del sistema Job Shop. 6667 La figura 32 muestra el modelo RPC creado con CPN Tools, donde: Los tokens que tiene el nodo lugar Job indican la secuencia de operaciones, la máquina donde se realizará la operación y los tiempos de cada una de ellas. Los tokens que tiene el nodo lugar OR representa el número de operaciones que se deben realizar para cada job. Finalmente los tokens del nodo lugar Maq indican el número de máquinas de este sistema Job Shop. La función F2 indica las condiciones que se deben cumplir para llevar a cabo una operación en una máquina y el resultado de la operación. El guarda que se observa junto a T1 verifica que la operación, la máquina y la secuencia sea la correcta. Figura 32. RPC del sistema Job Shop modelado con CPN Tools. 6.2 Pasos para la realización de una traducción Crear una RPC con la herramienta CPN Tools La herramienta CPN Tools es bastante intuitiva, los elementos principales de una RPC tienen un icono propio: nodos lugar, transiciones y arcos. Las variables y los conjuntos 67 68 color se declararán en la parte izquierda de la ventana. Una vez completada la RPC se hará un clic con el botón secundario del ratón en la parte izquierda y se usará la opción guardar como, se le dará una ubicación y un nombre al fichero cpn. Este fichero podrá ser abierto desde un editor de texto y podrá observar su formato XML. Abrir el fichero con la RPC en XML El primer paso para llevar a cabo la traducción de una RPC creada con la herramienta gráfica CPN Tools es abrir el fichero que contiene la RPC. Para ello se deberá hacer clic en el Menú Archivo y usar la opción Abrir como se muestra en la figura 33. Se deberá navegar por las carpetas del sistema hasta encontrar el fichero *.cpn, se seleccionará y se pulsará el botón Abrir. Como se muestra en la figura 34. Figura 33. Detalle de la opción de menú Abrir 68 69 Figura 34. Detalle de la selección de un fichero *.cpn. Realizar la traducción Para efectuar la traducción se pulsará el botón con la T de color rojo, como puede verse en la figura 35. Cuando el traductor termina la traducción de la RPC, se muestra el resultado de la RPC traducida como se observa en la figura 36. Si se desea se puede regresar a la RPC XML pulsando el botón, y pulsándolo de nuevo se volverá a ver la traducción realizada. 69 70 Figura 35. Detalle del botón para traducir. 6.3 Resultado obtenido de la traducción del sistema Job Shop La figura 36 muestra el contenido del fichero generado por la traducción que está listo para su utilización como entrada del simulador/optimizador SATD. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % % Nombre_fichero:Job_shop.txt FECHA: % %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% % Número de niveles del árbol NI 1000 Figura 36.a Traducción de un sistema RPC Job Shop. 70 Mostrar más
TEMA 2 WINDOWS XP Lección 4 BLOC DE NOTAS 1) EL PEQUEÑO EDITOR El Bloc de notas de Windows XP es un básico editor de texto con el que podemos escribir anotaciones, de hasta 1024 caracteres por línea y Más detalles WINDOWS. Iniciando Windows. El mouse
Windows es un sistema operativo, cuyo nombre lo debe al principal elemento de trabajo, la ventana - en inglés window -. Este tiene características como: Multitarea: durante una sesión de trabajo, es posible Más detalles Grafos. Manual de usuario. Grafos - Manual de usuario
Grafos Manual de usuario Grafos forma parte de un proyecto de investigación y desarrollo de aplicaciones informáticas de diseño modular orientadas hacia la docencia, investigación y labores profesionales Más detalles El Explorador es una de las aplicaciones más importantes con que cuenta
El Explorador de Windows Características del Explorador de Windows Windows. El Explorador es una de las aplicaciones más importantes con que cuenta A través del Explorador se pueden realizar muchas tareas Más detalles más información sobre este tema, consultar la sección Plantillas de documento )
Manejo básico y edición de documentos Word es un procesador de textos, o lo que es lo mismo, un programa para manejar documentos. Las tareas más importantes relacionadas con la edición de un documento, Más detalles Sección 1.1 Presentaciones con diapositivas
Sección 1.1 Presentaciones con diapositivas Las presentaciones nos permiten comunicar información, ideas y conceptos de una forma atractiva e interesante. Son muchos los ámbitos donde se utilizan presentaciones: Más detalles ETIQUETA DISEÑO DE PÁGINA
ETIQUETA DISEÑO DE PÁGINA Es la tercera etiqueta de Excel 2007, agrupa las herramientas de temas 10, configuración de pagina, ajustes del área de impresión, opciones de la hoja (cuadriculas y encabezados), Más detalles ESCUELA SUPERIOR DE INFORMATICA Prácticas de Estadística UNA SESIÓN EN SPSS
UNA SESIÓN EN SPSS INTRODUCCIÓN. SPSS (Statistical Product and Service Solutions) es un paquete estadístico orientado, en principio, al ámbito de aplicación de las Ciencias sociales, es uno de las herramientas Más detalles TEMA 2 WINDOWS XP Lección 3 PROGRAMA WORDPAD
TEMA 2 WINDOWS XP Lección 3 PROGRAMA WORDPAD 1) TRATAMIENTO DE TEXTOS Uno de los programas accesorios más útiles entre los que vienen con Windows XP es WordPad: un tratamiento de textos pequeño, pero potente, Más detalles Unidad 2: El sistema operativo. Trabajo sin conexión.
El ambiente de trabajo Descripción del ambiente de trabajo Luego de encendida la computadora, la pantalla se presenta de la forma que lo muestra la figura. El ambiente de trabajo que proporciona el sistema Más detalles SIMULADOR DE SISTEMAS DE EVENTOS DISCRETOS
SIMULADOR DE SISTEMAS DE EVENTOS DISCRETOS MANUAL DE USUARIO 1.1 Introducción. El simulador de sistemas de eventos discretos está compuesto por dos aplicaciones: el Simulador de redes de Petri y el Simulador Más detalles Manual Básico de PowerPoint 2007. Contenido
Es posible ejecutar el comando tantas veces como copias se desee hacer, ya que tras pegar el texto, una copia del mismo sigue en el Portapapeles. Se dispone de varios caminos para llegar a estas opciones: Más detalles Operación Microsoft Windows XP
El Explorador de Windows xp Características del Explorador de Windows El Explorador de Windows es una de las aplicaciones más importantes con las que cuenta Windows. Es una herramienta indispensable en Más detalles Aplicación Tipo para Tabletas Gráficas Escribe, yo leo
Escribe, yo leo Alumnas: Ana Belén López Díaz Adriana Aparício Marijuán -1- MANUAL DE USUARIO -2- Indice de contenido 1.Descripción de la aplicación...5 2.Pantalla Inicial...6 3.Pantalla Final...7 4.Pantalla Más detalles Ana Rosa Hevia García F
1 Organización y gestión. Ahora que ya hemos tenemos una visión general del entorno de Windows y sabemos cómo configurar el ordenador según nuestras necesidades, ya podemos comenzar a utilizar las herramientas Más detalles Guía de usuario: Liquidación de operaciones de Préstamo y Leasing
Guía de usuario: Liquidación de operaciones de Préstamo y Leasing NewPyme S.L. C. Capitán Dema 3 2º C 03007 Alicante Tel: +34 965 106 380 Fax: +34 965 107 461 Sitios web: http://www.abanfin.com http://www.areadepymes.com Más detalles Creando el balance de mí presupuesto familiar.
Creando el balance de mí presupuesto familiar. Microsoft Excel Xp es la planilla de cálculo mas utilizada hoy en día, forma parte de la Suite de Microsoft Office Xp. Una diferencia con cualquier programa, Más detalles Introducción a Mozilla Navegador
20021125 Universidad de Navarra Introducción a Mozilla Navegador Versión 1.1. cti Centro de Tecnología Informática Tabla de contenidos 1. Mozilla Navegador...3 1.1.Establecer las preferencias de Navigator...4 Más detalles Prácticas de Introducción a los Computadores Curso 2000-2001 1 WINDOWS 95
Prácticas de Introducción a los Computadores Curso 2000-2001 1 Novedades WINDOWS 95 Windows 95 es un sistema operativo orientado a documentos. Permite la asociación de la extensión de cada fichero a un Más detalles Procesador de textos MS Word 97 (1 de 2) (aplicable a MS Word para Office XP)
Introducción a la Informática - TEMA 5: Procesador de Texto 1 Procesador de textos MS Word 97 (1 de 2) (aplicable a MS Word para Office XP) Departament d Informàtica de Sistemes i Computadors 1 Contenido Más detalles MANUAL DE AYUDA SOCIEDADES 2012 GNU/Linux
MANUAL DE AYUDA SOCIEDADES 2012 GNU/Linux Agencia Tributaria Centro de Atención Telefónica Departamento de Informática Tributaria ÍNDICE SOCIEDADES 2012 INTRODUCCIÓN... 3 Requisitos mínimos... 3 Comprobaciones Más detalles O3 Entorno de Trabajo
O3 Entorno de Trabajo Entorno de trabajo En este capítulo explicaremos los diferentes elementos que componen el entorno de trabajo de la aplicación. El modo de trabajo que se explicará a continuación es Más detalles MANUAL DE AYUDA SOCIEDADES 2010 MACOS
MANUAL DE AYUDA SOCIEDADES 2010 MACOS Agencia Tributaria Centro de Atención Telefónica Departamento de INFORMÁTICA TRIBUTARIA ÍNDICE SOCIEDADES 2010 INTRODUCCIÓN... 3 Requisitos mínimos... 3 REQUISITOS Más detalles Microsoft. desde Word 2003
Windows XP. Sistemas operativos (tercera parte) Autor: Editorial McGraw-Hill 1 Presentación del curso En esta tercera parte de nuestro curso sobre el Sistema Operativo Windows XP te enseñaremos a utilizar Más detalles Los sistemas de explotación WINDOWS y MS-DOS
Práctica 1 Los sistemas de explotación WINDOWS y MS-DOS En la primera práctica se introduce al alumno en el manejo de dos sistemas de explotación muy extendidos: WINDOWS y MS-DOS. El primero de ellos (y Más detalles Unidad Nº1. Introducción a la interfaz y manejo de operaciones fundamentales con documentos
Módulo 3 Herramientas de Cómputo Creación, configuración, formato y visualización de una presentación en Power Point Cómo crear una diapositiva nueva? Para crear una diapositiva nueva tienes que ir al Más detalles Paint es una herramienta de diseño de dibujos los cuales son almacenados como mapa de bits (archivos de imágenes tipo *.bmp).
Aplicación Paint Generalidades Paint es una herramienta de diseño de dibujos los cuales son almacenados como mapa de bits (archivos de imágenes tipo *.bmp). Para ejecutar la aplicación Paint se debe seleccionar Más detalles Hofmann 4.0 Tutorial Rev. Noviembre 2006 1
Hofmann 4.0 Tutorial Rev. Noviembre 2006 1 Introducción Hofmann es un programa informático para diseñar, de una forma intuitiva, rápida y sencilla, álbumes y pósters digitales. Una vez creado el proyecto Más detalles (Objetivo) Curso de Informática Básica. Word 2003. Índice. Word 2003. Conceptos Básicos. Uso avanzado de Word. Universidad Rey Juan Carlos
Universidad Rey Juan Carlos Estefanía Martín Liliana P. Santacruz Laboratorio de Tecnologías de la Información en la Educación 2 Objetivo Entender los conceptos procesador de texto y sistema de tratamiento Más detalles En esta sesión revisaremos cómo se pueden insertar gráficos e imágenes en
Unidad VI. Hojas de cálculo (Microsoft Excel) Semana 10 Presentación En esta sesión revisaremos cómo se pueden insertar gráficos e imágenes en las hojas de cálculo que se elaboren de acuerdo con los datos Más detalles INTRODUCCIÓN A MICROSOFT WINDOWS XP
2011 Introducción a Windows XP Ing. Juan Carlos Antón S. Ingeniería en Sistemas INTRODUCCIÓN A MICROSOFT WINDOWS XP Objetivos: Conoce los conceptos y componentes básicos de Windows. Desarrollar habilidades Más detalles Universidad Rey Juan Carlos Escuela Superior de Ciencias Experimentales y Tecnología. Introducción al manejo del Sistema Operativo Windows.
Universidad Rey Juan Carlos Escuela Superior de Ciencias Experimentales y Tecnología Ingeniería Química Asignatura: Informática (1º Curso) Introducción al manejo del Sistema Operativo Windows. Esta práctica Más detalles Arquitectura de Aplicaciones
1 Capítulo 13: Arquitectura de aplicaciones. - Sommerville Contenidos del capítulo 13.1 Sistemas de procesamiento de datos 13.2 Sistemas de procesamiento de transacciones 13.3 Sistemas de procesamiento Más detalles DIAGRAMAS DE FLUJO: DFD
DIAGRAMAS DE FLUJO: DFD DFD es un programa de libre disposición para ayuda al diseño e implementación de algoritmos expresados en diagramas de flujo (DF). Además incorpora opciones para el depurado de Más detalles APUNTE DE LA CÁTEDRA 1RA A PARTE WORD: : ALGUNAS NOCIONES BÁSICAS
APUNTE DE LA CÁTEDRA PROCESADOR DE TEXTOS: MICROSOFT WORD Qué es un Procesador de textos o palabras? Un procesador de palabras es una herramienta que sirve para el manejo de textos en general. Con éste Más detalles Operación de Microsoft Word
Generalidades y conceptos Combinar correspondencia Word, a través de la herramienta combinar correspondencia, permite combinar un documento el que puede ser una carta con el texto que se pretende hacer Más detalles MATRIX PRO GUÍA RÁPIDA
GUÍA RÁPIDA Este documento pretende ser una guía para familiarizarse de forma rápida con esta aplicación, realizando unos pasos básicos. Matrix PRO es muy flexible, y a medida que se adentre en su uso Más detalles NOTA: Los MAC basados en el procesador "POWER PC" no son compatibles con Silverlight.
Hofmann MP Tutorial Rev. Octubre 2011 Introducción Hofmann es un programa informático para diseñar, de una forma intuitiva, rápida y sencilla, álbumes, libros de fotos y lienzos. Una vez creado el proyecto Más detalles 805 Photo Printer. Guía del controlador de la impresora
805 Photo Printer Guía del de la impresora Contenido Guía del de la impresora Acerca del de la impresora Funciones del de la impresora Acerca de la guía en línea Asistencia o información adicional Requisitos Más detalles 3_formato I. NOTA: al pegar unas celdas sobre otras no vacías, se borrará el contenido de estas últimas.
3. Luego se seleccionan las celdas donde se quiere que se sitúen las celdas cortadas. No hace falta seleccionar el rango completo sobre el que se va a pegar, ya que si se selecciona una única celda, Calc Más detalles GUÍA DEL USUARIO DE SOFTWARE
GUÍA DEL USUARIO DE SOFTWARE Serie RJ El contenido de esta guía y las especificaciones de este producto pueden cambiar sin notificación. Brother se reserva el derecho de modificar sin previo aviso las Más detalles SISTEMA OPERATIVO WINDOWS
SISTEMA OPERATIVO WINDOWS QUÉ ES WINDOWS? Es un Sistema Operativo, que cuenta con un Ambiente Gráfico (GUI) que permite ejecutar programas (aplicaciones) de forma más fácil y cómoda para el usuario. Viene Más detalles Práctica 3: Introducción a Word
Departament d Enginyeria i Ciència dels Computadors Práctica 3: Introducción a Word B12. Informática I. Curso 2001/2002 Profesores: Julio Pacheco Juanjo Murgui Raul Montoliu Mª Carmen Ortiz Octubre 2001 Más detalles > Temario Curso Office en Mac <
Procesador de texto Introducción El procesador de texto, forma parte de la suite de Microsoft Office y es uno de los más utilizador en la actualidad. Su gran versatilidad permite realizar desde una carta Más detalles MANUAL DE AYUDA INFORMATIVAS MAC/OSX
MANUAL DE AYUDA INFORMATIVAS MAC/OSX Agencia Tributaria Centro de Atención Telefónica Departamento de INFORMÁTICA TRIBUTARIA ÍNDICE PLATAFORMA DE INFORMATIVAS INTRODUCCIÓN... 4 Requisitos mínimos... 4 Más detalles Capítulo 8. Editar tablas de resultados
Capítulo 8 Editar tablas de resultados Los objetos del Visor de resultados adoptan, según sabemos ya, tres tipos de formato: texto, tablas y gráficos. Pero la mayor parte de los objetos adoptan formato Más detalles UNIVERSIDAD DE ORIENTE UNIVO FACULTAD DE CIENCIAS ECONOMICAS SECCION COMPUTACION MANUAL DE WINDOWS 2003
UNIVERSIDAD DE ORIENTE UNIVO FACULTAD DE CIENCIAS ECONOMICAS SECCION COMPUTACION MANUAL DE WINDOWS 2003 SAN MIGUEL, AGOSTO 2010 INDICE 1. Iniciación a Windows... 2 1.1. Manejo del Ratón... 2 1.2. Manejo Más detalles Tècnic Auxiliar en Disseny Industrial - Manual Autocad 2011. Atributos. Un atributo es un objeto que se crea e incluye con una definición de bloque.
ATRIBUTOS Un atributo es un objeto que se crea e incluye con una definición de bloque. Los atributos pueden almacenar datos como números de serie, nombres de productos, etc. Ejemplos de algunas aplicaciones Más detalles Navegar por Windows 8. capítulo 05
Navegar por capítulo 05 Navegar por navegar presenta novedades en cuanto a la navegación. Podríamos separar la navegación en dos tipos, la navegación a través del explorador y por lo tanto por el escritorio, Más detalles MANUAL DE AYUDA INFORMATIVAS WINDOWS
MANUAL DE AYUDA INFORMATIVAS WINDOWS Agencia Tributaria CENTRO DE ATENCIÓN TELEFÓNICA DEPARTAMENTO DE INFORMÁTICA TRIBUTARIA ÍNDICE PLATAFORMA DE INFORMATIVAS INTRODUCCIÓN... 4 Requisitos mínimos... 4 Más detalles Microsoft Word 2007 (Completo)
Microsoft Word 2007 (Completo) Curso para conocer y aprender a manejar el procesador de textos Microsoft Word 2007, explicando las funciones necesarias para el manejo del programa y la creación de documentos Más detalles GE Power Management GE_LOCAL. Software de Comunicación. Instrucciones GEK 105568C
GE Power Management Software de Comunicación GE_LOCAL Instrucciones GEK 105568C ,1',&( 1. INSTALACIÓN...3 1.1. REQUERIMIENTOS DEL SISTEMA...3 1.2. INSTALACIÓN DEL PROGRAMA...3 1.2.1. Instalación con disquetes....3 Más detalles Powerpoint es un programa incluido en la suite de Microsoft Office, que nos ofrece la posibilidad de crear presentaciones profesionales.
Qué es Powerpoint 2010? Powerpoint es un programa incluido en la suite de Microsoft Office, que nos ofrece la posibilidad de crear presentaciones profesionales. El entorno de trabajo En la siguiente imagen Más detalles ELECTRONICS WORKBENCH
PRÁCTICA 1: INTRODUCCIÓN A LA SIMULACIÓN DE CIRCUITOS ELECTRÓNICOS DIGITALES CON ELECTRONICS WORKBENCH Ingeniería Técnica en Informática de Sistemas. Miguel Martínez Iniesta Juan Antonio Ruiz Palacios Más detalles CURSOS DE OFIMATICA ::
CURSOS DE OFIMATICA :: Access Nivel Inicial :: Access Nivel Medio :: Access Nivel Avanzado :: Excel Nivel Inicial :: Excel Nivel Medio :: Excel Nivel Avanzado :: Power Point Nivel Inicial :: Power Point Más detalles Kepler 8.0 USO DEL ERP
Kepler 8.0 USO DEL ERP CONTENIDO 1. Introducción... 3 2. Inicio del sistema... 3 3. Pantalla inicial... 4 4. Barra de menús... 5 a) Menú archivo... 5 b) Menú edición... 6 c) Menú Ver... 6 5. Ayuda... 8 Más detalles 2 1.1 2 1.2 2 2. SOFTWARE +... 3 3. COMUNICACIÓN - CONEXIÓN DEL DISPOSITIVO...
Manual de software Dynamic Plus Fecha: 03/04/2014 Manual Software Dynamic Plus v2.0.5 ÍNDICE GENERAL 1. INTRODUCCIÓN... 2 1.1 Configuración mínima del PC... 2 1.2 Instalación del Software Dynamic Plus... Más detalles MANUAL DE AYUDA INFORMATIVAS WINDOWS
MANUAL DE AYUDA INFORMATIVAS WINDOWS Agencia Tributaria Centro de Atención Telefónica Departamento de INFORMÁTICA TRIBUTARIA ÍNDICE PLATAFORMA DE INFORMATIVAS INTRODUCCIÓN...4 Requisitos mínimos... 4 Requisitos Más detalles FUNDAMENTOS DE INFORMÁTICA
UNIVERSIDAD TECNOLÓGICA NACIONAL FACULTA REGIONAL ROSARIO FUNDAMENTOS DE INFORMÁTICA Profesor: Dra. Sonia Benz. Auxiliares: Ing. Evangelina Delfratte - Ing. Patricia Mores Introducción a MS Word. Herramientas Más detalles Documento en blanco, el cual permite al seleccionarlo y pulsando el botón
SISTEMAS OPERATIVOS Nuestro cerebro y el cerebro de una computadora son, obviamente, cosas diferentes. Nosotros tenemos una forma de ver las cosas y la computadora las ve de otra manera. Como debemos entendernos Más detalles Nos identificamos con nuestro nombre de usuario y la contraseña y llegamos a esta página
ADMINISTRACIÓN DEL SITIO WEB Todos los jefes de Departamento, coordinadores de proyectos y directivos del Centro somos administradores de la página web. Cada uno tendrá la responsabilidad de administrar Más detalles Introducción a Excel 2007
EXCEL 2007 Capítulo 1 Introducción a Excel 2007 En este primer capítulo nos introduciremos en Excel 2007, dando una primera visión de todo lo que podemos hacer con este sistema. Analizaremos su interfaz Más detalles Compartir recursos en red bajo Windows XP.
Inicio> SAU> Servicios Conexión a RIUJA Compartir recursos en red bajo Windows XP. 1.- Introducción. 2.- Compartir Archivos en una Red Local. 2.1.- Comprobaciones Iniciales. 2.2.- Compartir Carpetas. 2.2.1.- Más detalles PECO-GRAPH Manual de Usuario
ESPAÑOL PECO-GRAPH Manual de Usuario Software para la gestión gráfica de datos de conteo ÍNDICE 1 INTRODUCCIÓN...3 2 INSTALACIÓN...4 2.1 REQUISITOS...4 2.2 INSTALACIÓN Y EJECUCIÓN...4 3 FUNCIONALIDAD Y Más detalles Aprendiendo el uso de CmapTools Primera parte
Aprendiendo el uso de CmapTools Primera parte La ventaja de usar un software específico para dibujar los mapas conceptuales, es que permite mover los conceptos, flechas y enlaces a través del espacio de Más detalles MANUAL DE AYUDA INFORMATIVAS MAC/OSX
MANUAL DE AYUDA INFORMATIVAS MAC/OSX Agencia Tributaria CENTRO DE ATENCIÓN TELEFÓNICA DEPARTAMENTO DE INFORMÁTICA TRIBUTARIA ÍNDICE PLATAFORMA DE INFORMATIVAS INTRODUCCIÓN... 4 Requisitos mínimos... 4 Más detalles Control de accesos en red
Manual de software Control de accesos en red Access (Versión de sofware 1.0.2) (Versión de documento 1.0.7) Puede obtener información accediendo a nuestra página web www.simonalert.com Página - 1 - Puede Más detalles Tutorial de XnView. Visor de imágenes. Ministerio de Educación
Tutorial de XnView Visor de imágenes Colección de aplicaciones gratuitas para contextos educativos Ministerio de Educación para contextos educativos XnView pág. 2 Prólogo Este tutorial se enmarca dentro Más detalles 13.3. Personalización avanzada
13.3. Personalización avanzada Cómo crear informes mediante Report Builder Un informe es un documento que nos va a mostrar una información. En un informe disponemos de varias secciones. El encabezado de Más detalles ADMINISTRACIÓN MI PRIMER ARTÍCULO (Parte I) (Última revisión: domingo, 15 de febrero de 2009)
JOOMLA! ADMINISTRACIÓN MI PRIMER ARTÍCULO () (Última revisión: domingo, 15 de febrero de 2009) Cuando nos introducimos en el mundo de las páginas Web nuestro objetivo fundamental es poder comunicarnos Más detalles RS4soft. Software de configuración y diagnóstico para el escáner láser de seguridad ROTOSCAN RS4 PARAMETRIZACIÓN SEGURA
RS4soft Software de configuración y diagnóstico para el escáner láser de seguridad ROTOSCAN RS4 607149-2009/01 Derechos a modificaciones técnicas reservados PARAMETRIZACIÓN SEGURA 2009 Leuze electronic Más detalles DEPARTAMENTO: 09640 - Habilidades Básicas en Computación
FACULTAD: Ingenierías DEPARTAMENTO: TIC MATERIA: 09640 - Habilidades Básicas en Computación PRERREQUISITOS Ninguno PROGRAMA: Todos los programas de pregrado PERIODO ACADÉMICO: 2015-01 INTENSIDAD HORARIA: Más detalles Microsoft Access proporciona dos métodos para crear una Base de datos.
Operaciones básicas con Base de datos Crear una Base de datos Microsoft Access proporciona dos métodos para crear una Base de datos. Se puede crear una base de datos en blanco y agregarle más tarde las Más detalles 2. Entorno de trabajo y funcionalidad en Arquímedes
2. Entorno de trabajo y funcionalidad en Arquímedes 2.20. Servidor de bases de datos de Arquímedes... 1 2.20.1. Ejemplo de trabajo con una base de datos remota... 14 2.20. Servidor de bases de datos de Más detalles Manual de EdasLink. Conde de Peñalver, 36 28008 Madrid. Tel.: 914449567. Tel.:902888884. www.zerocoma.com
Manual de EdasLink Conde de Peñalver, 36 28008 Madrid Tel.: 914449567 Tel.:902888884 INDICE 1. OBJETO... 3 2. ALCANCE... 3 3. FUNCIONAMIENTO... 4 GUÍA DE INSTALACIÓN... 4 INICIANDO LA APLICACIÓN... 5 LA Más detalles Periódico escolar. Propuesta didáctica con Scribus.
1 Periódico escolar. Propuesta didáctica con Scribus. Periódico escolar. Propuesta didáctica con Scribus. Periódico Escolar. Propuesta didáctica con Scribus 2 Introducción Scribus es un diseñador gráfico Más detalles Insertar o crear tablas. Insertar una tabla. Crear una tabla. Usar plantillas de tabla. Utilizar el menú Tabla. Utilizar el comando Insertar tabla
Insertar o crear tablas Insertar una tabla En Microsoft Office Word 2007 se puede insertar una tabla eligiendo un diseño entre varias tablas con formato previo (rellenas con datos de ejemplo) o seleccionando Más detalles Descripción del programa. Características. Licencia
Descripción del programa LongoMatch es una herramienta de análisis video de deportes para los entrenadores, para asistirlos en la toma de decisiones del juego y/o entrenamiento. Puede etiquetar los eventos Más detalles En esta segunda y última parte de la unidad veremos algunas de las funciones
Semana 6 Presentación En esta segunda y última parte de la unidad veremos algunas de las funciones más importantes de Microsoft PowerPoint, entre ellas: la creación y el trabajo con gráficos y animaciones, Más detalles 2015-2016. Prácticas de Informática 5
2015-2016 Prácticas de Informática 5 Sesión 1: Introducción a Corel Corel Draw es un programa de dibujo vectorial que facilita la creación de ilustraciones profesionales: desde simples logotipos a complejos Más detalles Calculadora virtual HP Prime
Calculadora virtual HP Prime Windows es una marca comercial del grupo de empresas Microsoft en los EE. UU. La información contenida en el presente documento está sujeta a cambios sin previo aviso. Las Más detalles Está activando el riego. manual de usuario. Cámara IP
Está activando el riego manual de usuario Cámara IP índice 1. Introducción. Funcionamiento.1 Inicializar la pantalla. Pantalla general.3 Funcionamiento detallado.3.1 Iluminación.3. Persianas.3.3 Simulación Más detalles TEMA 1: INTRODUCCIÓN Y CONCEPTOS BÁSICOS DE WINDOWS Qué es Windows?
TEMA 1: INTRODUCCIÓN Y CONCEPTOS BÁSICOS DE WINDOWS Qué es Windows? Windows es un Sistema Operativo. Un Sistema Operativo es un programa. Sin embargo, se trata de un programa especial cuya misión es la Más detalles JOOMLA! ADMINISTRACIÓN MI PRIMER ARTÍCULO (Parte I) (Última revisión: miércoles, 2 de marzo de 2011)
JOOMLA! ADMINISTRACIÓN MI PRIMER ARTÍCULO () (Última revisión: miércoles, 2 de marzo de 2011) Cuando nos introducimos en el mundo de las páginas Web nuestro objetivo fundamental es poder comunicarnos con Más detalles Curso de Visual Basic 6.0 - Lección 1 Area Interactiva - www.areaint.com. www.areaint.com CURSO DE. Visual Basic 6.0 WWW.AREAINT.
www.areaint.com CURSO DE Visual Basic 6.0 Pág. 1 LECCIÓN 1 En esta lección de introducción aprenderemos las principales características de un lenguaje de programación para crear aplicaciones bajo Windows. Más detalles WORD 2010. Modalidad: ON-LINE DURACIÓN: 65 horas OBJETIVOS
Modalidad: ON-LINE DURACIÓN: 65 horas WORD 2010 OBJETIVOS Curso para conocer y aprender a manejar el procesador de textos Microsoft Word 2010, explicando las funciones necesarias para el manejo del programa Más detalles Arturo Cepeda Pérez. Software Engineering Tutor
Software Engineering Tutor M A N U A L D E U S U A R I O Tabla de contenidos 1. Software Engineering Tutor... 1 2. Entorno... 2 2.1. Vista Modelo... 3 2.2. Vista Diagrama... 4 2.3. Vista Propiedades... Más detalles MICE: Manual de usuario
Centro Politécnico Superior Universidad de Zaragoza MICE: Manual de usuario María Isabel González Ramírez Director: Dr. Joaquín Ezpeleta Mateo Septiembre 2009 Departamento de Informática e Ingeniería de Más detalles Módulo I - Word. Iniciar Word... 2. Finalizar Word... 3. Definición de elementos de pantalla... 4. Escribir texto en un documento... 5. El cursor...
Módulo I - Word Índice Iniciar Word... 2 Finalizar Word... 3 Definición de elementos de pantalla... 4 Escribir texto en un documento... 5 El cursor... 5 Control de párrafos... 5 Nuevos párrafos... 5 Abrir Más detalles Instructivo de Microsoft Word 2003
Instructivo de Microsoft Word 2003 El presente instructivo corresponde a una guía básica para el manejo del programa y para la adquisición de conceptos en relación a este utilitario. No obstante ello, Más detalles EXCEL XP. Qué es Excel? La ventana de Excel UNIVERSIDAD REY JUAN CARLOS
UNIVERSIDAD REY JUAN CARLOS EXCEL XP Qué es Excel? Es una hoja de cálculo. Una hoja de cálculo es una especie de tabla cuyas casillas o celdas pueden contener distintos valores: Texto. Números, fechas Más detalles ESCUELA DE CONDUCTORES PROFESIONALES ESPOL EP. Cuestionario

References: Resolución 
 Resolución 
 Resolución 
 Resolución 
 Resolución 
 resolución 
 resolución 
 Resolución