Modelado de Workflow con Redes de Petri Coloreadas...

Modelado de Workflow con Redes de Petri Coloreadas Condicionales

Alumno: Samuel Garrido DanielAsesor : Dra. Xiaoou Li

México D.F., 12-Octubre-2004

Samuel Garrido Daniel 212-Octubre-2004

ContenidoIntroducciónPlanteamiento del problemaAntecedentes y motivaciónObjetivos generalesObjetivos particularesMetodologíaEstado del arteProductos esperadosCalendario de actividadesReferencias

“Modelado de Workflow con Redes de Petri Coloreadas Condicionales”


Introducción

Un Workflow trata la automatización de procesos donde los documentos, la información y las tareas pasan entre los participantes de acuerdo a un conjunto de reglas que deben ser cumplidas o contribuir con un objetivo general del negocio[3]. Un Workflow Managament System es un sistema que completamente define administra y ejecuta workflows a través de ejecución de software donde las reglas de ejecución son manejadas a través de una representación en computadora de la lógica del workflow[2].



Introducción

Modelado de sistemas Workflow



Introducción (ii)

Para el modelado de Workflow existen metodologías, técnicas, lenguajes y herramientas de software, en [30] se realiza un compendio de posiblemente la mayoría que existen actualmente.Las Redes de Petri es y ha sido muy utilizado para el modelado de Workflow (Coulored PN, Reactives PN, WF-Nets, …). También UML es empleado (Diagramas de activad extendido).



Planteamiento del problema

A pesar de que existen diversos enfoques para el modelado de Workflow, actualmente no existe una metodología gráfica estándar para el modelado de workflows. UML a pesar de su sintaxis gráfica carece de una semántica formal[2]. El juego de tokens de una red de Petri no modela un sistema reactivo, por lo tanto no puede modelar completamente un sistema Workflow[5].



Antecedentes y motivación

Evolución en sistemas de información[1].1975-1985 – Administradores de bases de datos.1985-1995 – Administración de interfaces de usuario.1995-2005 – Administración Workflow.

Un Sistema Worklfow ayuda en la administración del control de procesos en las Organizaciones.

Dentro de la fase de planeación dentro del ciclo de vida de un Workflow se utilizan diversos métodos de modelado como son diferentes enfoques de Redes de Petri.



Antecedentes y motivaciónUn Workflow es un sistema reactivo, es decir en su ejecución mantiene interacción con su ambiente[2].

El comportamiento de un sistema reactivo puede ser descrito utilizando reglas de reacción del tipo ECA (event-condition-action)[2].

Una modificación de las Redes de Petri Coloreadas, CCPN (Conditional Coloured Petri Nets) ha sido propuesta en [6][7] para revelar y representar estructuras de reglas ECA y su interrelación.



Objetivos generales

Diseñar una metodología para el modelado de Workflow basada en Redes de Petri Coloreadas Condicionales1 (CCPN).

1 Es una extensión de Red de Petri que permite utilizar de manera más naturalreglas del tipo ECA (Event-Condition-Action)[7].



Objetivos particularesObtener una sintaxis y semántica basada en CCPN para modelar sistemas Workflow.

Desarrollar una interfaz de software que permita utilizar la metodología obtenida. Esperando implementar la mayor parte de primitivas que componen el modelado de Workflow.

Obtener una comparación entre los trabajos basados en UML y el trabajo a desarrollarse con CCPN.

Mediante un Caso de Uso utilizar la metodología y la implementación de software.



MetodologíaInvestigar lo relacionado a los principales temas que compondrán el trabajo de tesis.Estudiar lo relacionado a Workflow.Estudiar lo relacionado con UML, principalmente sus Diagramas deActividad.Estudiar lo relacionado a Redes de Petri y de manera especial las CCPN.Desarrollar la sintaxis y semántica basada en redes de petri coloreadas condicionales para modelar Workflows.Implementar una interfaz de software que permita utilizar la metodología obtenida. (Se utilizará Java y se valorará el uso de XML).Realizar una comparación entre el uso de UML y CCPN.Mediante un caso de estudio, hacer uso y verificar la metodología y la implementación de software.



Estado del arteEl Dr. Wil van der Aalst dirige el principal grupo de investigación sobre Workflow en la Universidad de Eindhoven, Holanda. El tema del modelado de workflow es una de sus áreas principales y en [1][10-17] se tiene algunos de sus trabajos.

El grupo Workflow Managament Coalition[27] camina hacia la interoperabilidad de sistemas workflow entre vendedores de software.

En [2][22] se muestran extensiones de los diagramas de actividad de UML para el modelado de Workflow.



Estado del arte (ii)En cuanto a Redes de Petri, en Dinamarca se encuentra el grupo mas importante de investigación, el cual concentra en su portal Web[25] todos los trabajos alrededor del mundo.

Existen en la actualidad metodologías informales como ISAC, DFD, SADT, e IDEF [1]; Y metodologías formales entre las cuales tenemos máquinas de estado finito, diagramas de estado, Redes dePetri, y álgebras de procesos como ACP, CSP, CSS[1]; UML por su parte es formal en su sintaxis pero no en su semántica[1], este hecho es reforzado por el grupo pUML[29].

Herramientas para el modelado de Worflow como jBPM, COSA, Pflow, METEOR, Protos, Staffware.



Estado del arte (iii)Lenguajes como XPDL, BPEL, XLANG, WSFL, BPML, WSCI[31]; Y uno de más reciente aparición que es YAWL[33]

Especificaciones basadas en XML como XRL[34] y WfXML[35] desarrollado actualmente por el WfMC.

Se tienen alrededor de 19 patrones identificados en Workflow[10][31].

Las redes de petri Reactivas presentadas en[5], es un enfoque para el modelado de Workflow.



Productos esperadosUna metodología (sintaxis y semántica) basada en CCPN para el modelado de Workflow.Una implementación de software básica, para utilizar la metodología obtenida.Caso de Estudio.Comparativa entre UML y CCPN para modelar Workflow.Una publicaciones en Congresos nacionales.Una publicación en Revista.Trabajo de Tesis.



Calendario de actividades



Referencias[1] Wil van der Aalst, Kees van Hee, ''Worflow Managament. Models, Methods, and Systems'‘, The MIT Press, 2002.[2] Hendrik Eshuis, ''Semantics and Verification of UML Activity Diagramsfor Workflow Modelling'‘, Doctorate Thesis presented in Twente University, Netherlands, 2002.[3] David Hollingsworth. “The Workflow Reference Model”. Workflow Managament Coalition, 1995.[4] zur Muehlen Michael. “Workflow-based. Process Controling. Foundation, Dessign and Application of workflow-driven Process Information Systems“Logos Berlin, 2004[5] Hendrik Eshuis, Juliane Denhert. “Reactive Petri Nets for Workflow Modeling”. University of Berlin, 2003[6] Medina Marin J. “Red de Petri Coloreada Condicional (CCPN) y su Aplicación en Bases de Datos Activas”. Tesis de Maestría presentada en la Sección de Computación del Departamento de Ingeniería Eléctrica del Centro de Investigación y de Estudios Avanzados del IPN, México.Septiembre de 2002.



Referencias (ii)[7] Xiaoou Li, J. Medina M., “Composite Event Specification in Active Data Systems: A Petri nets approcach”[8] Alec Sharp, Patrick McDermott. “Workflow Modeling, Tools for ProcessImprovement and Application Development”. Artech House Computing Library, 2001[9] G. Balbo, J. Desel, K. Jensen. “Introductory Tutorial on Petri Nets”. 21st International Conference on Application and Theory of Petri Nets, June of 2002.[10] Will van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros .“Workflow Patterns”. Distributed and Parallel Databases, 14(3), pages 5-51, July2003 [11] Wil van der Aalst, B.F. ”Workflow mining: a survey of issues and approaches, Data and Knowledge Engineering”, 47(2), 2003, pp. 237-267. The MIT Press, 2002.[12] Will van der Aalst. ''Petri-net-based Workflow Management Software'‘. 2000.[13] Will van der Aalst “The Application of Petri Nets to Workflow Managament''.2000[14] Will van der Aalst, “Modeling and analysing workflow using a Petri Net basedapproach”. 2001



Referencias (iii)

[15] Wil van der Aalst, Kees van Hee, “WorflowManagement. Models, Methods, and Systems”. The MIT Press, 2002.[16] Will van der Aalst, ''Three Good Reasons for Using a Petri-net-based Workflow Management System''. 1996.[17] Will van der Aalst. “Towards a Workflow Language based on XML, Petri Nets and Worflow Patterns'‘. 2000.[18] Martin Fowler, kendall Scott, ''UML Distilled, a BriefGuide to the Standard Object Modelling Language''.Second Edition, Addison Wesley, 2000.



Referencias (iv)

[19] J. Merseguer, Javier Campos, ''Software Performance Modeling using UML and Petri Nets''. Department of Informatics and Systems Engineering, Zaragoza University, Zaragoza Spain, 2003.[20] Rik Eshuis, R. Wieringa “A comparison of Petri Net and Activity Diagram Variants”. University of Twente, Netherlands 2002.[21] Rik Eshuis, R. Wieringa. “Comparing Petri Net and Activity Diagram Variants for Workflow Modeling - A Quest for Reactive Petri Nets”.University of Twente, Netherlands 2002.[22] Gregor V. Bochmann. “Activity Nets: A UML profile for modeling workflow and buisness processes”. SITE University of Otawa, 2000.[23] Ricardo M. Bastos. ''Extending UML Activity Diagrams for Workflow Modeling in Production Systems''. Universidad Pontificia Catolica de RioGrande del Sur, Brasil, 2001[24] Marlon Dumas, Arthur H.M. ''UML Activity Diagrams as a Workflow Specification Language''. Queensland University, Australia. Published in Proceedings of the UML'2001 Conference, 2000



Referencias (v)

[25] http://www.daimi.au.dk/PetriNets/[26] http://www.daimi.au.dk/CPnets/[27] http://www.wfmc.org/[28] http://www.e- workflow.org/[29] http://www.puml.org/[30] http://www.uml.org/[31] http://tmitwww.tm.tue.nl/research/patterns/index.htm[32] http://is.twi.tudelft.nl/~hommes/toolsub.html[33] http://www.citi.qut.edu.au/yawl/index.jsp[34] http://tmitwww.tm.tue.nl/staff/wvdaalst/workflow/xrl/[35] http://www.wfmc.org/standards/wfxml_demo.htm


Modelado de Workflow con Redes de Petri Coloreadas...

Documents

Transcript of Modelado de Workflow con Redes de Petri Coloreadas...