Un Marco Flexible para la Especificación de Procesos Flexibles. Aplicación a la Resolución de Emergencias

Abstract

Los sistemas de gestión de flujos de trabajo, también conocidos en la literatura por el término inglés workflow management systems, permiten modelar, ejecutar y monitorizar procesos, vistos como conjuntos de tareas o actividades, cuyas realizaciones permiten alcanzar unos ciertos objetivos o metas en el contexto de una o varias organizaciones. Este tipo de sistemas han sido implantados, desde hace varias décadas, en compañías, organizaciones y entidades de todo tipo para gestión documental, gestión de correo electrónico, gestión de pedidos o gestión de sincronización en el acceso a recursos compartidos, entre otros. Se utilizan modelos, especificaciones de los procesos, para representar los flujos de trabajo, que son extraídos siguiendo alguna metodología a partir de los procesos de negocio. El objetivo principal de cualquier metodología para la especificación de flujos de trabajo es ser lo suficientemente flexible como para soportar la especificación de cualquier proceso. Cada metodología adopta una notación que la caracteriza, entre las que destacan dos: la basada en diagramas de flujo y la basada en reglas. Aunque en el fondo son muy similares, afrontan el problema desde distintos puntos de vista, lo que hace que, dependiendo de las características concretas del proceso, sean más o menos adecuadas. Por otra parte, una de las características más buscadas en los sistemas de gestión de flujos de trabajo, es la capacidad de adaptarse a los distintos tipos de cambios que pueden sufrir los procesos durante su ejecución, o, lo que es lo mismo, ser suficientemente flexibles como para soportar cambios en tiempo de ejecución. Se han utilizado distintos formalismos para definir la semántica concreta de cada uno de los elementos de los flujos de trabajo de las distintas metodologías (p.e. Redes de Petri, etc.) ya que, en gran medida, la flexibilidad, tanto a nivel de metodología como a nivel de ejecución, viene determinada por el formalismo subyacente. En este trabajo proponemos: - Una metodología flexible para soportar la especificación de cualquier proceso complejo - Un marco conceptual, basado en metamodelado, que proporciona la flexibilidad necesaria para soportar cualquier cambio en tiempo de ejecución. Además, como soporte formal, utilizamos lógica deóntica, definida como una variante de la lógica dinámica, lo que nos permite formalizar de forma precisa ambos tipos de flexibilidad. Este trabajo está motivado en los procesos que deben soportar los Sistemas para Gestión y Resolución de Emergencias. Este campo de aplicación exige una aproximación muy flexible tanto en tiempo de diseño, ya que son procesos muy complejos, como en tiempo de ejecución, ya que son procesos en los que las condiciones reales de ejecución son muy difícilmente predecibles y que, por tanto, es muy probable requieran cambios en tiempo de ejecución.