Resumen de Metodología de modelado de procesos cooperativos en ingeniería del software
El trabajo desarrollado en esta tesis se enmarca dentro del área de investigación de sistemas de información y tecnología workflow. Nos centramos en el estudio, modelado y formalización de procesos que son llevados a cabo de forma cooperativa por agentes, sea cual sea su naturaleza, aportando una metodología de modelado workflow desarrollada en tres capas o niveles y una formalización del concepto de sistema workflow. Las principales aportaciones de esta tesis son la especificación formal del concepto de sistema workflow, estableciendo una nueva jerarquía conceptual, y el desarrollo de una metodología de modelado de procesos multihebra.
El primer aspecto desarrollado es la definición de una nueva jerarquía conceptual en torno a la noción de sistema workflow y la formalización, tanto de las estructuras necesarias para su especificación, como de su comportamiento. Se organiza en los siguientes bloques: objetivo, recursos, estructura organizativa, mapa workflow y sistema de gestión workflow.
El segundo aspecto desarrollado en esta tesis ha sido la especificación de una metodología de modelado de procesos multihebra basada en tres niveles de abstracción:
* Nivel de gestión, que posee los elementos de construcción gráficos necesarios para su utilización por parte de los usuarios y gestores del sistema a modelar.
* Nivel de automatización, adecuado para su ejecucción en el WfMS y destinado a expertos en programación del sistema workflow. Este nivel ha sido descrito usando el lenguaje de descripción de procesos MTWFDL. Este lenguaje aporta toda la expresividad necesaria para modelar las primitivas del nivel de gestión.
* Nivel formal: destinado a expertos en el análisis. Este nivel está sustentado por una lógica, basada en las lógicas modales-temporales, denominada MTL.
La principal contribución en este nivel es la definición semántica de operadores especiales para la especificación del comportamient
