Especificación Formal de Elementos MoProSoft a partir del Modelo de Referencia de Flujos de Trabajo

Since the WfMC was created the opportunities for workflow technologies exploitation have increased by means of the definition of WorkFlow Management System (WFMS) standards and common terminology. Likewise, at the processes area, the BPMI developed the BPMN standard to create a link between process design and its implementation. The purpose of this document it is to show the definition processes and analyze how possible it is to formally specify MoProSoft, with the use of BPMN-BPD symbology, so it can be used by a WFMS through a definition interchange interface such as XPDL. This scenario will bring the possibility that some enterprises will employ workflow technology tool besides to MoProSoft implementation oriented tools, which are still on development stage.