Definición y Validación de Procesos Workflow Temporizados Basados en PNwC

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Definición y Validación de Procesos Workflow Temporizados Basados en PNwC"

Transcripción

1 Definición y Validación de Procesos Workflow Temporizados Basados en PNwC G. Vilallonga, R. Uzal Universidad Nacional de San Luis - Departamento de Informática Ejército de los Andes San Luis Argentina Tel: + 54 (0) int Fax: + 54 (0) Resumen La Reingeniería de Procesos de Negocios (BPR) es uno de los medios óptimos para la revisión y mejoramiento de los procesos de negocios. Workflow (Wf) es una tecnología que permite la implementación de la BPR. La interface 1 del modelo de referencia de Wf permite la definición de procesos (PD) Wf (WPD), si bien posee elementos para la simulación de estas definiciones, no posee herramientas para la validación. Además de la falta de elementos que permitan el modelado de la variable tiempo. Nuestro trabajo brinda el marco teórico para la validación de la PD de Wf por medio de Redes de Petri con Relojes (PNwC). Nuestro objetivo es la definición de una herramienta, con sólida base teórica, que permita la validación de definiciones de procesos, especialmente aquellos que poseen requerimientos temporales, donde Wf presenta debilidades. Este trabajo presenta la correspondencia entre la PD de Wf y una PNwC. Aquí se especifica que para toda WPD existe una PNwC que contiene igual semántica que la PD. Esta correspondencia es especificada por medio del Lenguaje de Especificación RAISE (RSL). Introducción La Reingeniería de Procesos de Negocios (BPR) se la utiliza como una forma válida de alimentación a la ingeniería de software (SE). Permite el replanteo y rediseño del proceso de negocio para lograr un mejoramiento en las medidas de rendimientos, [1]. Es necesario el replanteo de todas las operaciones y tratar de rediseñarlas de manera que se pueda hacer uso de nuevas tecnologías para el servicio de los clientes [2]. Workflow (Wf) es una de las tecnologías que permite la implementación BPR. Provee la automatización del proceso de negocio, en un todo o en parte. El Modelo de Referencia de Wf surge como la necesidad de definir la interface a los elementos de Wf [3]. La Interface 1: Definición de Procesos (PD) [4] es la encargada de la transferencia de las definiciones de procesos desde las herramientas externas al motor

2 2 G. Vilallonga, R. Uzal de Wf donde éstas son normalizadas. La PD se define como la representación de un BP de forma que soporte manipulación automatizada, tal como el modelado, o la declaración por medio de un Sistema Gestor de Wf (WMS). La PD consiste de una red de actividades y sus relaciones. Wf presenta dos debilidades a la hora de modelar sistemas: la de no poseer elementos que permitan modelar la variable tiempo y no poseer herramientas para la validación de sus modelos [5, 6]. Las PNwC, extensión de las PN, poseen todas las virtudes de estas redes y permiten el modelado de la variable tiempo, por medio de la especificación de relojes, usando invariantes temporales en los lugares y condiciones temporales en las transiciones. Las PNwC poseen un método de análisis de las restricciones temporales en el espacio de estado que se genera a partir de la red definida [7, 8]. Nuestro trabajo se centra en la obtención de la gramática extendida para la especificación de procesos Wf con tiempo para una posterior correspondencia con una PNwC con igual comportamiento. De esta manera se puede validar el proceso definido en la Interface 1 del Modelo de Referencia de Wf. El establecimiento de la correspondencia de una WPD y una PNwC ha sido especificada para cada caso en un lenguaje riguroso como lo es RSL, RAISE Specification Language, dotando a nuestro trabajo de un marco formal. 1 RAISE RAISE provee un método formal completo, junto con herramientas de soporte, para la aplicación de un acercamiento formal a la especificación, diseño e implementación de software [9]. RAISE proviene de su sigla en inglés de Rigurous Approach to Industrial Software Engineering. El objetivo del proyecto RAISE fue desarrollar una notación, técnicas y herramientas que habilitaran al uso industrial de un método formal en la construcción de sistemas de software. El Lenguaje de Especificación RAISE, RSL, provee una notación basada en matemática, la cual es útil para especificar, diseñar y desarrollar formalmente software [10]. RSL permite especificar abstracciones, sistemas con especificaciones secuenciales como así también sistemas concurrentes, sistemas de gran tamaño a ser modularizados, y la separación de subsistemas que serán desarrollados por separado. RSL permite el diseño operacional de bajo nivel que será expresado a un nivel de detalle desde el cual se hace la extracción de código final. Permite la construcción desde la especificación al diseño usándose un único formalismo Especificaciones orientadas a la propiedad En los lenguajes de especificación algebraica las posibles denotaciones de tipos (types) y valores (values) son restringidas por medio de axiomas (axioms). En el estilo usual de especificación algebraica los axiomas individuales pueden afectar las posibles notaciones de los nombres de valores y tipos. La estructura de la denotación del nombre de un tipo (sorts) está implícito derivado de los axiomas. También el uso de axiomas, en contraste con las definiciones de tipos y valores explícitos (incluyendo funciones), puede resultar en una falta de especificación (under-specification).

3 Definición y Validación de Procesos Workflow Temporizados Basados en PNwC 3 Ya que los sorts, eventualmente, tiene que ser implementados, la posible denotación debe ser extraída de los tipos los cuales podrían ser explícitamente definidos. De esta manera las especificaciones orientadas a la propiedad pueden fácilmente ser formalmente encadenadas a los diseños orientados al modelo. En RSL existen dos tipos de módulos, objetos (objects) y esquemas (schemes). Un esquema representa una clase (class), posiblemente parametrizada, de modelos, mientras que un objeto representa un modelo simple perteneciente a una clase especificada o un arreglo de dichos modelos. Las expresiones de clases básicas en RSL corresponden a la presentación de teoría (signatura+axiomas) en lenguajes de especificación algebraica. Extend corresponde al concepto de enriquecimiento de una clase padre. 2 - Redes de Petri con Relojes Una PNwC [11, 7, 8] es una PN con Relojes, una PN extendida, basada en grafos temporizados [12, 13, 14, 15], con un conjunto finito de Relojes cuyos valores son incrementados uniformemente con tiempo. Las restricciones asociadas con el sistema son expresadas por medio de invariantes en los lugares y una condición de habilitación por cada transición. La reinicialización de un reloj puede ser especificada en cada transición. También, el disparo de una transición es una acción instantánea que no consume tiempo. El tiempo corre solo en los lugares, no mas allá de lo establecido en el invariante del lugar. Formalmente la estructura de una PNwC es una n-upla: PNwC = <S, X, Inv, C, A > donde : S, estructura de una PN estándar, X conjunto finito de relojes, variables reales positivas, del sistema, Inv: P Ω, asocia a cada lugar p i P, un predicado restringido Ω Ω X llamado invariante del lugar. C: T Ψ, asocia a cada transición t T, un predicado restringido Ψ Ψ X llamada condición de la transición. A: T w, conjunto de relojes de la transición que son inicializados en cero w X. Predicados Restringidos Ω X Ω X es un conjunto de predicados restringidos definidos sobre un lugar como una combinación booleana de átomos que toman la forma x # c, donde x X, # es una relación binaria sobre el conjunto {<,, >,, =, } y c R +0. Predicados Restringidos Ψ X Ψ X es un conjunto de predicados restringidos, definidos como una combinación booleana de átomos Expr de la forma x # c, donde x X, # es una relación binaria del conjunto {=,,<,, >, }, c R +0. Luego el predicado tendrá la forma:

4 4 Expr k, o k, donde k R es un operador binario que pertenece al conjunto { <, }. Al menos un reloj que participa en Ψ x debe poseer cota superior. Valuación VaL VaL es el conjunto de todos los vectores de dimensión k, donde k es la cardinalidad del conjunto X, y cada elemento del vector pertenece a R +0, y representa el valor del correspondiente reloj en un determinado estado del sistema, VaL = {v / v = (v 1,, v k ) k = X j, 1 j k v j R +0 } Predicado aplicado a una Valuación Φ[v] Φ[v] ((x i # c) está en Φ) se cumple v(i) # c, donde x i X, # es una relación binaria sobre el conjunto {<, >, =,,, }, c R +0. Estado q Un estado de una PNwC es un par q = (µ, v), µ M y v VaL, donde la valuación v de los relojes satisface el invariante de los lugares de la red. Conjunto de todos los estados Z El conjunto de todos los posibles estados de una PNwC es representado por medio de Z Q x VaL, tal que: Z = {(µ, v) µ Q se cumple InvM(µ)[v] } La marca µ es un n-vector µ = (µ 1, µ 2 µ n ), con n = P y µ i 1atcon 1 i n, definida de igual manera que para PN estándar. El conjunto de todas las marcas Q, es el conjunto de todos los vectores de dimensión n, Q Nat n. Invariante de una Marca InvM(µ) en un estado q=(µ, v) El invariante de una marca InvM(µ), que pertenece a un estado q=(µ, v), es la conjunción de los invariantes de los lugares donde el número de elementos es mayor que cero evaluados en el estado q. InvM(µ) Λ EvaPredOmega(Inv(p i ), v) donde p i P µ(p i ) > 0 Red de Petri con Relojes Marcada MPNwC Una PNwC Marcada es definida como MPNwC = < S, X, Inv, C, A, (µ, v) > donde S, X, Inv, C y A forman la estructura básica de la red, y (µ, v) Z, µ M y v VaL. Luego, un estado de una PNwC q = (µ, v), µ M y v VaL cumple InvM(µ)[v]. Transición habilitada en MPNwC E(t, q)

5 Definición y Validación de Procesos Workflow Temporizados Basados en PNwC 5 Sea q = (µ, v) un posible estado de una PNwC, donde µ es la marca y v la valuación de los relojes. En q, la valuación de los relojes satisface los invariantes asociados a cada lugar en la marca. Una transición t T en una MPNwC está habilitada E(t, q) en el estado q = (µ, v), E(t, q) p i I(t) µ(p i ) #(p i, I(p i )) se cumple C(t)[v]. Los cambios de estado están regidos por un sistema que especifica la obtención de un nuevo estado a partir de otro por el disparo de una transición. Junto con el disparo de la transición se efectúa el reseteado del subconjunto de relojes asociados por la función A. A esto se le denomina ejecutar la afectación asociada a la transición. Afectación Una afectación α es una relación entre valuaciones, es decir α VaL VaL; Luego la afectación α implica la existencia de un conjunto { x i := 0 x i X X X }, que contiene los relojes afectados, los relojes restantes del sistema permanecen con sus valores. Así una afectación se expresa α(v, v ), donde v es obtenida a partir de v por la afectación α. Una transición, además de su condición, predicado del tipo Psi, Ψ, tiene asociado un subconjunto de relojes del sistema: A: T w, subconjunto de relojes, w X. Informalmente, los relojes asociados a la transición son puestos en cero, mientras que los restantes, relojes del sistema, permanecen con sus valores. Una afectación α es una función α: VaL T VaL α(v, t) = v x i X [x i A(t) v (i) = 0 x i A(t) v (i) = v(i)] La definición de esta función refleja que el conjunto de relojes asociados a una transición son reseteados, toman valor cero, cuando ésta dispara Ejecución de una MPNwC La ejecución de una PNwC está dada por el disparo de transiciones. Los disparos se producen condicionados por si la transición está habilitada para disparar, esto es, si tiene la cantidad necesaria de elementos en los lugares de entrada y se cumple la condición asociada. Dicho disparo provoca un cambio de estado, una nueva marca y una nueva valuación. A continuación se dan una serie de definiciones que formalmente especifican la idea anterior. Sistema de Cambio de Estados El Sistema de Cambio de Estados está representado por la siguiente expresión: SC = Z,

6 6 donde Z es el conjunto de todos los estados. La relación de cambio Z T Z tiene dos tipos de cambios: temporales e instantáneos. La notación es q time q para los cambios temporales y q t q para los cambios instantáneos, donde q, q Z, t T, y time R +. ƒ Cambio de Estado Temporal time El cambio de estado Temporal representa el tiempo transcurrido por un cambio rotulado time desde el estado (µ, v) al (µ, v+time), (µ, v) Z, time R +0. (µ, v) time (µ, v+time) y, y R +0 0 y time se cumple InvM(µ)[v+y]. ƒ Cambio de estado Instantáneo o Discreto (por una transición) t Un cambio de estado instantáneo está dado por la ejecución de la transición t T, donde el cambio es rotulado t, desde el estado (µ, v) al estado (µ, v ). (µ, v) t (µ, v ) E(t, (µ, v)) α(v, t) = v. 3 Workflow Workflow es una de las tecnología que permite la implementación de Reingeniería de Procesos de Negocios, BPR. Permite la automatización del proceso de negocio, durante el cual documentos, información, o tareas son pasadas de un participante a otro, de acuerdo a un conjunto de reglas de procedimiento [3]. Wf normalmente comprende un cierto número de pasos lógicos, donde cada uno de estos es conocido como una actividad. Una actividad puede involucrar interacción manual con un usuario, o participante de Wf, o la actividad puede ser ejecutada usando como recursos a computadoras. El WMS es un sistema que define, crea y maneja la ejecución de Wf a través del uso de software. El Modelo de Referencia de Wf, WMR, surge como la necesidad de definir la interface a los elementos de Wf [4]. Todos los sistemas Wf son orientados a procesos. Una definición y creación de un proceso, o sea una representación de lo que debería ocurrir, comprende algunos subprocesos los cuales involucran actividades. Por lo tanto, Wf ejecuta las actividades automatizadas, mientras que la definición de procesos describe todas las actividades ya sean automatizables o no Definición de Procesos de Wf El Modelo de Referencia de Wf es el modelo que describe las cinco interfaces que representa la Interoperabilidad del Motor de Wf. La definición de la Interface 1 trabaja en el manejo de la transferencia de PD desde herramientas externas al motor de Wf donde estos son normalizados. La WPD describe el proceso en si mismo. En las definiciones de procesos se establecen relaciones entre las diferentes actividades, información de transiciones y la implementación de éstas.

7 Definición y Validación de Procesos Workflow Temporizados Basados en PNwC Actividad de Proceso de Workflow La Definición de Actividad de Wf se usa para definir cada actividad elemental que conforma el proceso de Wf. Los atributos pueden ser definidos para especificar información de control de una actividad, alternativas de implementación, prioridad, y datos usados específicamente en BPR y situaciones de simulación. En general, las restricciones de transiciones pueden ser declaradas a nivel del límite dentro del proceso circundante mientras las condiciones de flujos especializadas (subflujos, loops, o partes internas de una actividad de ruteo) operan internamente a una actividad. La figura 1 muestra la estructura genérica de una actividad y sus variantes: Incoming Incoming Incoming Incoming (Join Activity Body (Join Null (Join Loop Control loop begin transition Loop Body (Join Sub-Flow call Sub-Process (Split (Split (Split (Split return Outgoing Outgoing Outgoing loop end transition Outgoing Generic Activity ROUTE Activity LOOP Activity SUBFLOW Activity Fig. 1. Tipos de Actividades. En caso de existir múltiples transiciones de entrada o salida para una actividad, las opciones para expresar restricciones de flujo de control y semánticas de evaluación de condiciones son provistas en la definición de las actividades. La Restricción de Transición tiene atributos especiales como descripciones de JOIN y SPLIT. El atributo JOIN describe la semántica de múltiples transiciones de entrada. El atributo SPLIT describe la semántica de múltiples transiciones de salida para una actividad. Tiene dos posibles maneras de expresarse: AND SPLIT y XOR SPLIT Información de Transición Las actividades están relacionadas unas con otras por medio de condiciones de control de flujo (información de transición). La Información de Transición describe las posibles transiciones entre actividades, las cuales se habilitan y deshabilitan durante la ejecución del Wf, y las condiciones en que éstas se realizan.

8 8 4 - Correspondencia entre Wf y PNwC El objetivo de nuestro trabajo es la extensión de Wf para que permita la especificación de expresiones temporales. Esto está motivado en dos aspectos, el primero es no poseer elementos para especificar la variable tiempo en sus expresiones. La segunda en la falta de herramientas para la validación y análisis de sus modelos, sin tener que llegar a la fase de simulación. La correspondencia entre Wf y PNwC se formaliza basándose en los esquemas RSL de cada uno de estos. A modo de ejemplo se muestra el método utilizado para establecer la correspondencia entre una actividad de tipo loop repeat-until y su correspondiente red Loop REPEAT-UNTIL En una actividad implementada como un loop REPEAT-UNTIL la evaluación de la condición asociada se realiza al finalizar el primer ciclo. Si la condición se cumple se abandona el ciclo, de lo contrario se seguirá ciclando hasta que la condición sea verdadera. En el siguiente gráfico se muestra la representación de una actividad loop, tipo REPEAT-UNTIL y su correspondiente PNwC. Cuerpo del Loop Join E. Loop Control t loop begin trans. Loop Body b p ts tn tn p p Split E. loop end trans. t c ps Este lugar es el que permitirá especificar la parte restricciones de transiciones de salida de la actividad En las condiciones de estas dos transiciones se refleja la condición y la negación de la condición para el ciclo. Si la condición es Falsa sigue ciclando. Si es Verdadera sale del ciclo. Fig. 2. Loop REPEAT-UNTIL

9 Definición y Validación de Procesos Workflow Temporizados Basados en PNwC 9 El axioma RSL que especifica la correspondencia, respeta los identificadores contenidos en la figura. La formalización en RSL es la siguiente: WPD: W.WfPD, a: W.Activity a W.ACT_LIST(WPD) RepeatUntil(a) ( NwC : N.NETwC, p, p', p'', ps: N.Place, tn, tn', ts: N.Trans, t, t': W.TRANSITION, b, c: W.Activity CorrespWf_PNwC(WPD, NwC) p N.P(N.Nt(NwC)) Corresp(WPD, a, NwC, p) CorrespTT(WPD, t, NwC, tn) FromLoopTo(t) a = FromLoop(t) b = To(t) Corresp(WPD, b, NwC, p') p dom N.I(N.Nt(NwC))(tn) p' dom N.O(N.Nt(NwC))(tn) CorrespTT(WPD, t', NwC, tn') FromToLoop(t') c W.ACT_LIST(WPD) c = From(t') a = ToLoop(t') Corresp(WPD,c,NwC,p'') EqualCondTrExp(tn',CondLoop(a)) EqualCondTrExp(ts, Neg(CondLoop(a)))... Split(WPD, a, NwC, ps) ), Conclusiones Nuestro trabajo presenta el marco teórico para la validación de la WPD por medio de PNwC. Se da una sólida base teórica que permite la validación de definiciones de procesos, especialmente aquellos que poseen requerimientos temporales, donde Wf presenta debilidades. La extensión realizada a Wf lo habilita para modelar y validar la variable tiempo, evitando la fase de simulación. Cada una de las correspondencias realizadas ha sido formalizada por medio de RSL, asegurando la solidez de los conceptos incorporados. La obtención de una PNwC partir de una WPD permite que a dicho modelo se le aplique un algoritmo que realiza la validación y chequeo de las restricciones temporales, esto es inconsistencia en invariantes de lugares y condiciones de transiciones, detección de bloqueos temporales y estados temporalmente inalcanzables. Por lo tanto se ha habilitado, por medio de la extensión de Wf, la BPR con restricciones temporales, permitiendo de esta manera el análisis cualitativo de la WPD por medio PNwC.

10 10 Bibliografia 1. Hammer, M. and Champy, J. Reengineering the Corporation: A Manifesto for Business Revolution, Harper Collins Publishing, Inc., Hammer, M, "Beyond Reengineering: How the process-centered organization is changing out work and our lives", Harper Collins, Hollingsworth, D. Workflow Management Coalition. The Workflow Reference Model. Document Number TC Issue 1.1. Jan Workflow Management Coalition. Interface 1: Process Definition Interchange. Process Model. Document Number WfMC TC-1016-P Version 1.1. Oct W. Goebel, K. Messner, B. Schwarzer. Experience in introducing Workflow Management in a Large Insurance Group. 34 th Hawaii ICSS M. Oba, S. Onada, N. Komoda. Evaluating the Quantitative Effects of Workflow System Based on Real Cases. 33 th Hawaii ICSS G. Montejano, D. Riesco, G. Vilallonga, A. Dasso, L. Favre An Analysis Algorithm for Timed Petri Nets Software Engineering (SE 98). International Association of Science and Technology for Development. Las Vegas, USA D. Riesco, G. Montejano, G. Vilallonga, A. Dasso, R. Uzal. "Underlying Formalism for a Timed Petri Net Algorithm", IASTED International Conference Software Engineering and Applications, Octubre de 1999, Scottsdale, Arizona, USA. 9. The RAISE Method Group, "The RAISE Development Method", Prentice Hall, The RAISE Language Group, "The RAISE Specification Language", Prentice Hall, Vilallonga, Gabriel D. Definición de Redes de Petri Temporizadas y Desarrollo de Prototipo del Algoritmo de Análisis. Tesis de Licenciatura. UNSL. San Luis, Argentina Yovine, S. Méthodes et outils pour la vérification symbolique de systémes temporises, Phd thesis, Institut National Polytechnique de Grenoble, France, May Henzinger, Nicollin, Sifakis and Yovine. Symbolic model checking for real-time systems, Information and Computation, 111(2): , Olivero. Modélisation et analyse de systémes temporisés et hybrides. Thése, Institut National Polytechnique de Grenoble, France, September Sifakis and Yovine. Compositional Specifications of Timed Systems. STACS 96.

Marco Teórico para la Traducción de Procesos Workflow Extendido a Redes de Petri con Relojes

Marco Teórico para la Traducción de Procesos Workflow Extendido a Redes de Petri con Relojes Marco Teórico para la Traducción de Procesos Workflow Extendido a Redes de Petri con Relojes Gabriel Vilallonga Universidad Nacional de San Luis - Departamento de Informática Ejército de los Andes 950-5700

Más detalles

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT

Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Transformación de Procesos BPMN a su Implementación en BPEL utilizando QVT Fabio A. Zorzan 1, Daniel Riesco 2 CONTEXTO La línea de investigación presentada en este trabajo se desarrolla en el marco del

Más detalles

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM

AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM AUTOMATIZACION DE PROCESOS DE DESARROLLO DE SOFTWARE DEFINIDOS CON SPEM Fabio A. Zorzan y Daniel Riesco Resumen Esta línea de investigación propone una alternativa para lograr la automatización de la gestión

Más detalles

Streams basados en RSL para métricas de Posicionamiento Web

Streams basados en RSL para métricas de Posicionamiento Web Streams basados en RSL para métricas de Posicionamiento Web C. Salgado, M. Peralta, D. Riesco, G. Montejano Departamento de Informática Universidad Nacional de San Luis San Luis, Capital, Argentina Ejército

Más detalles

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow

Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Mejora en la Administración de Procesos de Desarrollo de Software Tipo SPEM Automatizados Bajo Workflow Fabio A. Zorzan 1 y Daniel Riesco 2 Resumen Esta línea de investigación pretende aportar a la mejora

Más detalles

Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP

Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP Transformación de Procesos de Desarrollo de Software Tipo SPEM a Procesos Workflow. Una Propuesta de Caso de Estudio: SmallRUP Fabio A. Zorzan 1, Daniel Riesco 2, Nora Szasz 3 CONTEXTO La línea de investigación

Más detalles

Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta

Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta Gerencia de Procesos de Negocio (Business Process Management, BPM). Lic. Patricia Palacios Zuleta (Business Process Management, BPM). La Gerencia de los Procesos del Negocio: Se define como: "integración

Más detalles

CURRICULUM VITAE. Datos personales. Datos profesionales

CURRICULUM VITAE. Datos personales. Datos profesionales CURRICULUM VITAE Datos personales Nombre y apellido: Gabriel Domingo Vilallonga D.N.I.: 20.677.624 Fecha de nacimiento: 27 de marzo de 1969 Domicilio: Los Picahueso 395, Juana Koslay, San Luis, Argentina.

Más detalles

Gestión de Procesos de Negocios BPM

Gestión de Procesos de Negocios BPM GNU/LinuX Universidad Inca Garcilaso de la Vega XLIX CURSO DE ACTUALIZACIÓN PROFESIONAL DE INGENIERÍA DE SISTEMAS Y CÓMPUTO. Área: Gestión Gestión de Procesos de Negocios BPM Parte III: BPM Aspectos Técnicos

Más detalles

Management(BPM) Gestión de Proceso de negocio con BPM. Universidad Inca Garcilaso de la Vega

Management(BPM) Gestión de Proceso de negocio con BPM. Universidad Inca Garcilaso de la Vega Universidad Inca Garcilaso de la Vega CURSO DE ACTUALIZACIÓN PROFESIONAL DE INGENIERÍA DE SISTEMAS Y CÓMPUTO Business Process Business Process Management(BPM) Management(BPM) MSc. Daniel Alejandro Yucra

Más detalles

Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN

Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN Tópicos Avanzados de Análisis y Diseño INGENIERIA DE SOFTWARE ING. MA. MARGARITA LABASTIDA ROLDÁN Proceso de Negocio (Business Process) Conjunto estructurado, medible de actividades para producir un producto.

Más detalles

Introducción a los Tipos Abstractos de Datos

Introducción a los Tipos Abstractos de Datos Página 1 de 8 Introducción a los Tipos Abstractos de Datos Introducción: Concepto de abstracción Abstracción funcional y abstracción de datos Construcción de tipos abstractos de datos Especificación de

Más detalles

Resolución de Problemas

Resolución de Problemas Resolución de Problemas con algoritmos Colaboratorio de Computación Avanzada (CNCA) 2015 1 / 27 Contenidos 1 Introducción 2 Elementos de algoritmos Elementos Variables Estructuras de Control Condicionales

Más detalles

Programación orientada a

Programación orientada a Programación orientada a objetos con Java Pedro Corcuera Dpto. Matemática Aplicada y Ciencias de la Computación Universidad de Cantabria corcuerp@unican.es Objetivos Presentar los conceptos de la programación

Más detalles

Procesos de Negocios

Procesos de Negocios Procesos de Negocios Procesos de negocios Como dijimos en el Tema 1: los sistemas de información y las organizaciones se influyen entre sí: Los SI deben proveer la información que la organización necesita.

Más detalles

PROCESOS SOFTWARE. Según esta estrategia, todo proceso debe planificarse, implantarse y evaluarse, para luego actuar sobre él.

PROCESOS SOFTWARE. Según esta estrategia, todo proceso debe planificarse, implantarse y evaluarse, para luego actuar sobre él. PROCESOS SOFTWARE MOTIVACIÓN? Con independencia de la metodología o modelo implementado, es común la estrategia para la mejora continua de la calidad, basada en el Círculo de Deming o Plan, Do, Check,

Más detalles

Tipos Abstractos de Datos

Tipos Abstractos de Datos Objetivos Repasar los conceptos de abstracción de datos y (TAD) Diferenciar adecuadamente los conceptos de especificación e implementación de TAD Presentar la especificación algebraica como método formal

Más detalles

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES

BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES BASES DE DATOS TEMA 4 DISEÑO DE BASES DE DATOS RELACIONALES El modelo relacional se basa en dos ramas de las matemáticas: la teoría de conjuntos y la lógica de predicados de primer orden. El hecho de que

Más detalles

Guía Metodológica para el diseño de procesos de negocio

Guía Metodológica para el diseño de procesos de negocio Guía Metodológica para el diseño de procesos de negocio La guía desarrollada para apoyar TBA, se diseñó con base en las metodologías existentes para el desarrollo BPM, principalmente en aquellas que soportan

Más detalles

Tema 1. Introducción a los TAD

Tema 1. Introducción a los TAD Tema 1. Introducción a los TAD Objetivos En este tema nos ocupamos inicialmente del concepto de abstracción, dedicando la mayor atención a la abstracción de datos, estudiando aspectos relacionados con

Más detalles

- Bases de Datos - - Diseño Físico - Luis D. García

- Bases de Datos - - Diseño Físico - Luis D. García - Diseño Físico - Luis D. García Abril de 2006 Introducción El diseño de una base de datos está compuesto por tres etapas, el Diseño Conceptual, en el cual se descubren la semántica de los datos, definiendo

Más detalles

Glosario. actividad. 1. (tarea) 2. es un subproceso que no requiere mas descomposición.

Glosario. actividad. 1. (tarea) 2. es un subproceso que no requiere mas descomposición. Glosario Aclaraciones Los conceptos del glosario están ordenados alfabéticamente. Un concepto puede ser un único término como meta o una frase como ambiente de ingeniería de software centrado en procesos.

Más detalles

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008

INTRODUCCIÓN. Estructura de Datos Tipos Abstractos de Datos (TAD S) Profs. Lorna Figueroa M. Mauricio Solar F. UTFSM 1 / 2008 INTRODUCCIÓN Estructura de Datos Tipos Abstractos de Datos (TAD S) Para poder obtener un programa que resuelva un problema dado, son necesarios varios pasos : La formulación y especificación del problema

Más detalles

BASE DE DATOS: ENFOQUE ORIENTADO A OBJETOS. Dámaso López Aragón

BASE DE DATOS: ENFOQUE ORIENTADO A OBJETOS. Dámaso López Aragón BASE DE DATOS: ENFOQUE ORIENTADO A OBJETOS Dámaso López Aragón Introducción En la actualidad, la orientación a objetos es una nueva forma de comprender los problemas y modelar el negocio de una empresa,

Más detalles

INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS

INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS INGENIERÍA DE SOFTWARE CICLOS DE VIDA Y METODOLOGIAS Rubby Casallas, Andrés Yie Departamento de Sistemas y Computación Facultad de Ingeniería Universidad de los Andes Agenda Contexto Ciclos de vida: Modelo

Más detalles

BPMN BPMN BPMN. BPD Objetos de flujo - Actividades. BPD (Business Process Diagram) Notación de modelado de procesos de negocio BPD

BPMN BPMN BPMN. BPD Objetos de flujo - Actividades. BPD (Business Process Diagram) Notación de modelado de procesos de negocio BPD BPMN Notación de modelado de procesos de negocio BPMN Fue desarrollado por la BPMI (Business Process Management Initiative) Objetivos: Proveer una notación entendible para cualquiera desde el analista

Más detalles

SOLUCIÓN SITUACIÓN ACTUAL

SOLUCIÓN SITUACIÓN ACTUAL SITUACIÓN ACTUAL La necesidad de las organizaciones de ser más competitivas en un mercado dinámico ha generado estructuras organizacionales complejas y exigentes en términos de calidad y eficiencia. Sobre

Más detalles

Migración de datos automática a partir de la información de los esquemas conceptuales 1

Migración de datos automática a partir de la información de los esquemas conceptuales 1 Migración de datos automática a partir de la información de los esquemas conceptuales 1 J.Pérez 1, J.A.Carsí 1, I.Ramos 1, V.Anaya 1, J.Silva 1, Departamento de Sistemas Informáticos y Computación Universidad

Más detalles

2.1 Ingeniería de Software

2.1 Ingeniería de Software Capítulo 2 Marco Teórico Se pretende desarrollar un software que pueda ser aplicado como una herramienta útil para la administración de una empresa. Es necesario tener en cuenta que, en todo desarrollo

Más detalles

La complejidad de los automatismos y la necesidad de especificar con precisión las tareas => útiles simbólicos de representación

La complejidad de los automatismos y la necesidad de especificar con precisión las tareas => útiles simbólicos de representación PROGRAMACIÓN DEL AUTÓMATA Tiene una serie de pasos: Determinar qué debe hacer el sistema de control y en qué orden Identificar entradas y salidas al autómata Representar mediante un modelo el sistema de

Más detalles

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática

INGENIERÍA EN INFORMÁTICA. Ingeniero en Informática Facultad de Ingeniería Av. Paseo Colón 850 (C1063ACV) Ciudad de Buenos Aires Tel.: (011) 4343-0893 Fax: (011) 4345-7262 Página web: www.ingenieria.uba.ar Correo electrónico: academica@fi.uba.ar INGENIERÍA

Más detalles

Notas. Introducción. Breve Introducción a los Sistemas Colaborativos: Groupware & Workflow. Palabras claves: Groupware, Workflow, BPCM, WfMC.

Notas. Introducción. Breve Introducción a los Sistemas Colaborativos: Groupware & Workflow. Palabras claves: Groupware, Workflow, BPCM, WfMC. Breve Introducción a los Sistemas Colaborativos: Groupware & Workflow Palabras claves: Groupware, Workflow, BPCM, WfMC. Introducción A partir de la llegada de las computadoras personales al ambiente empresarial

Más detalles

Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN

Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN Transformación de modelos en el proceso de obtención de Modelos Conceptuales partiendo de BPMN Fernández Taurant, Juan Pablo Marciszack, Marcelo Martín Universidad Tecnológica Nacional, Facultad Regional

Más detalles

Técnicas Avanzadas de Testing Automático

Técnicas Avanzadas de Testing Automático Técnicas Avanzadas de Testing Automático Marcelo Frias ITBA - Buenos Aires, Argentina CONICET Preliminares: Calidad Validación y Verificación Especificaciones y V&V Análisis estático y dinámico Inspecciones

Más detalles

Desarrollo de Software con enfoque en el Negocio

Desarrollo de Software con enfoque en el Negocio Desarrollo de Software con enfoque en el Negocio Andrea Delgado Instituto de Computación Facultad de Ingeniería Universidad de la República 11300, Montevideo, Uruguay adelgado@fing.edu.uy Resumen Las Organizaciones

Más detalles

INDICE Parte I. Conceptos 1. El estudio de los lenguajes de programación 2. Cuestiones de diseño de lenguajes

INDICE Parte I. Conceptos 1. El estudio de los lenguajes de programación 2. Cuestiones de diseño de lenguajes INDICE Parte I. Conceptos 1 1. El estudio de los lenguajes de programación 1.1. Por qué estudiar lenguajes de programación? 2 1.2. Breve historia de los lenguajes de programación 1.2.1. Desarrollo de los

Más detalles

Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD

Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD Modelado de procesos de enseñanza-aprendizaje reutilizables con XML, UML e IMS-LD José R. Hilera 1, David Palomar 2 1 Universidad de Alcalá, Departamento de Ciencias de la Computación, 28871 Alcalá de

Más detalles

Nociones Básicas de Sémantica: Semántica Denotacional

Nociones Básicas de Sémantica: Semántica Denotacional Nociones Básicas de Sémantica: Semántica Denotacional Análisis de Lenguajes de Programación Mauro Jaskelioff 21/08/2015 Acerca de la Semántica Operacional En la semántica operacional el significado de

Más detalles

Métodos Formales y Análisis de Herramientas para la Producción de Software

Métodos Formales y Análisis de Herramientas para la Producción de Software Métodos Formales y Análisis de Herramientas para la Producción de Software Aristides Dasso, Ana Funes {arisdas, afunes}@unsl.edu.ar Universidad Nacional de San Luis Universidad Nacional de San Luis 2006

Más detalles

Procesos de Negocios. Ingeniería de Sistemas de Información /Sistemas de Información ISI/SI - 1

Procesos de Negocios. Ingeniería de Sistemas de Información /Sistemas de Información ISI/SI - 1 Procesos de Negocios Ingeniería de Sistemas de Información /Sistemas de Información ISI/SI - 1 Procesos de negocios Como dijimos en el Tema 2: los sistemas de información y las organizaciones se influyen

Más detalles

PLAN DE PRUEBAS SISTEMA DE GESTIÓN HOSPITALARIA. Plan de Pruebas. File: 20130211-QA-INF-V2-PLAN DE PRUEBAS.odt STD-INF-GENERAL Versión: 1.

PLAN DE PRUEBAS SISTEMA DE GESTIÓN HOSPITALARIA. Plan de Pruebas. File: 20130211-QA-INF-V2-PLAN DE PRUEBAS.odt STD-INF-GENERAL Versión: 1. Cliente: FCM-UNA Página 1 de 14 PLAN DE PRUEBAS SISTEMA DE GESTIÓN HOSPITALARIA Cliente: FCM-UNA Página 2 de 14 Tabla de contenido 1. INTRODUCCIÓN 1.1. PROPÓSITO 1.2. ALCANCE 1.3. DEFINICIONES, ACRÓNIMOS

Más detalles

CONSTRUCCION DE SISTEMAS EXPERTOS

CONSTRUCCION DE SISTEMAS EXPERTOS CONSTRUCCION DE SISTEMAS EXPERTOS TECNICAS DE EDUCCION DEL CONOCIMIENTO Dr. Ramón GARCIA MARTINEZ GRAFOS ARQUETÍPICOS En muchos dominios de conocimiento, puede reconocerse una estructura de representación

Más detalles

Una propuesta arquitectónica para integrar una herramienta BPMS y un sistema de gestión de reglas de negocio. Contexto

Una propuesta arquitectónica para integrar una herramienta BPMS y un sistema de gestión de reglas de negocio. Contexto Una propuesta arquitectónica para integrar una herramienta BPMS y un sistema de gestión de reglas de negocio Parra Julián Matias 1, Mg. Patricia Bazán 2, Lic. José Martinez Garro 3 1 3 Facultad de Informática

Más detalles

Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI.

Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI. Procesos de Negocio Objetivos Describir una metodología sistemática de análisis de los procesos organizacionales y cómo estos pueden ser apoyados por las TI. Identificar y analizar los procesos de negocios,

Más detalles

14. Ingeniería de software. Ing. Alejandro Adorjan

14. Ingeniería de software. Ing. Alejandro Adorjan 14. Ing. Alejandro Adorjan : un enfoque en ingeniería de requerimientos Introducción La ingeniería de software es una disciplina que estudia la aplicación de la teoría, el conocimiento y la práctica de

Más detalles

Unidad didáctica 2: Metodologías de desarrollo de Bases de Datos. Unidad didáctica 1: Fase de análisis de requisitos Modelo E/R

Unidad didáctica 2: Metodologías de desarrollo de Bases de Datos. Unidad didáctica 1: Fase de análisis de requisitos Modelo E/R índice Módulo A Unidad didáctica 1: Introducción a las Bases de Datos Unidad didáctica 2: Metodologías de desarrollo de Bases de Datos 3 19 Módulo B Unidad didáctica 1: Fase de análisis de requisitos Modelo

Más detalles

Modelado de Procesos

Modelado de Procesos Modelado de Procesos Material desarrollado por -An. Miguel Brunnello y Cr. Marcelo Rocha Vargas (1ra.versión 2010) -Cr. Marcelo Rocha Vargas (Actualización 2011) Introducción En los orígenes de las TICs,

Más detalles

Tema 2. Ingeniería del Software I feliu.trias@urjc.es

Tema 2. Ingeniería del Software I feliu.trias@urjc.es Tema 2 Ciclo de vida del software Ingeniería del Software I feliu.trias@urjc.es Índice Qué es el ciclo de vida del Software? El Estándar 12207 Modelos de proceso Qué es el Ciclo de Vida del SW? Definición

Más detalles

PLC CONTROLADOR LOGICO PROGRAMABLE

PLC CONTROLADOR LOGICO PROGRAMABLE PLC CONTROLADOR LOGICO PROGRAMABLE PLC Los Controladores Lógicos Programables o PLC (Programmable Logic Controller por sus siglas en inglés) son dispositivos ampliamente usados en la Automatización Industrial.

Más detalles

UML. Diagramas de Estados Diagrama de Actividades (UML Ilustrado) Universidad de los Andes Demián Gutierrez Mayo 2011 1

UML. Diagramas de Estados Diagrama de Actividades (UML Ilustrado) Universidad de los Andes Demián Gutierrez Mayo 2011 1 UML Diagramas de Estados Diagrama de Actividades (UML Ilustrado) Universidad de los Andes Demián Gutierrez Mayo 2011 1 Diagramas de Estados Diagramas de Estados 2 Diagramas de Estados ( Qué Muestran?)

Más detalles

Análisis y Medición de Modelos de Procesos Workflow

Análisis y Medición de Modelos de Procesos Workflow WICC 2012 503 Análisis y Medición de Modelos de Procesos Workflow M. Peralta, C. Salgado, M. Berón, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales

Más detalles

Modelos Workflow: Análisis y Medición. Contexto

Modelos Workflow: Análisis y Medición. Contexto Modelos Workflow: Análisis y Medición M. Peralta, C. Salgado, L. Baigorria, M. Berón, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales Universidad

Más detalles

MODELADO DE OBJETOS DE DATOS

MODELADO DE OBJETOS DE DATOS Manual Página Web MODELADO DE OBJETOS DE DATOS MANUALES ESPECIALES Documento: Manual Páginas Web (SemanticWebBuilder). Fecha de Elaboración: Marzo de 2009. INFOTEC CONACYT FIDEICOMISO. Página i Glosario

Más detalles

Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado

Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado Ingeniería de Software con UML Unified Modeling Language Lenguaje Unificado de Modelado 1. Introducción Unified Modeling Languaje Fuente: Booch- Jacobson-Rumbauch y diversos sitios Internet, entre otros:

Más detalles

SILABO I. DATOS GENERALES

SILABO I. DATOS GENERALES SILABO I. DATOS GENERALES 1. Nombre de la Asignatura : Automatización Industrial 2. Carácter : Obligatorio 3. Carrera Profesional : Ingeniería Mecánica Eléctrica 4. Código : IM0801 5. Semestre Académico

Más detalles

Carrera: IFM - 0414 3-2-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.

Carrera: IFM - 0414 3-2-8. Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos. 1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Fundamentos de bases de datos Licenciatura en Informática IFM - 0414 3-2-8 2.-

Más detalles

Sincronización de Datos entre Aplicaciones sobre Redes Móviles

Sincronización de Datos entre Aplicaciones sobre Redes Móviles Sincronización de Datos entre Aplicaciones sobre Redes Móviles Borda Luciani, Fabricio Damián; Gagliardi, Edilma Olinda Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales -

Más detalles

Modelado de Procesos de Negocio con BPMN Francisco Ruiz http://alarcos.inf

Modelado de Procesos de Negocio con BPMN Francisco Ruiz http://alarcos.inf Modelado de Procesos de Negocio con BPMN Francisco Ruiz http://alarcos.inf alarcos.inf-cr.uclm.escr.uclm.es Universidad de Castilla-La Mancha Procesos de Negocio y su Tecnología Procesos de Negocio Un

Más detalles

Unidades temáticas de Ingeniería del Software. Fases del proceso de desarrollo 4ª edición (2008)

Unidades temáticas de Ingeniería del Software. Fases del proceso de desarrollo 4ª edición (2008) Unidades temáticas de Ingeniería del Software Fases del proceso de desarrollo 4ª edición (2008) Facultad de Informática organización del desarrollo El ciclo de vida del software abarca el proceso de desarrollo,

Más detalles

El Software. Es lo que se conoce como el ciclo de vida del software.

El Software. Es lo que se conoce como el ciclo de vida del software. El Software Hace referencia a los programas y toda la información asociada y materiales necesarios para soportar su instalación, operación, reparación, y mejora. Para construir un nuevo elemento software

Más detalles

Área Académica: Licenciatura en Sistemas Computacionales Asignatura: Automatización de Organizaciones. Profesor: Ing. Cristian Arturo Díaz Iruegas

Área Académica: Licenciatura en Sistemas Computacionales Asignatura: Automatización de Organizaciones. Profesor: Ing. Cristian Arturo Díaz Iruegas Área Académica: Licenciatura en Sistemas Computacionales Asignatura: Automatización de Organizaciones Profesor: Ing. Cristian Arturo Díaz Iruegas Periodo: Julio Diciembre 2011. Palabras Clave: Reingeniería,

Más detalles

Proyecto Tutelkán. Tutelkan Process Framework (TPF) - Fundamentos del Metamodelo

Proyecto Tutelkán. Tutelkan Process Framework (TPF) - Fundamentos del Metamodelo Proyecto Tutelkán Tutelkan Process Framework (TPF) - Fundamentos del Metamodelo MARZO 2009 Tabla de Contenidos 1. INTRODUCCIÓN...4 2. ESTADO DEL ARTE...5 3. ESTRATEGIA DE DESARROLLO DE TPF...5 3.1. SELECCIÓN

Más detalles

Arquitectura de Aplicaciones

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

SÍLABO. : Obligatorio : Ingeniería de Sistemas : IS0704. : VII Ciclo : 03 Teoría y 02 Práctica : 04 : Lenguaje de Programación II

SÍLABO. : Obligatorio : Ingeniería de Sistemas : IS0704. : VII Ciclo : 03 Teoría y 02 Práctica : 04 : Lenguaje de Programación II SÍLABO I. DATOS GENERALES 1.1. Nombre de la Asignatura 1.2. Carácter 1.3. Carrera Profesional 1.4. Código 1.5. Semestre Académico : 2014-I 1.6. Ciclo Académico 1.7. Horas de Clases 1.8. Créditos 1.9. Pre

Más detalles

Visión General GXflow. Última actualización: 2009

Visión General GXflow. Última actualización: 2009 Última actualización: 2009 Copyright Artech Consultores S. R. L. 1988-2009. Todos los derechos reservados. Este documento no puede ser reproducido en cualquier medio sin el consentimiento explícito de

Más detalles

Ingeniería de Software I. Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009

Ingeniería de Software I. Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009 Ingeniería de Software I Sebastián Uchitel y Víctor Braberman 1er Cuatrimestre 2009 Quienes somos? 2 Quienes son? 3 Objetivos del Curso Entender el rol fundamental que juega la construcción y análisis

Más detalles

CREACION DE UN TUTORIAL PARA RESOLVER PROBLEMAS DE FISICA

CREACION DE UN TUTORIAL PARA RESOLVER PROBLEMAS DE FISICA CREACION DE UN TUTORIAL PARA RESOLVER PROBLEMAS DE FISICA Bárcenas L. Josefina, Barojas W.Jorge Centro de Instrumentos, UNAM Laboratorio de Cognición, Cibernética y Aprendizaje de las Ciencias Circuito

Más detalles

Facultad de Ingeniería Informática. Informe de las Prácticas Profesionales

Facultad de Ingeniería Informática. Informe de las Prácticas Profesionales Facultad de Ingeniería Informática CEIS Informe de las Prácticas Profesionales Título: Informatización de los Procesos de Negocio Solicitud de Trabajo Extra laboral en el CITI, a través de la BPMS BizAgi

Más detalles

Universidad acional Experimental Del Táchira Decanato de Docencia Departamento de Ingeniería en Informática

Universidad acional Experimental Del Táchira Decanato de Docencia Departamento de Ingeniería en Informática Universidad acional Experimental Del Táchira Decanato de Docencia Departamento de Ingeniería en Informática Metodología Evolutiva Incremental Mediante Prototipo y Técnicas Orientada a Objeto (MEI/P-OO)

Más detalles

Ciclo de vida del software

Ciclo de vida del software Ciclo de vida del software Definición El proceso que se sigue para construir, entregar y hacer evolucionar el software, desde la concepción de una idea hasta la entrega y el retiro del sistema. Confiable,

Más detalles

CAPITULO 1. Introducción a los Conceptos Generales de Bases de Datos Distribuidas

CAPITULO 1. Introducción a los Conceptos Generales de Bases de Datos Distribuidas CAPITULO 1 Introducción a los Conceptos Generales de 1.1 Preliminares Las empresas necesitan almacenar información. La información puede ser de todo tipo. Cada elemento informativo es lo que se conoce

Más detalles

Protocolos y Modelo OSI

Protocolos y Modelo OSI Protocolos y Modelo OSI. Mg. Gabriel H. Tolosa. tolosoft@unlu.edu.ar So as I look at transitioning to the communication platforms of the future, I see that the beauty of Internet protocols is you get the

Más detalles

UNIDAD I: LÓGICA PROPOSICIONAL

UNIDAD I: LÓGICA PROPOSICIONAL UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA

Más detalles

Universidad Juárez Autónoma de Tabasco División Académica Multidisciplinaria de los Ríos Licenciatura en Informática Administrativa

Universidad Juárez Autónoma de Tabasco División Académica Multidisciplinaria de los Ríos Licenciatura en Informática Administrativa PROGRAMA DE ESTUDIO Aplicaciones multiplataforma Programa Educativo: Licenciatura en Informática Administrativa Área de Formación : Integral profesional Horas teóricas: 2 Horas prácticas: 2 Total de Horas:

Más detalles

Calidad de Procesos de Negocio en la Nube

Calidad de Procesos de Negocio en la Nube Calidad de Procesos de Negocio en la Nube C. Salgado, M. Peralta, D. Riesco, G. Montejano Departamento de Informática Facultad de Ciencias Físico Matemáticas y Naturales Universidad Nacional de San Luis

Más detalles

Diagramas del UML. A continuación se describirán los diagramas más comunes del UML y los conceptos que representan: Diagrama de Clases

Diagramas del UML. A continuación se describirán los diagramas más comunes del UML y los conceptos que representan: Diagrama de Clases El UML está compuesto por diversos elementos gráficos que se combinan para conformar diagramas. Debido a que el UML es un lenguaje, cuenta con reglas para combinar tales elementos. La finalidad de los

Más detalles

Una herramienta para la Automatización de Procesos de Desarrollo de Software usando QVT: Transformación de Controles de Flujo SPEM a BPMN

Una herramienta para la Automatización de Procesos de Desarrollo de Software usando QVT: Transformación de Controles de Flujo SPEM a BPMN Una herramienta para la Automatización de Procesos de Desarrollo de Software usando QVT: Transformación de Controles de Flujo SPEM a BPMN Fabio Zorzan, Marcela Daniele, Mariana Frutos, Marcelo Uva Dpto.

Más detalles

TECNÓLOGO EN DESARROLLO DE SOFTWARE

TECNÓLOGO EN DESARROLLO DE SOFTWARE PERFIL DE EGRESO Diseña, codifica, desarrolla e implementa software a la medida, web y móvil, de manera segura bajo los estándares internacionales; Diseña, gestiona, administra y da mantenimiento a infraestructuras

Más detalles

CUALIFICACIÓN SISTEMAS DE GESTIÓN DE INFORMACIÓN PROFESIONAL. Nivel 3. Versión 5 Situación RD 1201/2007 Actualización

CUALIFICACIÓN SISTEMAS DE GESTIÓN DE INFORMACIÓN PROFESIONAL. Nivel 3. Versión 5 Situación RD 1201/2007 Actualización Página 1 de 16 CUALIFICACIÓN SISTEMAS DE GESTIÓN DE INFORMACIÓN PROFESIONAL Familia Profesional Informática y Comunicaciones Nivel 3 Código IFC304_3 Versión 5 Situación RD 1201/2007 Actualización Competencia

Más detalles

Introducción a la Computación TFA

Introducción a la Computación TFA Introducción a la Computación TFA Departamento de Informática Facultad de Ciencias Físico, Matemáticas y Naturales- UNSL Lenguaje de Diseño de Algoritmos Estructura de Control Condicional Simple y Múltiple

Más detalles

Administración y Control de Proyectos Extendiendo el Concepto de Indicadores

Administración y Control de Proyectos Extendiendo el Concepto de Indicadores Administración y Control de Proyectos Extendiendo el Concepto de Indicadores Edgardo Bernardis, Germán Montejano, Luis Roqué, Hernán Bernardis Facultad de Ciencias Físico-Matemáticas y Naturales Universidad

Más detalles

Modelamiento de Procesos con BPMN

Modelamiento de Procesos con BPMN Modelamiento de Procesos con BPMN IN71J Diseño de Modelos y Procesos de Negocios con Ti Carlos Reveco D. creveco@dcc.uchile.cl 1 BPM - Business Process Management Se llama Gestión de procesos de negocios

Más detalles

Compiladores y Lenguajes de Programación. Maria de Guadalupe Cota Ortiz

Compiladores y Lenguajes de Programación. Maria de Guadalupe Cota Ortiz Compiladores y Lenguajes de Programación Maria de Guadalupe Cota Ortiz Organizaciones que rigen las normas para estandarización de Lenguajes de Programación IEEE (Instituto de Ingenieros Eléctricos y Electrónicos)

Más detalles

Modelo formal para la verificación de procesos de negocio: aplicación a un servicio de VoD

Modelo formal para la verificación de procesos de negocio: aplicación a un servicio de VoD Modelo formal para la verificación de procesos de negocio: aplicación a un servicio de VoD Jesús Arias Fisteus Carlos Delgado Kloos Dpto. de Ingeniería Telemática Universidad Carlos III de Madrid Leganés,

Más detalles

LABORATORIO I DE CONTROL

LABORATORIO I DE CONTROL LABORATORIO I DE CONTROL CONTROLADOR LÓGICO PROGRAMABLE PLC Prof. Gerardo Torres - gerardotorres@ula.ve - Cubículo 003 Escuela de Ingeniería Eléctrica de la Facultad de Ingeniería de la Universidad de

Más detalles

DISEÑO DE COMPONENTES DE SOFTWARE *

DISEÑO DE COMPONENTES DE SOFTWARE * DISEÑO DE COMPONENTES DE SOFTWARE * NOTAS DEL CURSO Ingeniería de Software I DRA. MARIA DEL PILAR GÓMEZ GIL INAOEP * Resumen del capítulo 10 de libro de [Pressman 2010] V:18-11-2008 (c) P. Gomez-Gil, INAOE.

Más detalles

Aplicación de una Metodología basada en Mediciones para la Gestión de Calidad de Software

Aplicación de una Metodología basada en Mediciones para la Gestión de Calidad de Software Aplicación de una Metodología basada en Mediciones para la Gestión de Calidad de Software Jorge Bozo jbozo@inf.ucv.cl Escuela de Ingeniería Informática Universidad Católica de Valparaíso Valparaíso, Chile

Más detalles

Introducción al estándar IEC 61131-3

Introducción al estándar IEC 61131-3 Introducción al estándar IEC 61131-3 Este documento es una traducción libre, comentada y resumida por el equipo técnico de AISA del material presentado en el website de la Organización PLCopen http://www.plcopen.org/

Más detalles

BPMN Business Process Modeling Notation

BPMN Business Process Modeling Notation BPMN (BPMN) es una notación gráfica que describe la lógica de los pasos de un proceso de Negocio. Esta notación ha sido especialmente diseñada para coordinar la secuencia de los procesos y los mensajes

Más detalles

Modelos de Proceso Tradicionales

Modelos de Proceso Tradicionales Modelos de Proceso Tradicionales Capitulo 2,QJHQLHUtDGHO6RIWZDUH (VSHFLDOL]DFLyQHQ*HUHQFLDGH6LVWHPDVGH,QIRUPDFLyQ 8QLYHUVLGDG6DQWLDJRGH&DOL Profesor: MSc. MIGUEL ANGEL NIÑO ZAMBRANO Programación: Tiempo

Más detalles

Grado en Ingeniería del Software

Grado en Ingeniería del Software Grado en Ingeniería del Software Descripción de los módulos o materias FUNDAMENTOS CIENTÍFICOS PARA LA INGENIERÍA Bases científicas necesarias para cualquier ingeniero informático: Física, Álgebra, Análisis

Más detalles

Capítulo 1. Introducción

Capítulo 1. Introducción Capítulo 1. Introducción 1.1. Propósito de la Guía BABOK El propósito principal de la Guía BABOK Guide es definir la profesión del Análisis de Negocio y proveer un conjunto de prácticas comúnmente aceptadas.

Más detalles

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática

La Necesidad de Modelar. Diseño de Software Avanzado Departamento de Informática La Necesidad de Modelar Analogía Arquitectónica Tiene sentido poner ladrillos sin hacer antes los planos? El modelo, los planos, ayuda a afrontar la complejidad del proyecto. Cuál es el lenguaje adecuado

Más detalles

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES

DISEÑO DE UN CURSO INTERACTIVO Y ADAPTATIVO DE PROCESADORES DE LENGUAJES Alfonseca, M., Carro, R.M., Pulido, E. and Rodríguez, P. (2000): Diseño de un curso interactivo y adaptativo de procesadores de lenguajes. Proceedings of JENUI 2000: VI Jornadas sobre la Enseñanza Universitaria

Más detalles

Q-flow Patrones básicos de Workflow

Q-flow Patrones básicos de Workflow How to Q-flow Patrones básicos de Workflow Versión: 2.0 Fecha de publicación 28-03-2011 Aplica a: Q-flow 3.0 y Q-flow 3.1 Índice Introducción... 3 Patrones de control... 4 Patrón: Secuencia... 4 Patrón:

Más detalles

CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS. USB Ing. De Software. Prof. I. C. Martínez

CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS. USB Ing. De Software. Prof. I. C. Martínez CLASE 2: INTRODUCCIÓN A LA ING. DE SOFTWARE. MODELOS DE PROCESOS. MEJORES PRÁCTICAS USB Ing. De Software. Prof. I. C. Martínez Ing. De Software Ingeniería de Software La Ingeniería de Software es la ciencia

Más detalles

Business Intelligence & Knowledge Discovery en el contexto del estándar Project Management Body Of Knowledge del Project Management Institute

Business Intelligence & Knowledge Discovery en el contexto del estándar Project Management Body Of Knowledge del Project Management Institute Business Intelligence & Knowledge Discovery en el contexto del estándar Project Management Body Of Knowledge del Project Management Institute Moreno, Juan Pablo 1 ; Montejano, Germán 2 ; Vilallonga, Gabriel

Más detalles

Departamento de Informática Universidad de Valladolid Campus de Segovia TEMA 2: EL CICLO DE VIDA DEL SOFTWARE

Departamento de Informática Universidad de Valladolid Campus de Segovia TEMA 2: EL CICLO DE VIDA DEL SOFTWARE Departamento de Informática Universidad de Valladolid Campus de Segovia TEMA 2: EL CICLO DE VIDA DEL SOFTWARE 1 DEFINICIÓN DE CICLO DE VIDA DEL SOFTWARE ISO/IEC 12207-1 Marco de referencia que contiene

Más detalles

Tablas de convalidación de Titulaciones Antiguas a Grados ETSII, URJC

Tablas de convalidación de Titulaciones Antiguas a Grados ETSII, URJC INGENIERO EN (PLAN ANTIGUO) FUNDAMENTOS DE LOS MATEMÁTICA DISCRETA Y ÁLGEBRA INTRODUCCIÓN A LA LÓGICA MATEMÁTICA LÓGICA CÁLCULO LENGUAJES INFORMATICOS ESTRUCTURAS DE DATOS FUNDAMENTOS DE REDES DE ORDENADORES

Más detalles

Resumen sobre Grafcet RESUMEN SOBRE GRAFCET

Resumen sobre Grafcet RESUMEN SOBRE GRAFCET RESUMEN SOBRE GRAFCET INDICE GENERAL 1 INTRODUCCIÓN 1 2 METODOLOGÍA GRAFCET: CONCEPTOS BÁSICOS 2 2.1 ETAPAS 2 2.1.1 ACCIONES ASOCIADAS A LAS ETAPAS 4 2.2 TRANSICIÓN 5 2.2.1 RECEPTIVIDAD ASOCIADA A LA TRANSICIÓN

Más detalles