MX2008011908A

MX2008011908A - Estructura de trabajo para modelar continuaciones en flujos de trabajo.

Info

Publication number: MX2008011908A
Application number: MX2008011908A
Authority: MX
Inventors: Dharma K Shukla; Mayank Mehta; Akash J Sagar; Robert B Schmidt; Karthik Raman; Nathan Talbert
Original assignee: Microsoft Corp
Priority date: 2006-03-30
Filing date: 2007-02-21
Publication date: 2008-09-29
Also published as: US20070239499A1; AU2007235541A1; US8069439B2; BRPI0710032A2; CA2643331A1; CN101416157A; EP2013714A1; WO2007117364A1; EP2013714A4; KR20080112253A; RU2008138699A; JP5140067B2; CN101416157B; JP2009532758A

Abstract

Se describe la habilitación de creación de patrones de flujo de control en un flujo de trabajo a través de continuaciones. Cada continuación representa un contexto de ejecución de actividad para una actividad que se ejecuta en un flujo de trabajo a través de una máquina de flujo de trabajo virtualizando un ambiente de ejecución manejado. En respuesta a una solicitud, el contexto de ejecución de actividad es recreado a través de la continuación y la actividad es ejecutada dentro del contexto recreado.

Description

ESTRUCTURA DE TRABAJO PARA MODELAR CONTI UACIONES EN FLUJOS DE TRABAJO ANTECEDENTES Los sistemas existentes intentan modelar procedimientos de negocio u otras interacciones de mundo real entre agentes autómatas a través de flujos de trabajo de nivel alto. Sin embargo, los flujos de trabajo pueden variar en una variedad de dimensiones tal como (a) ejecución y complejidad de moldeado, (b) reconocimiento de la estructura del flujo en tiempo de diseño, (c) estáticamente definido o a ad-hoc-dinámico, (d) facilidad de crear y editar el flujo en varios puntos en su ciclo de vida, y (e) asociación débil o fuerte de lógica de negocio con el procedimiento de flujo de trabajo de núcleo. Los modelos de flujo de trabajo existentes fallan al acomoda todos estos factores. Además, los modelos de flujo de trabajo existentes se basan en cualquier aspecto basado en lenguaje (por ejemplo, DPEL4WS, XLANG/S y WSFL) o aspectos basados en aplicación. Los aspectos basados en lenguaje son lenguajes de flujo de trabajo de nivel superior con un grupo cerrado de construcciones predefinidas que ayudan a modelar el procedimiento de flujo de trabajo al usuario/programador. Los lenguajes de flujo de trabajo transportan toda la información semántica para el grupo cerrado de construcciones para permitir que el usuario construya un modelo de flujo de trabajo. Sin embargo, los lenguajes no son extensibles por los desarrol ladores y representan un grupo cerrado de primitivos que constituyen el modelo de flujo de trabajo. Los lenguajes se unen al recopilador de lenguaje transportado por el vendedor de sistema de flujo de trabajo. Sólo el vendedor de producto de sistema de flujo de trabajo puede extender el modelo al extender el lenguaje con un nuevo grupo de construcciones en una versión futura del producto. Esto frecuentemente requiere mejorar el recopilador asociado con el lenguaje. Además, los lenguajes usualmente no exponen o definen declarativamente funciones u operaciones que pueden utilizarse fácil y eficientemente por otros programas. Los aspectos basados en aplicación son aplicaciones que tienen las capacidades de flujo de trabajo dentro de la aplicación para resolver un problema específico de dominio. Estas aplicaciones no son verdaderamente extensibles ni tienen un modelo programable.

BREVE DESCRIPCION DE LA INVENCION Las modalidades de la invención permiten la creación de patrones de flujo de control en un flujo de trabajo. En una modalidad, la invención genera continuaciones para fragmentos de programa durante la ejecución de los fragmentos de programa a través de una máquina de meta-tiempo de funcionamiento. La máquina de meta-tiempo de funcionamiento virtualiza un ambiente de ejecución manejado teniendo funcionalidad fija. En respuesta a una solicitud de un usuario u otra fuente, los aspectos de la invención recrean un contexto de ejecución de actividad a través de las continuaciones generadas y ejecutan, dentro del contexto de ejecución de actividad recreada, los fragmentos de programa o sus porciones. Esta breve descripción se proporciona para introducir una selección de conceptos en una forma simplificada que además se describe posteriormente en la descripción detallada. Esta breve descripción no pretende identificar características clave o características esenciales del tema reclamado, ni pretende utilizarse como un auxiliar al determinar el alcance del tema reclamado. Otras características en parte serán evidentes y en parte se señalarán aquí posteriormente.

BREVE DESCRIPCION DE LOS DIBUJOS La Figura 1 es un diagrama de bloques que ilustra un ambiente operativo ilustrativo para aspectos de la invención La Figura 2 es un diagrama de bloques ilustrativo que ilustra una estructura de flujo de trabajo basada en continuación de acuerdo con una modalidad de la invención. La Figura 3 es un diagrama de bloques ilustrativo que ilustra un flujo de trabajo de acuerdo con una modalidad de la invención. La Figura 4 es un diagrama que ilustra una estructura jerárquica de una actividad de flujo de trabajo de acuerdo con una modalidad de la invención.

La Figura 5 es un diagrama que ilustra un autómata de estado ilustrativo para una actividad de acuerdo con una modalidad de la invención. La Figura 6 es un diagrama de bloques que ilustra un sistema ilustrativo para procesar actividades de flujo trabajo de acuerdo con una modalidad de la invención. La Figura 7 es un cuadro de flujo ilustrativo que ilustra la modelación de continuaciones en un flujo de trabajo. Los caracteres de referencia correspondientes indican partes correspondientes a través de los dibujos.

DESCRIPCION DETALLADA Haciendo referencia primero a la Figura 1, un diagrama de bloques ilustra un paradigma de programación típico para modelar actividades céntricas de procedimiento en un flujo de trabajo. En esta figura, el diagrama muestra un modelo de virtualización de nivel 3 con un ambiente de ejecución manejado 106 en el nivel superior que virtualiza un sistema operativo 104. El ambiente de ejecución manejado 106 virtualiza la ejecución de un programa que se ejecuta en el ambiente 106 en términos de una máquina de pila abstracta que puede implementarse independiente de la arquitectura de procesador de un dispositivo de cómputo. El sistema operativo 104 virtualiza una unidad de procesamiento 102 en el nivel inferior. Los programas en el nivel de ambiente de ejecución manejado 106 carecen de la capacidad y eficiencia de acomodar interacciones complejas entre procedimientos en un flujo de trabajo debido a la funcionalidad fija disponible en el ambiente de ejecución manejado 106. El ambiente de ejecución manejado 106 también incluye varios requerimientos estrictos no adecuados para controlar la complejidad y capacidad de los flujos de trabajo que moldean flujos de trabajo de mundo real. Además, los códigos o rutinas de programación en el sistema operativo 104 son dependientes del tipo o configuración de la unidad de procesamiento 102 y el tipo de arquitectura de cómputo (por ejemplo, compatible con computadoras personales de la marca IBM, computadoras personales de la marca APPLE, u otros sistemas) entre otras limitaciones. Además, los lenguajes de programación típicamente requieren estructuras de datos específicas de hardware tal como una pila, bulto, o secuencia para el sistema operativo 104 para funcionar apropiadamente. Haciendo referencia después a la Figura 2, aspectos de la invención incluyen una máquina de flujo de trabajo basado en continuación 202, máquinas de meta-tiempo de funcionamiento, u otra estructura de trabajo que virtualiza el ambiente de ejecución manejado 106. El flujo de trabajo incluye una composición jerárquica de actividades con cada actividad que representa una unidad de trabajo. La máquina de flujo de trabajo 202 proporciona un modelo asincrónico, abstracto de ejecución de los códigos de operación (op-códigos) o las actividades en el flujo de trabajo que representan procedimientos de mundo real. La máquina de flujo de trabajo 202 es un tiempo de funcionamiento basado en continuación que es capaz de suspender los programas y resumirlos en cualquier. Durante el ciclo de ejecución. Mientras una actividad es especifica de dominio, la máquina de flujo de trabajo 202 es agnóstica de especificación de dominio. Además, la máquina de flujo de trabajo 202 no sabe nada sobre un patrón de flujo de control especifico que se empaca en términos de una actividad. Como tal, el modelo de ejecución proporcionado por aspectos de la invención es abstracto. Además, mientras el caso de flujo de trabajo completo puede correr lógicamente para una cantidad de tiempo arbitraria (por ejemplo, días, meses, o años), las actividades asociadas con el flujo de trabajo pueden realizar trabajo de vida corta y generarse en una forma de tareas múltiples co-operativas. El modelo de ejecución abstracto de aspectos de la invención permite que la máquina de flujo de trabajo 202 suspenda un caso a la mitad de la ejecución y/o expulsarlo de la memoria y resumirlo en el futuro. La máquina de flujo de trabajo 202 maneja tales operaciones a través de de pasivación de programa. En una modalidad, la máquina de flujo de trabajo 202 opera para virtualizar uno o más de ios siguientes aspectos del ambiente de ejecución manejado 106: op-códigos específicos de dominio, una secuencia, un primitivo de sincronización, una máquina de ejecución, un tiempo de vida de objeto, un formato de fuente, una sección, una falla, una preparación de falla, y de control de falla. Por ejemplo, los aspectos de la invención permiten a los usuarios escribir op-códigos de costumbre en términos de actividades de costumbre. En general, la máquina de flujo de trabajo 202 utiliza una secuencia, una pila, y/o un bulto del ambiente de ejecución manejado 106. Con la capacidad de ejecutar programas escritos en cualquier lenguaje de programación y compuestos en cualquier formato de archivo, la máquina de flujo de trabajo 202 permite a los desabolladores de programa diseñar programas sin comprometerse. Al definir actividades que representan tareas o procedimientos de flujo de trabajo como la clase de base para ejecutarse por la máquina de flujo de trabajo 202, los aspectos de la invención permiten a los desabolladores construir fácil y eficientemente op-códigos específicos de dominio sin adherirse al grupo de funciones rígido, de código duro, inflexibles, y fijos o clases de actividades en el ambiente de ejecución manejado 106. Los op-códigos pueden ser específicos para la industria de salud, industria financiera, u otros dominios. La máquina de flujo de trabajo 202 en la Figura 2 puede ser cualquier tiempo de funcionamiento basado en continuación en capas en la parte superior de cualquier estructura de trabajo de ejecución existente (por ejemplo, el ambiente de ejecución manejado 106, sistema operativo 104, o unidad de procesamiento 102 en la Figura 1) que permite el moldeado de continuaciones y varios aspectos de las mismas para permitir que el programador modele patrones de flujo de control complejo y dinámico. Los aspectos de la invención permiten la definición de actividades en cualquier forma o representación (por ejemplo, un cuadro de flujo, un diagrama, una descripción numerada, o similares). Las continuaciones pueden utilizarse para modelar patrones de flujo de control complejo y dinámico. Una continuación representa un programa congelado en la acción y puede incluir un objeto funcional individual que contiene el estado de un cálculo. Cuando se evalúa el objeto, el cálculo almacenado puede reiniciarse en donde se dejó. Al resolver ciertos tipos de problema, puede ser de gran ayuda para permitir guardar el estado de un programa y reiniciarlo posteriormente. En el multiprocesamiento, por ejemplo, una continuación con vencionalmente representa un procedimiento suspendido. En programas de búsqueda no determinantes, una continuación puede representar un nodo en el árbol de búsqueda. Mientras el ambiente de ejecución manejado 106 crea un ambiente de comunicación común, incluso fijo, entre programas, la capacidad de moldear procedimientos de mundo real en tal ambiente falta. Por ejemplo, las aplicaciones que se ejecutan en el ambiente de ejecución manejado 106 se limitan a un lenguaje intermedio para compartir funciones o clases orientadas objetos comunes. El lenguaje intermedio tiene parámetros fijos, argumentos, o esquemas o funciones. Haciendo referencia de nuevo a la Figura 2, un usuario 204 (por ejemplo, un humano, un programa de aplicación, un sistema operativo, o similares) ¡nteractúa con una computadora 206 que proporciona las estructura de trabajo de fundamento de flujo de trabajo. La computadora 206 y el procesador asociado con este (no mostrada) tiene acceso a un área de memoria 208 que almacena datos de continuación 210 y uno o más componentes o módulos legibles por computadora que tienen instrucciones ejecutables por computadora para implementar el fundamento de flujo de trabajo. En la modalidad de la Figura 2, los componentes ejecutables por computadora o módulos incluyen un componente de máquina de ejecución 212, un componente de estado 214, un componente de memoria 216, y un componente de reproducción 218. El componente de máquina de ejecución 212, cuando se ejecuta por la computadora 206, ejecuta una pluralidad de fragmentos de programa asociados con un flujo de trabajo y virtualiza el ambiente de ejecución manejado 106 teniendo funcionalidad fija. El componente de estado 214 genera una pluralidad de continuaciones para los fragmentos de programa ejecutándose por el componente de máquina de ejecución 212. Cada una de la pluralidad de continuaciones incluye un estado de tiempo de funcionamiento y un estado de aplicación y en general representa un contexto de ejecución de actividad u otro estado del fragmento de programa en un punto dado en tiempo. El contexto de ejecución de actividad está disponible independiente de la pila asociado con la secuencia física del ambiente de ejecución manejado 106. El estado de tiempo de funcionamiento indica un estado de fila de programador (por ejemplo, los artículos en una fila asociada con el programador) o de otra manera indica un contador de programa identificando un controlador de excepción después de programado 1 o para ejecución. El estado de aplicación indica un estado de actividad (por ejemplo, con una referencia al árbol de actividad). El componente de memoria 216 serializa las continuaciones y almacena las continuaciones serializadas en un diario de ejecución. Las continuaciones serializadas a través del componente de memoria 216 modelan uno o más de lo siguiente: un patrón de flujo de control, una iteración, una declaración de paralela, una máquina de estado, un controlador de flujo de página, un generador de secuencia, y otra continuación. El componente de reproducción 218 recrea, en respuesta a una solicitud del usuario 204. el estado de tiempo de funcionamiento y el estado de aplicación asociado con una o más de las continuaciones serializadas por el componente de memoria 216. Cuando se ejecuta por la computadora 206, el componente de reproducción 218 ejecuta. dentro del estado de tiempo de funcionamiento recreado y el estado de aplicación, los fragmentos de programa asociados con una o más de las continuaciones. Por ejemplo, utilizando la referencia a la continuación, un controlador de ejecución (por ejemplo, un método asociado con una actividad) puede programar más controladores de ejecución (por ejemplo, una actividad compuesta puede programar la ejecución de su hijo). En una modalidad, la referencia a la continuación incluye el contexto de ejecución de actividad como un argumento directo o implícito. La compensación de las actividades exitosamente terminadas pueden ser ejecutadas en el futuro re-invocando el contexto persitido y ejecutando el método compensador del caso de acti idad dentro del contexto. Cualquiera de los elementos en la Figura 2, las otras figuras, y lenguaje de la presente constituyen medios para manejar la pluralidad generada de continuaciones. Haciendo referencia después a la Figura 3, se muestra un flujo de trabajo ilustrativo 300. En el ejemplo de la Figura 3, el flujo de trabajo 300 es un flujo de trabajo para procesar una orden de compra. Las actividades en el flujo de trabajo pueden secuenciarse para que algunas de las actividades puedan realizarse paralelas a o simultáneas con otras actividades en el flujo de trabajo 300, mientras algunas de las actividades en el flujo de trabajo 300 se ejecutan después del término de otras actividades en el flujo de trabajo 300. El flujo de trabajo 300 inicia desde un punto de partida 302 tal como la recepción de una orden de un consumidor. El flujo de trabajo 300 incluye una declaración condicional 304 (por ejemplo, una declaración de IF o una declaración WHILE) con ramificaciones en declaraciones condicionales 306 y 308 dependiendo del resultado de la condición en la declaración condicional 304. Siguiendo la declaración condicional 306, el flujo de trabajo 300 incluye una estructura paralela 310 que tiene dos secuencias para ejecutarse asincrónicamente. En el ejemplo mostrado en la Figura 3, una actividad de "Enviar correo electrónico" y una actividad de "Obtener Aprobación" se procesan en paralelo antes que se complete el flujo de trabajo en 314. Después de la declaración condicional 308, un área de "dejar caer actividades aquí" 316 indica que el escritor de actividad u otro usuario puede agregar actividades en el flujo de trabajo 300 antes de que el flujo de trabajo se complete en 314. Haciendo referencia después a la Figura 4. el diagrama de bloque ilustra una estructura jerárquica 402 (por ejemplo, una estructura de árbol) de una actividad de flujo de trabajo. La ejecución de la actividad incluye ejecución del árbol de actividad que inicia en la raíz del árbol. La actividad puede configurarse por código de software en cualquier lenguaje de programación. Por ejemplo, el código de software puede representar lógica o reglas de negocio o aplicación escrita en un dominio específico o ambiente de ejecución. La actividad puede incluir uno o más artículos de trabajo u otras actividades que ¡mplementan la lógica o reglas. En la modalidad de la Figura 4, las actividades y artículos de trabajo asociados se distribuyen y ejecutan de acuerdo con la estructura 402 u otra secuencia de ejecución. La máquina de meta-tiempo de funcionamiento define un alcance un alcance o límite para cada uno de los artículos de trabajo asociados con una actividad. Este alcance o límite incluye y expone información (por ejemplo, en la forma de datos, metadatos, o similares) tal como los datos compartidos o recursos para accederse por los artículos de trabajo, propiedades asociadas, controladores, limitaciones, eventos, y similares. Haciendo referencia después a la Figura 5, un autómata de estado ilustrativo define un grupo de estados a través de los cuales puede transitar una actividad. Generalmente, el autómata de estado 500 define un tiempo de vida de ejecución para la actividad. En el autómata ilustrativo de la Figura 5, la actividad transita a través del grupo definido de estados mientras la máquina de meta-tiempo de funcionamiento ejecuta la actividad y evalúa condiciones de transiciones. La máquina de meta-tiempo de funcionamiento impulsa la ejecución de la actividad por el autómata abstracto. En una modalidad, la ejecución de una actividad se realiza en términos de los estados en el autómata 500 y las transiciones posibles específicas para cada uno de ios estados. Un autómata ilustrativo incluye un estado iniciado, un estado de ejecución, y un estado cerrado. En el ejemplo de la Figura 5, el autómata de estado 500 incluye un estado iniciado 502, un estado de ejecución 504, un estado de cancelación 506. un estado defectuoso 508, un estado de compensación 510, y un estado cerrado 512. En otra modalidad, uno o más estados adicionales pueden definirse en el autómata de estado 500 sin apartarse del alcance de las modalidades de la invención. En general, el autómata de estado 500 tiene una o más condiciones de transición que definen la transición en actividad a través del grupo de estados. En una modalidad, si se asocia un primer autómata con una primera actividad y un segundo autómata se asocia con una segunda actividad, una comisión de transición del primer autómata de la primera actividad puede ser dependiente de un estado actual del segundo autómata de la segunda actividad.

Además, el autómata de estado 500 puede establecer una o más relaciones entre artículos de trabajo o actividades en una actividad compuesta. Por ejemplo, una de las reglas de relación puede incluir que, antes de transitar métodos o artículos de trabajo en el nodo de raíz del árbol de actividad al estado cerrado 512, todos los artículos de trabajo en los nodos hijo deben estar en el estado iniciado 502 ó el estado cerrado 512. Otra regla puede especificar que el artículo de trabajo en el nodo de raíz debe estar en el estado de ejecución 504 antes de transitar los artículos de trabajo en el nodo hijo del árbol de actividad al estado de ejecución 504. Haciendo referencia de nuevo a la Figura 6, un diagrama ilustra un sistema 600 para procesar actividades de flujo de trabajo de acuerdo con una modalidad de la invención. El sistema 600 incluye un procesador 602, que puede ser una unidad de procesamiento tal como unidad de procesamiento 102 en la Figura 1 o una colección de unidades de procesamiento. El sistema 600 también incluye un área de almacenamiento o de memoria 604 para almacenar datos accesibles por el procesador 602. En una modalidad, el sistema 600 puede ser una computadora que tiene uno o más procesadores o unidades de procesamiento (por ejemplo, procesador 602), una memoria de sistema (por ejemplo, área de memoria 604), y otros componentes para acoplar varios componentes de sistema que incluyen el procesador 602 al área de memoria 604. Por ejemplo, el área de memoria 604 almacena una pluralidad de actividades 606 para procesar en un flujo de trabajo (por ejemplo, el flujo de trabajo 300 en la Figura 3). Cada una de la pluralidad de actividades 606 incluye uno o más artículos de trabajo, y los artículos de trabajo pueden organizarse en una estructura jerárquica tal como una estructura de árbol (ver Figura 4) Al procesar la pluralidad de actividades 606, el procesador 602 accede o ejecuta un programado 608. El programador 608 incluye una fila 610 de artículos de trabajo (por ejemplo, una fila de trabajo) y un distribuidor 612 que elimina de la fila los artículos e invoca las implementaciones correspondientes que realizan el trabajo asociado con el artículo de trabajo sacado de la fila hasta que la fila 610 está vacía. Cada unidad del trabajo en la fila 610 corresponde a un método implementado por una actividad. El método puede denominarse como el controlador de ejecución. Una ejecución completa de actividad dada puede transcurrir la invocación y ejecución de un grupo de controladores de ejecución formados en la fila 610 en un punto en el tiempo previo. Una autómata de estado tal como autómata de estado 500 en la Figura 5 define un flujo de ejecución para los artículos de trabajo (por ejemplo, artículos de trabajo 622) en una actividad de flujo de trabajo. El procesador 608 acceder a los artículos de trabajo en la pluralidad de actividades 606 a través de un componente o un grupo de instrucciones ejecutables por computadora tal como el programador 608 para iniciar los artículos de trabajo 622 y formar o almacenar los artículos de trabajo 622 a una fila 610. Por ejemplo, el articulo de trabajo 622-1, como se ilustró en la Figura 6, se inicia y forma en la fila 610. El artículo de trabajo 622-1 después se elimina de la fila o remueve de la fila 610 por un distribuidor 612 antes de transitar a un estado de ejecución (por ejemplo, estado de ejecución 504 en la Figura 5) para ejecución. En un ejemplo, el articulo de trabajo 622-1 incluye un método de actividad o una operación de actividad 624, rutina, o una colección de códigos para realizar una función de "solicitar entrada de un usuario". Uno o más otros métodos de actividad, operaciones de actividad, rutinas, o códigos pueden incluirse en cada uno de los artículos de trabajo 622 sin apartarse del alcance de aspectos de la invención. Mientras el distribuidor 612 se distribuye los artículos de trabajo 622. el procesador 602 ejecuta los métodos 624 en cada uno de los artículos de trabajo 622 en 614. En el ejemplo del artículo de trabajo 622-1 , el procesador 602 puede proporcionar a un usuario una interfase de usuario (Ul) para ingresar la información solicitada o datos. En otra modalidad, el procesador 602 puede conectarse a o acceder a fuentes de datos externa para entrada. Con el término del método de actividad u operación de actividad 624, el procesador 602 concluye la ejecución del artículo de trabajo 622-1 en 616. Alternativamente, el procesador 602 puede pasivar o de otra forma capturar el estado de ejecución de artículos de trabajo (por ejemplo, artículo de trabajo 622-1) en 618 a un almacenamiento de datos 620 para recuperación subsecuente y ejecución continuada.

Dependiendo de los parámetros o condiciones durante la ejecución del articulo de trabajo 622-1 , el articulo de trabajo 622-1 puede proceder a un estado de cancelación (por ejemplo, estado de cancelación 506 en la Figura 5) o un estado defectuoso (por ejemplo, estado defectuoso 508 en la Figura 5). En una modalidad, el artículo de trabajo 422-1 puede proceder del estado de cancelación al estado defectuoso. En una modalidad alternativa, un estado de compensación (por ejemplo, estado de compensación 510 en la Figura 5) describe un grupo de operaciones o funciones para realizarse cuando ocurrió una falla o excepción. Haciendo referencia después a la Figura 7, un diagrama de flujo ilustrativo muestra el modelado de continuaciones en un flujo de trabajo. El método incluye generar una pluralidad de continuaciones para uno o más fragmentos de programa durante la ejecución de los fragmentos de programa a través de una máquina de meta-tiempo de funcionamiento en 702. Por ejemplo, las continuaciones pueden ser generadas en respuesta a una solicitud de una actividad asociada con uno o más fragmentos de programa. En una modalidad, la ejecución del fragmento de programa es episódica, con cada episodio persistente como una continuación. La máquina de meta-tiempo de funcionamiento virtualiza un ambiente de ejecución manejado teniendo funcionalidad fija. Cada una de la pluralidad generada de continuaciones representa un contexto de ejecución de actividad que incluye, en una modalidad, un estado de tiempo de funcionamiento asociado con la máquina de meta-tiempo de funcionamiento y un estado de aplicación asociado con los fragmentos de programa. Un límite de datos para la continuación se define, por ejemplo, determinando el grado, alcance y unión de variables para el estado en un contexto(s) de cierre ambiental. El método almacena la pluralidad generada de continuaciones en 704 para persistir la continuación seleccionada a través de pasivación y para crear un diario de ejecución para los fragmentos de programa. En una modalidad, las continuaciones se almacenan de acuerdo con un orden de ejecución de actividades con los fragmentos de programa. El método permite al usuario navegar en el diario de ejecución (por ejemplo, a través de una interfase de programación de aplicación expuesta por un escrito de actividad) y recibe, del usuario, una selección de una de las continuaciones almacenadas del diario de ejecución. El método también permite al usuario clasificar el diario de ejecución y buscar el diario de ejecución para continuaciones que se ejecutan y/o no se ejecutan. El método además selecciona una de las continuaciones almacenadas del diario de ejecución y recupera la continuación seleccionada en respuesta a una solicitud de un usuario en 706. El método también recrea el contexto de ejecución de actividad asociado con la continuación recuperada en 708 y ejecuta, dentro del contexto de ejecución de actividad re-creada, los fragmentos de programa asociados con la continuación recuperada en 710. La computadora 206 en la Figura 2 y procesador 602 en la Figura 6 son ejemplos de dispositivos de cómputo de propósito general. En una modalidad de la invención como una computadora es adecuada para uso en las otras figuras ilustradas y descritas aquí. La computadora tiene uno o más procesadores o unidades de procesamiento y una memoria de sistema La computadora típicamente tiene al menos alguna forma de medio legible por computadora. Los medios legibles por computadora, que incluyen tanto medios volátiles como no volátiles, medios remo í bles y no removibles, puede ser cualquier medio que pueda accederse por la computadora. A manera de ejemplo y no de limitación, medios legibles por computadora comprenden medios de almacenamiento por computadora y medios de comunicación. Los medios de almacenamiento por computadora incluyen medios volátiles y no volátiles, removibles y no removibles imple mentados en cualquier método o tecnología para almacenamiento de información tal como instrucciones legibles por computadora, estructuras de datos, módulos de programa u otros datos. Por ejemplo, los medios de almacenamiento por computadora incluyen RAM, ROM, EEPROM, memoria flash u otra tecnología de memoria. CD-ROM, discos versátiles digitales (DVD) u otro almacenamiento de disco óptico, cassettes magnéticos, cinta magnética, almacenamiento de disco magnético u otros dispositivos de almacenamiento magnético, o cualquier otro medio que puede utilizarse para almacenar la información deseada y que puede accederse por la computadora. Los medios de comunicación típicamente representan instrucciones legibles por computadora, estructuras de datos, módulos de programa, u otros datos en una señal de datos modulada tal como una onda portadora u otro mecanismo de transporte e incluyen cualquier medio de entrega de información. Aquellos expertos en la técnica están familiarizados con la señal de datos modulada, que tiene una o más de sus características establecidas o cambiadas de tal forma para codificar información en la señal. Los medios por cable, tal como red por cable o conexión por cable directa, y medios inalámbricos, tal como acústicos. RF. infrarrojos, y otros medios inalámbricos, son ejemplos de medios de comunicación. Combinaciones de cualquiera de los anteriores también se incluyen dentro del alcance de medios legibles por computadora. La memoria de sistema incluye medios de almacenamiento por computadora en la forma de memoria removible y/o no re movible, volátil y/o no volátil. La computadora también puede incluir otros medios de almacenamiento por computadora removibles/no removibles, volátiles/no volátiles. La computadora puede operar en un ambiente en red que utiliza conexiones lógicas a una o más computadoras remotas, tal como computadora remota. La computadora remota puede ser una computadora personal, un servidor, un enrutador, una PC de red, un dispositivo par u otro nodo de red común, y típicamente incluye muchos o todos los elementos descritos anteriormente relativos a la computadora Aunque se describió en conexión con un ambiente de sistema de cómputo ilustrativo, que incluye computadoras, las modalidades de la invención son operacionales con numerosos otros ambientes o configuraciones de sistema de cómputo de propósito general o de propósito especial. El ambiente de sistema de cómputo no pretende sugerir ninguna limitación al alcance de uso o funcionalidad de cualquier aspecto de la invención. Además, el ambiente de sistema de cómputo no debe interpretarse como teniendo ninguna dependencia o requerimiento que se relaciona con cualquiera o combinación de componentes ilustrados en la modalidad operativa ilustrativa. Ejemplos de sistemas de cómputo, ambientes, y/o configuraciones bien conocidos que pueden ser adecuados para uso con aspectos de la invención incluyen, pero no se limitan a, computadoras personales, computadoras de servidor, dispositivos móviles o portátiles, sistemas de multiprocesador. sistemas a base de microprocesador, cajas de tv por cable, electrónica de consumidor programable, teléfonos móviles, PCs de red, minicomputadoras, macrocomputadoras, ambiente de cómputo distribuidos que incluyen cualquiera de los sistemas o dispositivos anteriores, y similares. Las modalidades de la invención pueden describirse en el contexto general de instrucciones ejecutables por computadora, organizadas en uno o más componentes o módulos de programa, ejecutados por una o más computadoras u otros dispositivos. Los procesadores de datos de la computadora pueden programarse por medio de las instrucciones ejecutables por computadora almacenadas en diferentes momentos en los varios medios de almacenamiento legibles por computadora de la computadora.

Generalmente, los módulos de programa incluyen, pero no se limitan a, rutinas, programas, objetos, componentes, y estructuras de datos que realizan tareas particulares o implementan tipos de datos abstractos particulares. Los aspectos de la invención pueden implementarse con cualquier número y organización de tales componentes o módulos. Por ejemplo, aspectos de la invención no se limitan alas instrucciones ejecutables por computadora específicas o los componentes o módulos específicos ilustrados en las figuras y descritos aquí. Otras modalidades de la invención pueden incluir diferentes instrucciones o componentes ejecutables por computadora que tienen más o menos funcionalidad que la ilustrada y descrita aquí. En operación, la computadora ejecuta instrucciones ejecutables por computadora tal como aquellas ilustradas en las figuras para implementar aspectos de la invención. Los aspectos de la invención también pueden practicarse en ambientes de cómputo distribuidos en donde las tareas se realizan por dispositivos de procesamiento remotos que se enlazan a través de una red de comunicaciones. En un ambiente de cómputo distribuido, los módulos de programa pueden localizarse tanto en medios de almacenamiento de computadora locales y remotos que incluyen dispositivos de almacenamiento de memoria. Una inferíase en el contexto de una arquitectura de software incluye un módulo de software, componente, porción de código, u otra secuencia de instrucciones ejecutables por computadora. La inferíase incluye, por ejemplo, un primer módulo que accede a un segundo módulo para realizar tareas de cómputo a beneficio del primer módulo. Los primeros y segundos módulos incluyen, en un ejemplo, interfases de programación de aplicación (APIs) tal como se proporcionó por los sistemas operativos, interfases de modelo de objeto de componente (COM) (por ejemplo, para comunicación de aplicación par a par), y las interfases de formato de intercambio de metadatos de lenguaje de marcación extensible (XMI) (por ejemplo, para comunicación entre servicios web). La interfase puede estar acoplada de forma justa, implementación sincrónica tal como en la Edición de Empresa de Plataforma de Java 2 (J2EE), COM, o ejemplos de COM distribuidos (DCOM). Alternativamente o además, la interfase puede acoplarse de forma floja, implementación asincrónica tal como un servicio web (por ejemplo, que utiliza el protocolo de acceso de objeto simple). En general, la interfase incluye cualquier combinación de las siguientes características: acoplada justamente, acoplada de forma floja, sincrónica, y asincrónica Además, la interfase puede conformarse a un protocolo estándar, un protocolo de propiedad, o cualquier combinación de protocolos estándares y de propiedad. Las interfases aquí descritas todas pueden ser parte de una interfase individual o pueden implementarse como interfases separadas o cualquier combinación aquí. Las interfases pueden ejecutarse local o remotamente para proporcionar funcionalidad. Además, las inte fases pueden incluir funcionalidad adicional o menor que lo ilustrado descrita aquí. Los siguientes ejemplos además ¡lustran modalidades de la invención. Un flujo de control se considera que es dinámico en naturaleza cuando el número de actividades hijo no se conoce en el tiempo de recopilación. Por ejemplo, una actividad compuesta que modela un procedimiento de revisión de documento típico envía mensajes a los revisadores al ejecutar concurrentemente un grupo de actividades de revisador primitivas. Sin embargo, el número de revisadores pueden no conocerse estáticamente en el momento en el que se creó el programa y a partir de allí la cantidad exacta de hijo de la actividad compuesta no puede configurarse en ese momento. En tales casos, la actividad compuesta se configura con una actividad de revisador individual que actúa como una plantilla para generar un grupo de casos dinámicos en tiempo de ejecución basándose en los revisadores reales disponibles. No solo son los aspectos de flujo de control de estás construcciones dinámicas de naturaleza, pero el estado de tiempo de funcionamiento, que incluye solo localidad y uniones, también es dinámica. Por ejemplo, una actividad que modela una máquina de estado se configura con un grupo de actividades hijo que representa un estado. Cada actividad de estado es una continuación que representa el estado de meta-programa o la máquina de estado congelada en un punto en el tiempo dado. La continuación puede ejecutarse múltiples veces y en orden arbitrario por aspectos de la invención. Las construcciones de giro pueden revisarse como caso especial de flujos de control dinámico. Por ejemplo, la semántica de una actividad que modela una construcción Para Cada uno dicta que cada repetición debe crear un alcance distinto para el estado que está contenido dentro de la actividad Para Cada uno. El alcance del estado involucra la localidad del estado, maneja la integridad referencial o la unión de los estados a través de alcances, y maneja la extensión o el tiempo de vida del estado abarcado en un alcance dado. Con los aspectos de la invención, el estado de programa se captura en términos de campos y propiedades de dependencia de actividades en el árbol de programa. De esta forma, la noción de locales o variables temporales para actividades que modelan las construcciones de giro se crea al generar efectivamente casos de actividades dinámicamente. Esto captura el estado local de la repetición basándose en la actividad de plantilla que representa el cuerpo del giro. Además, a diferencia de una construcción de programa en un ambiente de programación no durable/no transaccional, las actividades pueden solicitar compensarse durante ejecución de programa subsecuente. Por ejemplo, una repetición completada exitosamente de una actividad Mientras tanto puede compensarse en un punto posterior en su ciclo de vida si su actividad padre falla. Aspectos de la invención permiten tal compensación (por ejemplo, al implementar semánticas para deshacer) para cada repetición al capturar y almacenar el estado de ejecución de la actividad que corresponde a cada repetición como una continuación. La continuación que representa el estado de ejecución almacenado puede invocarse en un tiempo posterior para ser el estado original de ejecución disponible cuando los métodos de compensación asociados con cualquiera de las actividades intentan ejecutarse. El orden de ejecución o desempeño de las operaciones en las modalidades de la invención ilustrada y descrita aquí no es esencial, a menos que se especifique de otra forma. Es decir, las operaciones pueden realizarse en cualquier orden, a menos que se especifique de otra forma, y las modalidades de la invención pueden incluir operaciones adicionales o menores a aquellas aquí descritas. Por ejemplo, se contempla que ejecutar o realizar una operación particular antes, contemporáneamente con, o después de otra operación está dentro del alcance de aspectos de la invención. Cuando se introducen elementos de aspectos de la invención a las modalidades de los mismos, los artículos "un", "uno", "el", y "dicho" pretende significar que existen uno o más de los elementos. Los términos "que comprenden", "que incluye", y "que tiene" pretenden ser inclusivos y significa que pueden haber elementos adicionales diferentes a los elementos enlistados. Al haber descrito aspectos de la invención en detalle, será evidente que son posibles modificaciones y variaciones sin apartarse del alcance de aspectos de la invención como se definió en las reivindicaciones anexas. Mientras pueden hacerse varios cambios en las construcciones, productos, y métodos anteriores sin apartarse del alcance de aspectos de la invención, se pretende que todo el tema contenido en la descripción anterior y mostrado en los dibujos anexos debe interpretarse como ilustrativo y no en un sentido limitante.

Claims

REIVINDICACIONES

1. - Un método para habilitar la creación de patrones de flujo de control en un flujo de trabajo, dicho método comprende: generar una pluralidad de continuaciones para uno o más fragmentos de programa durante la ejecución de los fragmentos de programa a través de una máquina de meta-tiempo de funcionamiento, dicha máquina de meta-tiempo de funcionamiento virtualizando un ambiente de ejecución manejado teniendo funcionalidad fija, cada uno de la pluralidad generada de continuaciones representando un contexto de ejecución de actividad; almacenar la pluralidad generada de continuaciones para crear un diario de ejecución para los fragmentos de programa; seleccionar una de las continuaciones seleccionadas del diario de ejecución y recuperar la continuación seleccionada en respuesta a una solicitud de un usuario; recrear el contexto de ejecución de actividad asociado con la continuación recuperada; y ejecutar, dentro del contexto de ejecución de actividad recreado, los fragmentos de programa asociados con la continuación recuperada .

2. - El método de acuerdo con la reivindicación 1, en donde la generación de la pluralidad de continuaciones comprende capturar un estado de tiempo de funcionamiento asociado con la máquina de meta-tiempo de funcionamiento y capturar un estado de aplicación asociado con los fragmentos de programa.

3. - El método de acuerdo con la reivindicación 1, que además comprende: habilitar al usuario para navegar el diario de ejecución; y recibir, del usuario, una selección de una de las continuaciones almacenadas del diario de ejecución.

4. - El método de acuerdo con la reivindicación 1, que además comprende habilitar a un usuario para navegar el diario de ejecución a través de una interfase de programación de aplicación expuesta por un escritor de actividad.

5. - El método de acuerdo con la reivindicación 1, en donde el almacenar la pluralidad generada de continuaciones comprende almacenar la pluralidad generada de continuaciones de acuerdo con un orden de ejecución de actividades asociado con los fragmentos de programa.

6. - El método de acuerdo con la reivindicación 1, que además comprende habilitar al usuario a buscar el diario de ejecución para continuaciones que están siendo ejecutadas.

7. - El método de acuerdo con la reivindicación 1, que además comprende habilitar al usuario a buscar el diario de ejecución para continuaciones que no están siendo ejecutadas.

8. - El método de acuerdo con la reivindicación 1 , que además comprende habilitar al usuario a clasificar el diario de ejecución.

9. - El método de acuerdo con la rei indicación 1, que además comprende persistir la continuación seleccionada a través de pasi vación .

10. - El método de acuerdo con la reivindicación 1, que además comprende definir un límite de datos para las continuaciones.

11. - El método de acuerdo con la reivindicación 10, en donde la definición del limite de datos comprende determinar el grado, la unión y el alcance de variables

12. - El método de acuerdo con la rei indicación 1, en donde el generar la pluralidad de continuaciones comprende generar la pluralidad de continuaciones en respuesta a una solicitud de una actividad asociada con uno o más fragmentos de programa.

13. - El método de acuerdo con la reivindicación 1 , en donde uno o más medios legibles por computadora tienen instrucciones ejecutables por computadora para realizar el método de la reivindicación 1. 14.- Un sistema para modelar continuaciones en flujos de trabajo, dicho sistema comprende: un área de memoria para almacenar un diario de ejecución representando una pluralidad de continuaciones asociadas con fragmentos de programa ejecutados por una máquina de ejecución, cada una de la pluralidad de continuaciones representando un contexto de ejecución de actividad; y un procesador configurado para ejecutar instrucciones ejecutables por computadora para: generar la pluralidad de continuaciones para los fragmentos de programa durante la ejecución de los fragmentos de programa; almacenar la pluralidad generada de continuaciones en el área de memoria; proporcionar una interfase al diario de ejecución en el área de memoria; en respuesta a una solicitud para una continuación particular recibida a través de la interfase provista, recuperar la continuación particular del diario de ejecución en el área de memoria; recrear el contexto de ejecución de actividad asociado con la continuación recuperada; y ejecutar, dentro del contexto de ejecución de actividad recreada, los fragmentos de programa asociados con la continuación recuperada. 15. - El sistema de acuerdo con la reivindicación 14, en donde cada una de la pluralidad de continuaciones representa un estado de ejecución de uno de los fragmentos de programa. 16. - El sistema de acuerdo con la reivindicación 14, en donde el usuario comprende uno o más de lo siguiente: un ser humano, un programa de aplicación, y un sistema operativo. 17. - El sistema de acuerdo con la reivindicación 14, que además comprende medios para manejar la pluralidad generada de continuaciones. 18. - Uno o más medios legibles por computadora que tienen componentes ejecutables por computadora, dichos componentes comprenden: un componente de máquina de ejecución para ejecutar una pluralidad de fragmentos de programa asociados con un flujo de trabajo, dicho componente de máquina de ejecución virtualizando un ambiente de ejecución manejado teniendo funcionalidad fija; un componente de estado para generar una pluralidad de continuaciones para los fragmentos de programa que son ejecutados por el componente de máquina de ejecución, cada una de dicha pluralidad de continuaciones incluyendo un estado de tiempo de funcionamiento y un estado de aplicación, dicho estado de tiempo de funcionamiento indicando un estado de fila de programador, dicho estado de aplicación indicando un estado de actividad; y un componente de memoria para serializar las continuaciones; y un componente de reproducción para recrear, en respuesta a una solicitud de un usuario, el estado de tiempo de funcionamiento y el estado de aplicación asociado con una o más de las continuaciones serializadas por el componente de memoria y para ejecutar, dentro del estado de tiempo de funcionamiento recreado y el estado de aplicación, los fragmentos de programa asociados con una o más de las continuaciones. 19 - Los medios legibles por computadora de acuerdo con la reivindicación 18, en donde cada una de la pluralidad generada de continuaciones representa un contexto de ejecución de actividad. 20.- Los medios legibles por computadora de acuerdo con la reivindicación 18, en donde las continuaciones serializadas por el componente de memoria modelan uno o más de lo siguiente: un patrón de flujo de control, una iteración, una declaración de lista paralela, una máquina de estado, un controlador de flujo de página, un generador de secuencia, y una continuación.