Transformaci n de los diagramas BPMN por YAWL Nets

Transformación de los diagramas BPMN por redes YAWL
JianHong YE School of Computer Science and Technology Huaqiao University,
Quanzhou Fujian 362021, China Email: leafever@163.com
Wen SONG School of Mathematics and Computer Engineering Xihua University,
Chengdu Sichuan 610039, China Email: syl1505@163.com
Abstracto
Business Process Modeling Notation (BPMN) es el estándar de facto para elmodelado de procesos de negocio en un nivel conceptual. Sin embargo, BPMN carece de una semántica formal y muchos de sus elementos tienen que ser aún más interpretar, tanto que dificulta BPMN como un estándar para comprobar estáticamente la corrección semántica de modelos. YAWL (Sin embargo, otro Workflow Language) permite la especificación de los modelos de flujo de trabajo ejecutables. Unatransformación entre estas dos lenguas permite la integración de los diferentes niveles de abstracción en el modelado de procesos. Este artículo discute cómo transformar diagramas BPMN a las redes yola. Los beneficios de la transformación son tres. En primer lugar, aclara la semántica de BPMN a través de una asignación a YAWL. En segundo lugar, el despliegue de modelos de procesos de negocio BPMN sesimplifica. En tercer lugar, los modelos BPMN pueden ser analizados con herramientas de verificación YAWL.
I. Introducción
El modelado de proceso se usa a niveles diferentes de la abstracción. En primer lugar, los modelos sirven para comunicarse ya que - es el negocio procesos, opciones de la mejora de la punta, conducta el recurso y el análisis de costes y capturan futuros procesos. El Proceso denegocio Modelando Nota (BPMN [1]) es el estándar de facto para proceso que modela a este nivel. En el otro apuntamiento de lenguas de mano en técnicamente realización los procesos de negocio se usan como la entrada para la ejecución de proceso motores. La YOLA [2] es un estándar para la realización composición orientada al proceso de servicios web, con una semántica de ejecución estrictamentedefinida, un concepto de primera clase de “tarea” y apoyo sofisticado a correlaciones de datos y asignación de la tarea al recurso.
BPMN es una lengua orientada al gráfico en cual control los nodos se pueden relacionar del modo arbitrario. Esto principalmente los objetivos en analistas de la esfera y se apoyan por muchos instrumentos de modelado. La nota hereda y se combina elementos de varias notasantes propuestas para modelado de proceso de negocio, incluso el Proceso de XML Lengua de la definición (XPDL) [3] y la actividad.
_____________________________________________
Manuscrito recibido el 11 de junio de 2009; revisado el 13 de octubre de 2009; aceptado El 19 de octubre de 2009 .Este trabajo fue apoyado en parte por la Fundación de la Ciencia de Universidad de Huaqiao concede 09BS514 y laFundación Especial para Científicos jóvenes de la provincia de Fujian.

Componente de diagramas de la Nota de Modelado Unificada (UML) [4].
BPMN proporciona varias ventajas de modelar procesos de negocio, ofrece un modelado del flujo de proceso la técnica que es más conducente al camino de negocio el modelo de analistas y su fundación matemática sólida son expresamente diseñado para trazar un mapaa lenguas de ejecución comerciales. BPMN es apoyado ya por más de 54 instrumentos (ver www. bpmn. org), pero en su forma corriente, BPMN carece la precisión semántica que se requiere capturar totalmente procesos de negocio ejecutables. Consecuente con el nivel de abstracción apuntada por BPMN, ninguno de estos instrumentos apoye la ejecución de modelos BPMN directamente. Cerrar inspección detraducción existente de BPMN a BPEL el estándar, el que dibujado en [1], [5] – [7], muestra éstos las traducciones no pueden realizar los requisitos claves, tal como completo, automatización, legibilidad, etc. La traducción los modelos y los algoritmos en estos periódicos se dirigen a cuestiones esto levántese generalmente traduciendo del proceso orientado al gráfico lenguas a estructurado por el...