<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>2227-1899</journal-id>
<journal-title><![CDATA[Revista Cubana de Ciencias Informáticas]]></journal-title>
<abbrev-journal-title><![CDATA[Rev cuba cienc informat]]></abbrev-journal-title>
<issn>2227-1899</issn>
<publisher>
<publisher-name><![CDATA[Editorial Ediciones Futuro]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S2227-18992015000400015</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Algoritmo para la identificación de variantes de procesos]]></article-title>
<article-title xml:lang="en"><![CDATA[Algorithm for variants process identification]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pérez Alfonso]]></surname>
<given-names><![CDATA[Damián]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Yzquierdo Herrera]]></surname>
<given-names><![CDATA[Raykenler]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Pupo Hernández]]></surname>
<given-names><![CDATA[Eudel]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[López Jiménez]]></surname>
<given-names><![CDATA[Reynaldo]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
</contrib-group>
<aff id="A01">
<institution><![CDATA[,Universidad de las Ciencias Informáticas  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2015</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2015</year>
</pub-date>
<volume>9</volume>
<numero>4</numero>
<fpage>199</fpage>
<lpage>215</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://scielo.sld.cu/scielo.php?script=sci_arttext&amp;pid=S2227-18992015000400015&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://scielo.sld.cu/scielo.php?script=sci_abstract&amp;pid=S2227-18992015000400015&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://scielo.sld.cu/scielo.php?script=sci_pdf&amp;pid=S2227-18992015000400015&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[La minería de proceso es una disciplina que impulsa el desarrollo de técnicas y herramientas para analizar los procesos partiendo de los registros de eventos. Las técnicas de minería de proceso son utilizadas en diferentes etapas de la gestión de procesos de negocio, incluyendo el diagnóstico. El diagnóstico del proceso ayuda a tener una visión general del proceso y de los aspectos más significativos del mismo. Las técnicas de minería de proceso para el diagnóstico son afectadas por el ruido y la ausencia de información en los registros de eventos. Esto dificulta la identificación de los patrones de control de flujo del proceso, limitando la consecución de los objetivos del diagnóstico. En este trabajo se propone un algoritmo para la identificación de variantes de modelos de proceso que considera el ruido y la ausencia de información en la identificación de los patrones de control de flujo. Utilizando una implementación de este algoritmo se experimentó con registros de eventos que combinan situaciones de ruido y ausencia de información. Los resultados obtenidos muestran que el algoritmo identifica correctamente los patrones de control de flujo, aún con la presencia de ruido y ausencia de información.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Process mining is a discipline that impulse tools and techniques development for process analysis, starting from event logs. Process mining techniques are used in differents stages of business process management, including diagnosis. Process diagnosis is useful to obtain a general process view, and it&#8217;s more significative elements. Event logs characteristics like noise and lack of information affects process mining techniques in process diagnosis stage. On these scenarios identification of control flow patterns become a rough task, so diagnosis objectives can be complicated to achieve. On this work, an algorithm for identification of process models variants is presented. The proposed solution takes into account the noise and lack of information. An experiment was performed with event logs that combine noise and lack of information, using an implementation of the algorithm proposed. Obtained results show that proposed algorithm identifies properly the control flow patterns even on events logs with noise and lack of information.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[algoritmo]]></kwd>
<kwd lng="es"><![CDATA[minería de proceso]]></kwd>
<kwd lng="es"><![CDATA[patrones de control de flujo]]></kwd>
<kwd lng="es"><![CDATA[variantes de proceso]]></kwd>
<kwd lng="en"><![CDATA[algorithm]]></kwd>
<kwd lng="en"><![CDATA[control flow patterns]]></kwd>
<kwd lng="en"><![CDATA[process mining]]></kwd>
<kwd lng="en"><![CDATA[process variants]]></kwd>
</kwd-group>
</article-meta>
</front><body><![CDATA[ <p align="right"><font face="Verdana, Arial, Helvetica, sans-serif" size="2"><B>ART&Iacute;CULO  ORIGINAL</B></font></p>     <p>&nbsp;</p>     <p><strong><font size="4" face="Verdana, Arial, Helvetica, sans-serif">Algoritmo para la identificaci&oacute;n de variantes de procesos</font></strong></p>     <p>&nbsp;</p>     <p><strong><font size="3" face="Verdana, Arial, Helvetica, sans-serif">Algorithm for variants process identification</font></strong></p>     <p>&nbsp;</p>     <p>&nbsp;</p>     <P><font size="2"><strong><font face="Verdana, Arial, Helvetica, sans-serif">Dami&aacute;n P&eacute;rez Alfonso<strong><sup>1*</sup></strong>, Raykenler Yzquierdo Herrera<strong><sup>1</sup></strong>, Eudel Pupo Hern&aacute;ndez</font></strong><font face="Verdana, Arial, Helvetica, sans-serif"><strong><sup>1</sup>, Reynaldo L&oacute;pez Jim&eacute;nez<sup>1</sup></strong></font></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><sup>1</sup></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Facultad 3. Universidad  de las Ciencias Inform&aacute;ticas. Carretera a San Antonio de los Ba&ntilde;os, Km 21/2,  Torrens, Boyeros, La Habana, Cuba. CP.: 19370</font></p>     <p><font face="Verdana, Arial, Helvetica, sans-serif"><span class="class"><font size="2">*Autor para la correspondencia: </font></span></font><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> <a href="mailto:jova@uci.cu"> dalfonso@uci.cu</a></font></p>     ]]></body>
<body><![CDATA[<p>&nbsp;</p>     <p>&nbsp;</p> <hr>     <P><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><b>RESUMEN</b> </font>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La miner&iacute;a de proceso es una disciplina que impulsa el  desarrollo de t&eacute;cnicas y herramientas para analizar los procesos partiendo de  los registros de eventos. Las t&eacute;cnicas de miner&iacute;a de proceso son utilizadas en  diferentes etapas de la gesti&oacute;n de procesos de negocio, incluyendo el  diagn&oacute;stico. El diagn&oacute;stico del proceso ayuda a tener una visi&oacute;n general del  proceso y de los aspectos m&aacute;s significativos del mismo. Las t&eacute;cnicas de miner&iacute;a  de proceso para el diagn&oacute;stico son afectadas por el ruido y la ausencia de  informaci&oacute;n en los registros de eventos. Esto dificulta la identificaci&oacute;n de  los patrones de control de flujo del proceso, limitando la consecuci&oacute;n de los  objetivos del diagn&oacute;stico. En este trabajo se propone un algoritmo para la  identificaci&oacute;n de variantes de modelos de proceso que considera el ruido y la  ausencia de informaci&oacute;n en la identificaci&oacute;n de los patrones de control de  flujo. Utilizando una implementaci&oacute;n de este algoritmo se experiment&oacute; con  registros de eventos que combinan situaciones de ruido y ausencia de  informaci&oacute;n. Los resultados obtenidos muestran que el algoritmo identifica  correctamente los patrones de control de flujo, a&uacute;n con la presencia de ruido y  ausencia de informaci&oacute;n.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><b><span lang=EN-GB>Palabras clave:</span></b></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">algoritmo, miner&iacute;a de proceso, patrones de control de flujo,  variantes de proceso</font></p> <hr>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><b><span lang=EN-GB>ABSTRACT</span></b> </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Process mining is a discipline that impulse tools and  techniques development for process analysis, starting from event logs. Process  mining techniques are used in differents stages of business process management,  including diagnosis. Process diagnosis is useful to obtain a general process  view, and it&rsquo;s more significative elements. Event logs characteristics like noise  and lack of information affects process mining techniques in process diagnosis  stage. On these scenarios identification of control flow patterns become a  rough task, so diagnosis objectives can be complicated to achieve. On this  work, an algorithm for identification of process models variants is presented.  The proposed solution takes into account the noise and lack of information. An  experiment was performed with event logs that combine noise and lack of  information, using an implementation of the algorithm proposed. Obtained  results show that proposed algorithm identifies properly the control flow  patterns even on events logs with noise and lack of information.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><b><span lang=EN-GB>Key words: </span></b>algorithm, control flow patterns, process mining,  process variants</font></p> <hr>     <p>&nbsp;</p>     <p>&nbsp;</p>     ]]></body>
<body><![CDATA[<p><font size="3" face="Verdana, Arial, Helvetica, sans-serif"><b>INTRODUCCI&Oacute;N</b></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La Gesti&oacute;n de Procesos de Negocio (BPM) est&aacute; orientada a la  identificaci&oacute;n y gesti&oacute;n sistem&aacute;tica de los procesos de una organizaci&oacute;n para  el logro eficaz y eficiente de los objetivos de la empresa. Como parte de este  modelo de gesti&oacute;n se han desarrollado sistemas de informaci&oacute;n para controlar la  ejecuci&oacute;n de los procesos, evaluar su funcionamiento y apoyar la toma de  decisiones</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Weske, 2007).</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Estos sistemas suelen poseer registros de eventos, donde  almacenan informaci&oacute;n sobre la ejecuci&oacute;n de los procesos que soportan. La  miner&iacute;a de proceso es una disciplina dirigida al desarrollo de t&eacute;cnicas y  herramientas para analizar los registros de eventos, extraer informaci&oacute;n a  partir de ellos y presentar de forma expl&iacute;cita el conocimiento que contienen</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(van der Aalst, 2011).</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">El estudio de los registros de eventos facilita el an&aacute;lisis  del funcionamiento real de una empresa a partir de sus procesos y el orden en  que se realizan</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Outmazgin y Soffer, 2014).</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El ciclo de vida de BPM abarca siete fases: diagn&oacute;stico, (re)  dise&ntilde;o, an&aacute;lisis, implementaci&oacute;n, (re) configuraci&oacute;n, ejecuci&oacute;n y ajuste</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(van der Aalst, 2011). El diagn&oacute;stico de proceso comprende el an&aacute;lisis de  rendimiento, la detecci&oacute;n de anomal&iacute;as, la identificaci&oacute;n de patrones comunes y  de desviaciones en el proceso   (Bose, 2012). Las t&eacute;cnicas de miner&iacute;a de proceso para el diagn&oacute;stico  identifican los comportamientos registrados con mayor frecuencia, lo que  posibilita dirigir la mejora del proceso hacia los elementos m&aacute;s cr&iacute;ticos.  Tambi&eacute;n detectan ejecuciones an&oacute;malas en el registro de eventos lo cual brinda  informaci&oacute;n acerca de posibles fraudes o violaciones en las pol&iacute;ticas   (Bose, 2012). Adicionalmente, la identificaci&oacute;n y tratamiento del ruido y  la ausencia de informaci&oacute;n, as&iacute; como la identificaci&oacute;n de patrones de control  de flujo son relevantes para el diagn&oacute;stico, por su repercusi&oacute;n en la  comprensi&oacute;n del proceso y de las relaciones entre sus actividades   (De Weerdt et al., 2012). </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">En miner&iacute;a de proceso se considera ruido al comportamiento  raro e infrecuente contenido en el registro de eventos y que no es  representativo del comportamiento com&uacute;n del proceso. Aunque en ocasiones se ve  como el resultado de errores ocurridos al registrar los eventos, no existe una  forma expl&iacute;cita de identificar en el registro dichos errores, por lo cual se  debe considerar el ruido como desviaciones del proceso</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(van der Aalst, 2011). </font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La identificaci&oacute;n de patrones de control de flujo permite  determinar las actividades que se realizan sincr&oacute;nicamente, los bloques de  actividades que se repiten, el orden en que se ejecutan determinadas  actividades y otros comportamientos relevantes en el proceso   (Bose, 2012). El tratamiento del comportamiento infrecuente es relevante  para los algoritmos que identifican patrones de control de flujo. Descartar el  ruido equivale a eliminar comportamiento del proceso y considerarlo puede  conducir a modelos poco estructurados y complejos. Los algoritmos se basan en  el descubrimiento del comportamiento m&aacute;s com&uacute;n, a partir del n&uacute;mero de  repeticiones de sucesiones directas de las parejas de eventos, denominada  envergadura de evento y del n&uacute;mero de trazas id&eacute;nticas, llamado envergadura de  traza   (Bratosin, 2011).</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Para identificar los patrones de control de flujo es  necesario que el registro de eventos contenga informaci&oacute;n suficiente, es decir,  posea un nivel de completitud tal que sus trazas sean representativas del  comportamiento el proceso</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(van der Aalst et al., 2004).</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">La completitud puede ser afectada por la ausencia de  informaci&oacute;n, se denomina de esta forma a la ausencia de evidencia en el  registro de eventos de la ejecuci&oacute;n de algunas tareas del proceso. Estas tareas  invisibles pueden no haber sido registradas debido a errores, a que el sistema  de informaci&oacute;n no deja huella de su ejecuci&oacute;n o a que no fueron informatizadas</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Yzquierdo-Herrera, 2012).</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Las t&eacute;cnicas de diagn&oacute;stico An&aacute;lisis de Diagramas de Puntos </font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Molka et al., 2013)</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">y Visualizaci&oacute;n de Flujo y Alcance   (Gunther, 2009) no son capaces de identificar patrones de control de flujo y  solo muestran una vista general del proceso. Por otra parte, la t&eacute;cnica Tandem  Arrays   (Bose y van der Aalst, 2009) extrae patrones de ejecuci&oacute;n del registro de eventos, pero no  obtiene las relaciones o dependencias entre ellos. La Miner&iacute;a Difusa   (Gunther y van der Aalst, 2007) obtiene del registros de eventos un mapa del proceso que  muestra las actividades y sus relaciones, aunque es robusta ante el ruido, no  identifica los patrones de control de flujo. La Descomposici&oacute;n en Subprocesos  utilizando bloques de construcci&oacute;n   (Yzquierdo-Herrera et al., 2013) s&iacute; identifica los patrones de control de flujo presentes,  considerando adem&aacute;s la ausencia de informaci&oacute;n. Sin embargo, la identificaci&oacute;n  de los patrones se ve afectada por la presencia de ruido en los registros de  eventos.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La detecci&oacute;n de patrones de control de flujo, identificaci&oacute;n  y tratamiento del ruido y ausencia de informaci&oacute;n en los registros de eventos  no son consideradas integralmente por las t&eacute;cnicas de diagn&oacute;stico de proceso.  Esto se traduce en modelos complejos y desviados de la ejecuci&oacute;n real,  identificaci&oacute;n err&oacute;nea de los patrones de ejecuci&oacute;n y contextualizaci&oacute;n  incorrecta de las anomal&iacute;as. Por tanto, debido a las limitaciones de las  t&eacute;cnicas analizadas se dificulta la comprensi&oacute;n de la estructura del proceso,  as&iacute; como del comportamiento y las anomal&iacute;as presentes en el registro de  eventos, comprometiendo el cumplimiento de los objetivos del diagn&oacute;stico.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo propuesto en el presente trabajo tiene como objetivo  identificar los patrones de control de flujo considerando el ruido y la  ausencia de informaci&oacute;n presente en el registro de eventos. En lugar de  construir un &uacute;nico modelo a partir del registro de eventos se construye un  &aacute;rbol de variantes de modelos del proceso.</font></p>     <p>&nbsp;</p>     ]]></body>
<body><![CDATA[<p><font face="Verdana, Arial, Helvetica, sans-serif"><strong><font size="3">MATERIALES Y M&Eacute;TODOS </font></strong></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo desarrollado utiliza como entrada un registro de  eventos en formato XES cuyo contenido debe ser coherente con la <a href="/img/revistas/rcci/v9n4/fo0115415.jpg" target="_blank">definici&oacute;n 1</a> y <a href="/img/revistas/rcci/v9n4/fo0215415.jpg" target="_blank">definici&oacute;n 2</a>   (tomadas de (van der Aalst, 2011)). Los patrones de control de flujo que se presentan en la  <a href="/img/revistas/rcci/v9n4/fo0315415.jpg" target="_blank">Definici&oacute;n 3</a> se identifican a partir del  comportamiento registrado <a href="/img/revistas/rcci/v9n4/fo0415415.jpg" target="_blank">(Definici&oacute;n 4)</a>.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo busca varias descomposiciones alternativas para el mismo  subproceso, utilizando diferentes patrones de control de flujo. Las  alternativas se construyen, descartando o no, determinados comportamientos  presentes en el registro de eventos. Tambi&eacute;n se pueden construir, considerando  o no, determinados comportamientos ausentes. Los comportamientos que son  descartados como ruido y los que son asumidos como ausentes en una variante, no  lo son en otra. Esto permite controlar el impacto estructural del ruido y la  ausencia de informaci&oacute;n en la construcci&oacute;n de las alternativas. Las diferentes  alternativas de descomposici&oacute;n que pueden existir en cada subproceso conforman  variantes del proceso, concepci&oacute;n expuesta en la <a href="/img/revistas/rcci/v9n4/fo0515415.jpg" target="_blank">Definici&oacute;n 5.</a></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Partiendo de las descomposiciones alternativas por cada  subproceso, el algoritmo construye un modelo jer&aacute;rquico que representa las  diferentes variantes de modelos del proceso. Este modelo de proceso denominado <em>&Aacute;rbol  de Variantes</em> se presenta como parte de esta investigaci&oacute;n y se describe en  la <a href="/img/revistas/rcci/v9n4/fo0615415.jpg" target="_blank">Definici&oacute;n 6</a>. En el <em>&Aacute;rbol de Variantes</em> se utiliza un operador para representar cada patr&oacute;n de control de flujo de la  <a href="/img/revistas/rcci/v9n4/fo0315415.jpg" target="_blank">Definici&oacute;n 3</a>: el operador &rarr;</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">para el patr&oacute;n <em>Secuencia</em>, &and;</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">para <em>Paralelismo</em>, </font><font size="2" face="Verdana, Arial, Helvetica, sans-serif">&times; para <em>Selecci&oacute;n exclusiva</em>, &or; para <em>Selecci&oacute;n exclusiva <img src="/img/revistas/rcci/v9n4/fo0715415.jpg" width="14" height="14"></em> y   para el patr&oacute;n <em>Lazo</em>.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El <em>&Aacute;rbol de Variantes</em> de la <a href="#f01">Figura 1</a> representa el comportamiento  contenido en un registro de eventos <img src="/img/revistas/rcci/v9n4/fo0815415.jpg" width="537" height="27"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">generado por un proceso conformado por los subprocesos del  conjunto S={s<sub>1</sub>,s<sub>2</sub>,s<sub>3</sub>,s<sub>4</sub>,s<sub>5</sub>}. Como puede apreciarse, existen diferentes nodos operador para  el mismo subproceso, los cuales pueden tener diferentes sub&aacute;rboles (s<sub>2</sub>) o no (s<sub>3</sub>). </font></p>     <p align="center"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><img src="/img/revistas/rcci/v9n4/f0115415.JPG" width="435" height="243"><a name="f01"></a></font></p>     <p><strong><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Algoritmo  para la identificaci&oacute;n de variantes de proceso</font></strong></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo que  se propone para identificar las variantes del proceso, a partir del comportamiento  contenido en un registro de eventos, est&aacute; compuesto por dos procedimientos que  se realizan iterativamente, la descomposici&oacute;n en subprocesos <a href="/img/revistas/rcci/v9n4/fo0915415.jpg" target="_blank">(Algoritmo 1)</a> y la b&uacute;squeda de variantes  de descomposici&oacute;n a partir de la identificaci&oacute;n de patrones de control de flujo  <a href="/img/revistas/rcci/v9n4/fo1015415.jpg" target="_blank">(Algoritmo 2)</a>. Adem&aacute;s, el segundo  procedimiento incluye un algoritmo para determinar los estados vecinos en la  b&uacute;squeda<a href="/img/revistas/rcci/v9n4/fo1115415.jpg" target="_blank"> (Algoritmo 3)</a>.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo de descomposici&oacute;n en subprocesos <a href="/img/revistas/rcci/v9n4/fo0915415.jpg">(Algoritmo 1)</a> utiliza un registro de  eventos <em>L</em> generado por un proceso <em>P</em> y umbrales de ruido y  completitud (<em>T</em>) para construir un <em>&Aacute;rbol de Variantes</em><em> VT</em>.  Siendo <em>S</em> el conjunto de todos los subprocesos del proceso <em>P</em>,  para cada nuevo subproceso s<sub>i</sub>&isin;  S, se busca una variante de  descomposici&oacute;n seg&uacute;n cada uno de los patrones de control de flujo.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Los umbrales definen con un n&uacute;mero entre cero y uno la cantidad de  comportamiento dentro de un subproceso que puede ser descartado o asumido como  ausente para descomponer un subproceso considerando determinado patr&oacute;n de  control de flujo. Por ejemplo, un umbral de 0.2 para ruido en el patr&oacute;n  secuencia significa que hasta el 20% del comportamiento expresado en el  registro de eventos puede ser descartado para encontrar una descomposici&oacute;n  mediante secuencia. De manera similar, un 0.8 de completitud para  paralelismo indica que el subproceso puede ser descompuesto mediante ese patr&oacute;n  conteniendo solamente el 80% del comportamiento necesario para ser  identificado, ya que el 20% restante se asume como ausente.</font></p>     ]]></body>
<body><![CDATA[<p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La existencia de variantes de descomposici&oacute;n depende del  comportamiento registrado por cada subproceso &beta;</font><sub>i</sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif">.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Se denota con </font><img src="/img/revistas/rcci/v9n4/fo1215415.jpg" width="25" height="20"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">al comportamiento del proceso en</font> <em><font size="2" face="Verdana, Arial, Helvetica, sans-serif">s</font></em><font size="1" face="Verdana, Arial, Helvetica, sans-serif"><sub>i</sub> <font size="2">para el patrón que representa</font></font> <em><font size="2" face="Verdana, Arial, Helvetica, sans-serif">w</font> </em><font size="2" face="Verdana, Arial, Helvetica, sans-serif">y que no forma parte de &beta;</font><sub>i</sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif">. De manera similar se denota con <img src="/img/revistas/rcci/v9n4/fo1315415.jpg" width="68" height="22">al comportamiento en &beta;</font><sub>i</sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> que se ajusta a la descomposici&oacute;n s</font><font face="Verdana, Arial, Helvetica, sans-serif"><font size="1"><sub>i</sub> </font><font size="2">mediante <em>w. </em>Se puede encontrar una variante de descomposici&oacute;n para </font></font><font size="2" face="Verdana, Arial, Helvetica, sans-serif">s</font><font face="Verdana, Arial, Helvetica, sans-serif"><font size="1"><sub>i</sub></font></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">por un operador <em>w</em> siempre que <img src="/img/revistas/rcci/v9n4/fo1415415.jpg" width="52" height="24"> pueda ser descartado dentro del umbral de ruido y </font><img src="/img/revistas/rcci/v9n4/fo1215415.jpg" alt="as" width="25" height="20"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">pueda ser asumido seg&uacute;n el umbral de completitud.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Para encontrar una variante de descomposici&oacute;n en un  subproceso s<sub>i</sub>&isin;  S</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">es necesario identificar un patr&oacute;n de control de flujo, lo  cual equivale a encontrar varios subprocesos <img src="/img/revistas/rcci/v9n4/fo1515415.jpg" width="156" height="21"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">, que cumplan con lo establecido en la <a href="/img/revistas/rcci/v9n4/fo0315415.jpg" target="_blank">Definici&oacute;n 3</a><a href="/img/revistas/rcci/v9n4/fo1115415.jpg" target="_blank"></a>. En t&eacute;rminos de Teor&iacute;a de  Conjuntos esto es igual a encontrar una partici&oacute;n de</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">X<sub>i</sub>  (el conjunto de actividades que  forman s<sub>i</sub>). En principio pueden existir tantas descomposiciones por un  patr&oacute;n de control de flujo como particiones de  <font size="2" face="Verdana, Arial, Helvetica, sans-serif">X<sub>i</sub></font>. Encontrar los s<font size="1"><sub>k</sub> </font> es equivalente a encontrar las  actividades que pertenecen a cada uno.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Como una actividad puede pertenecer &uacute;nicamente a un  subproceso esto significa encontrar <em>n</em> conjuntos disjuntos de las  actividades en <font size="2" face="Verdana, Arial, Helvetica, sans-serif">X<sub>i</sub></font>. De todas las particiones posibles por cada patr&oacute;n de control  de flujo solamente interesa la que mejor se ajusta a &beta;</font><sub>i </sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif">,o sea, aquella que requiere descartar menos comportamiento de</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">&beta;</font><sub>i</sub> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">y asumir menos comportamiento ausente de</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">&beta;</font><sub>i</sub> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">para que los subprocesos s<font size="1"><sub>k</sub></font></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">cumplan con lo establecido en la <a href="/img/revistas/rcci/v9n4/fo0315415.jpg" target="_blank">Definici&oacute;n 3</a>.</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La b&uacute;squeda de la mejor variante de descomposici&oacute;n para <em><font size="2" face="Verdana, Arial, Helvetica, sans-serif">s</font></em><font size="1" face="Verdana, Arial, Helvetica, sans-serif"><sub>i</sub></font> por cada patr&oacute;n se realiza  mediante el procedimiento que se expone en el <a href="/img/revistas/rcci/v9n4/fo1015415.jpg" target="_blank">Algoritmo 2</a> y est&aacute; basada en la <strong>B&uacute;squeda  de costo uniforme</strong>, la cual expande el nodo con menor costo de camino.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Si el costo de cada paso es mayor o igual que una peque&ntilde;a constante  positiva <i>&epsilon;</i>, se garantiza que el m&eacute;todo es completo y &oacute;ptimo. La  complejidad temporal y espacial del peor caso de este m&eacute;todo de b&uacute;squeda pueden  ser descritas por la ecuaci&oacute;n <img src="/img/revistas/rcci/v9n4/fo1615415.jpg" width="51" height="19"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">, donde <em>r</em> es el factor de ramificaci&oacute;n del &aacute;rbol y  <em>C</em> es el costo del camino de la soluci&oacute;n &oacute;ptima   (Russell et al., 1995). </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">En la b&uacute;squeda de variantes (<a href="/img/revistas/rcci/v9n4/fo1015415.jpg" target="_blank">Algoritmo 2</a>) cada nodo en el espacio de  b&uacute;squeda</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(&psi;</font><font size="1" face="Verdana, Arial, Helvetica, sans-serif"><sub>n</sub> <font size="2">)</font></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">est&aacute; definido por</font> <img src="/img/revistas/rcci/v9n4/fo1715415.jpg" width="26" height="23"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> , el comportamiento no procesado</font> <img src="/img/revistas/rcci/v9n4/fo1815415.jpg" width="75" height="24"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">, el comportamiento descartado &eta;<font size="1"><sub>w</sub><font size="2"> y el comportamiento asumido <img src="/img/revistas/rcci/v9n4/fo1915415.jpg" width="33" height="24">. Al adicionar nuevos nodos </font><font size="2" face="Verdana, Arial, Helvetica, sans-serif">(&psi;</font><font size="1" face="Verdana, Arial, Helvetica, sans-serif"><sub>n</sub> <font size="2">), en caso de existir nodos con la misma descomposici&oacute;n </font></font></font></font><img src="/img/revistas/rcci/v9n4/fo1715415.jpg" alt="1" width="26" height="23"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">, solamente permanece aquel con menor cantidad de  comportamiento por procesar <img src="/img/revistas/rcci/v9n4/fo2015415.jpg" width="30" height="22"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">independientemente del costo de camino. El objetivo se  alcanza cuando</font> <img src="/img/revistas/rcci/v9n4/fo2115415.jpg" width="30" height="22"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">ha sido procesado y </font><img src="/img/revistas/rcci/v9n4/fo1715415.jpg" alt="1" width="26" height="23"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">posee al menos dos conjuntos disjuntos.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La creaci&oacute;n de nuevos nodos de b&uacute;squeda, descrita en el  <a href="/img/revistas/rcci/v9n4/fo1115415.jpg" target="_blank">Algoritmo 3</a>, se realiza utilizando dos  operadores.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Si partiendo de</font> <img src="/img/revistas/rcci/v9n4/fo1715415.jpg" alt="1" width="26" height="23"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">al procesar un comportamiento</font> <img src="/img/revistas/rcci/v9n4/fo2215415.jpg" width="68" height="23"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">se genera una descomposici&oacute;n diferente</font> <img src="/img/revistas/rcci/v9n4/fo2315415.jpg" width="42" height="24"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">se comprueba si b<font size="1"><sub>x</sub> </font> puede descartarse y se genera un  nuevo nodo.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Si existe un comportamiento</font> <img src="/img/revistas/rcci/v9n4/fo2415415.jpg" width="71" height="22"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> (comportamiento de s<sub>i</sub>  seg&uacute;n el patr&oacute;n que representa  <em>w</em> y que no forma parte de &beta;</font><sub>i</sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif">) y este puede ser asumido con el  objetivo de mantener <img src="/img/revistas/rcci/v9n4/fo1715415.jpg" alt="1" width="26" height="23"> </font><font size="2" face="Verdana, Arial, Helvetica, sans-serif">tambi&eacute;n se genera un nuevo nodo.</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El costo del camino desde un nodo a alguno de sus vecinos es: <img src="/img/revistas/rcci/v9n4/fo2515415.jpg" width="222" height="55"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">es descartado y</font> <img src="/img/revistas/rcci/v9n4/fo2615415.jpg" width="221" height="57"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">es asumido. En ambos casos solo se crea el nuevo nodo si el  costo del camino del nodo origen ($td$<em>td</em>) m&aacute;s el costo del camino al  nuevo nodo est&aacute; dentro de los umbrales de ruido y completitud.</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">En cada nodo de b&uacute;squeda se procesa &beta;</font><sub>i</sub><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> , seg&uacute;n el patr&oacute;n de control  de flujo para el cual se busca una descomposici&oacute;n de s<sub>i</sub> (procedimientos processBehaviorTakingOnIncompleteness y processBehaviorByPattern). A  continuaci&oacute;n se exponen los principios b&aacute;sicos de este procesamiento para cada uno  de los patrones.</font></p>     <p><strong><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Secuencia:</font></strong> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Existe una descomposici&oacute;n utilizando el operador relativo al  patr&oacute;n secuencia</font> <img src="/img/revistas/rcci/v9n4/fo2715415.jpg" width="147" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">si</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">&forall;1 &le;</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">j</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">&le;</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">m se cumple que para cualquier sucesi&oacute;n directa del tipo <img src="/img/revistas/rcci/v9n4/fo2815415.jpg" width="295" height="20"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">o</font> <img src="/img/revistas/rcci/v9n4/fo2915415.jpg" width="68" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">y adem&aacute;s no existe una sucesi&oacute;n indirecta </font><img src="/img/revistas/rcci/v9n4/fo3015415.jpg" width="268" height="22"></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La primera descomposici&oacute;n potencial es</font> <img src="/img/revistas/rcci/v9n4/fo3115415.jpg" width="231" height="23"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">b es la sucesi&oacute;n directa m&aacute;s frecuente en <em>l</em><sub>i</sub>. A partir de esta descomposici&oacute;n se procesan el resto de las sucesiones  en <img src="/img/revistas/rcci/v9n4/fo3215415.jpg" width="25" height="22"></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">para adicionar las actividades restantes a los conjuntos que  ya existen en</font> <img src="/img/revistas/rcci/v9n4/fo3315415.jpg" width="30" height="24"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">o a nuevos conjuntos, considerando las reglas antes  descritas. Una vez que todas las actividades de</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">X<sub>i</sub></font></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">est&aacute;n en </font><img src="/img/revistas/rcci/v9n4/fo3315415.jpg" alt="ty" width="30" height="24"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">, se procesan los eventos que inician</font> <img src="/img/revistas/rcci/v9n4/fo3415415.jpg" width="40" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">y terminan trazas</font> <img src="/img/revistas/rcci/v9n4/fo3515415.jpg" width="38" height="22"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">. Se verifica que si</font> <img src="/img/revistas/rcci/v9n4/fo3615415.jpg" width="144" height="21"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">todas las actividades a que hacen referencia los eventos en </font><img src="/img/revistas/rcci/v9n4/fo3415415.jpg" alt="ui" width="40" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">se encuentren en</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">v<font size="1"><sub>1</sub> <font size="2">y las actividades cuyos eventos pertenecen a </font></font> </font><img src="/img/revistas/rcci/v9n4/fo3515415.jpg" alt="lk" width="38" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">pertenezcan a</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">v<font size="1">m</font>. Si no se cumple esta condici&oacute;n se considera falta de  completitud en</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif"><em>l</em><sub>i</sub>. Si el evento para el cual no se cumple la condici&oacute;n pertenece  a </font><img src="/img/revistas/rcci/v9n4/fo3415415.jpg" alt="pws" width="40" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">se agrega una actividad invisible</font>   <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(<em>&sim;</em>)</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">a v<font size="1"><sub>1</sub></font></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">. Si el evento pertenece a </font><img src="/img/revistas/rcci/v9n4/fo3515415.jpg" alt="lk" width="38" height="22"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">entonces</font>   <em><font size="2" face="Verdana, Arial, Helvetica, sans-serif">&sim;</font></em> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">se agrega a v<font size="1">m</font>.</font></p>     <p><strong><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Lazo:</font></strong><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> Existe una descomposici&oacute;n utilizando el operador relativo al  patr&oacute;n lazo </font><img src="/img/revistas/rcci/v9n4/fo3715415.jpg" width="112" height="23">   <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(</font><em>&upsilon;<font size="2" face="Verdana, Arial, Helvetica, sans-serif">1</font></em><font size="2" face="Verdana, Arial, Helvetica, sans-serif"> se refiere al subproceso <strong>Do </strong>y<em> &upsilon;2</em>  al subproceso <strong>Redo</strong>)</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">si se cumplen tres condiciones. Primeramente todas las  actividades cuyos eventos pertenecen a </font><img src="/img/revistas/rcci/v9n4/fo3815415.jpg" width="76" height="19"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">forman parte de </font><em>&upsilon;<font size="2" face="Verdana, Arial, Helvetica, sans-serif">1</font></em> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">y deben poseer eventos en</font> <img src="/img/revistas/rcci/v9n4/fo3915415.jpg" width="23" height="19"> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">. Adem&aacute;s, para toda sucesi&oacute;n directa</font> <img src="/img/revistas/rcci/v9n4/fo4015415.jpg" width="296" height="21"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">,   <em>a </em>debe iniciar al menos una traza.  Y por &uacute;ltimo, para toda sucesi&oacute;n directa <img src="/img/revistas/rcci/v9n4/fo4115415.jpg" width="294" height="19"></font> <font size="2"><em><font face="Verdana, Arial, Helvetica, sans-serif">b</font></em><font face="Verdana, Arial, Helvetica, sans-serif"> debe concluir al menos una traza.</font></font></p>     ]]></body>
<body><![CDATA[<p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">En la primera descomposici&oacute;n posible </font><img src="/img/revistas/rcci/v9n4/fo3715415.jpg" alt="bnm" width="112" height="23"><font size="2" face="Verdana, Arial, Helvetica, sans-serif">,</font> <em>&upsilon;<font size="2" face="Verdana, Arial, Helvetica, sans-serif">1</font></em> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">contiene las actividades cuyos eventos pertenecen a <img src="/img/revistas/rcci/v9n4/fo3415415.jpg" alt="pws" width="40" height="22"> y a <img src="/img/revistas/rcci/v9n4/fo3515415.jpg" alt="lk" width="38" height="22"> y tienen una frecuencia superior al umbral de ruido. Durante  el procesamiento de las sucesiones en <img src="/img/revistas/rcci/v9n4/fo3215415.jpg" alt="cdfv" width="25" height="22"> el resto de las actividades son adicionadas a <em>v<font size="2" face="Verdana, Arial, Helvetica, sans-serif">1</font></em> y v2 , considerando las reglas  descritas. Se pueden descartar sucesiones indirectas y eventos que inician y  terminan trazas, siempre dentro del umbral de ruido.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><strong>Paralelismo:</strong> Existe una descomposici&oacute;n seg&uacute;n el patr&oacute;n paralelismo <img src="/img/revistas/rcci/v9n4/fo4215415.jpg" width="292" height="23"><img src="/img/revistas/rcci/v9n4/fo4315415.jpg" width="187" height="21"> si cumplen dos condiciones. La primera condici&oacute;n es que <img src="/img/revistas/rcci/v9n4/fo4415415.jpg" width="162" height="22"> exista <img src="/img/revistas/rcci/v9n4/fo4515415.jpg" width="149" height="25"> Adem&aacute;s, en cada una de las trazas debe aparecer al menos un  evento de los subprocesos concurrentes, o sea, <img src="/img/revistas/rcci/v9n4/fo4615415.jpg" width="374" height="24"> </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">La primera <img src="/img/revistas/rcci/v9n4/fo4715415.jpg" width="27" height="23"> contiene un conjunto por actividad. Al procesar las  sucesiones indirectas <img src="/img/revistas/rcci/v9n4/fo4815415.jpg" width="42" height="25"> que representan violaciones de las condiciones planteadas se  unen los conjuntos en los que se encuentran las actividades de la sucesi&oacute;n  procesada. La ausencia de los subprocesos en algunas trazas puede ser ignorada  dentro del umbral de ruido. Una  <img src="/img/revistas/rcci/v9n4/fo4715415.jpg" alt="ikmn" width="27" height="23"> puede mantenerse asumiendo una sucesi&oacute;n indirecta <img src="/img/revistas/rcci/v9n4/fo4915415.jpg" width="42" height="22"> dentro del umbral de completitud.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><strong>Selecci&oacute;n Exclusiva:</strong> Es posible identificar una descomposici&oacute;n <img src="/img/revistas/rcci/v9n4/fo5015415.jpg" width="359" height="21"><img src="/img/revistas/rcci/v9n4/fo5115415.jpg" width="536" height="22"> La primera descomposici&oacute;n <img src="/img/revistas/rcci/v9n4/fo5215415.jpg" width="25" height="22"> contiene un conjunto por cada actividad. Al procesar las  sucesiones <img src="/img/revistas/rcci/v9n4/fo5315415.jpg" width="32" height="20"> para las cuales se violan las condiciones planteadas se unen  los conjuntos cuyas actividades est&aacute;n asociadas a la sucesi&oacute;n procesada. Una  descomposici&oacute;n puede mantenerse si el umbral de ruido permite descartar la  sucesi&oacute;n que viola las condiciones planteadas, </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><strong>Selecci&oacute;n no Exclusiva:</strong> Existe una variante de descomposici&oacute;n <img src="/img/revistas/rcci/v9n4/fo5415415.jpg" width="319" height="24"> <img src="/img/revistas/rcci/v9n4/fo5515415.jpg" width="537" height="21"> Adem&aacute;s debe comprobarse que no existe representaci&oacute;n de todos  los subprocesos en al menos una traza. La primera <img src="/img/revistas/rcci/v9n4/fo5615415.jpg" width="25" height="24"> contiene un conjunto por cada actividad. El procesamiento de  las sucesiones en <img src="/img/revistas/rcci/v9n4/fo5315415.jpg" alt="56" width="32" height="20"> en las cuales se violan las condiciones planteadas provoca la  uni&oacute;n de los conjuntos en los que se encuentran las actividades asociadas a la <em>a</em> <img src="/img/revistas/rcci/v9n4/fo5315415.jpg" alt="56" width="32" height="20"><em>b</em> procesada. Una descomposici&oacute;n puede mantenerse asumiendo una  sucesi&oacute;n <em>b</em> <img src="/img/revistas/rcci/v9n4/fo5315415.jpg" alt="56" width="32" height="20"> <em>a </em>dentro del umbral de completitud.</font></p>     <p>&nbsp;</p>     <p><font face="Verdana, Arial, Helvetica, sans-serif"><strong><font size="3">RESULTADOS Y DISCUSI&Oacute;N </font></strong></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El algoritmo propuesto ha sido implementado en un complemento  del marco de trabajo ProM</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Verbeek et al., 2011).</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">Los umbrales de  ruido y completitud son configurables al iniciar el complemento y en este  experimento se utilizaron los valores por defecto: 0.2 para ruido y  0.8 para completitud.</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Para comprobar si el algoritmo identifica correctamente los  patrones de control de flujo se concibi&oacute; un experimento con dos grupos de  registros de eventos artificiales. Los registros de eventos se generaron a  partir de 10 modelos de procesos que combinan diferentes patrones. Los modelos  fueron creados con la herramienta <em>Process Log Generator</em></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">(Burattin y Sperduti, 2011), combinando aleatoriamente caracter&iacute;sticas como: cantidad de  patrones anidados, probabilidad de <em>Secuencia</em>, <em>Lazo</em>, <em>AND  Split/Join</em> y <em>XOR Split/Join</em>. Los modelos de procesos construidos  poseen las caracter&iacute;sticas descritas en la <a href="/img/revistas/rcci/v9n4/t0115415.JPG" target="_blank">Tabla 1.</a> </font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Por cada uno de estos modelos de proceso se gener&oacute; un registro de  eventos, los cuales fueron utilizados para conformar el grupo G<sub>1</sub>. Luego se extrajo a cada  registro de eventos perteneciente a G<sub>1</sub> el 5% de sus eventos, con el  objetivo de introducir situaciones de ruido y ausencia de informaci&oacute;n,  conform&aacute;ndose as&iacute; el grupo G<sub>2</sub>. En la <a href="/img/revistas/rcci/v9n4/t0215415.JPG" target="_blank">Tabla 2</a> se muestran las  caracter&iacute;sticas de los registros de eventos de cada grupo.</font></p>     ]]></body>
<body><![CDATA[<p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">El dise&ntilde;o experimental propuesto se resume en la <a href="#t03">Tabla 3</a>, utilizando la siguiente  simbolog&iacute;a:</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif"><strong>G:</strong> Grupo de participantes. Cada grupo est&aacute; formado por 10  registros de eventos generados aleatoriamente. <strong>R:</strong> Asignaci&oacute;n al azar.</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif"><strong>X:</strong> Est&iacute;mulo. X<sub>1</sub> corresponde con la extracci&oacute;n de eventos de  G<sub>1</sub> y X<sub>2</sub> a la aplicaci&oacute;n del algoritmo  propuesto. <strong>O:</strong> Observaci&oacute;n.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">En el primer momento las observaciones O<sub>1</sub> y O<sub>3</sub> representan la cantidad de  patrones de control de flujo presentes en el modelo original. En el segundo  momento las observaciones O<sub>2</sub> y O<sub>4</sub> est&aacute;n asociadas a la cantidad de  patrones correctamente identificados por el algoritmo propuesto, con respecto  al modelo original. Para cada observaci&oacute;n se hacen 10 mediciones, una por cada  modelo de proceso. En la <a href="/img/revistas/rcci/v9n4/f0215415.JPG" target="_blank">Figura 2</a> se muestra el total de patrones  presentes en cada modelo original y los identificados por el algoritmo  propuesto, en los registros de eventos de los grupos G<sub>1</sub> y G<sub>2</sub>. Se pueden apreciar diferencias  para los modelos 1, 5, 6 y 7.</font></p>     <p align="center"><font size="2" face="Verdana, Arial, Helvetica, sans-serif"><img src="/img/revistas/rcci/v9n4/t0315415.JPG" alt="t03" width="482" height="141"><a name="t03"></a></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Los patrones incorrectamente identificados a partir de los  registros de eventos de G<sub>1</sub></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">, respecto a los modelos originales 1, 5 y 7 son en todos los  casos <em>Selecci&oacute;n exclusiva</em>. Las diferencias de los <em>&Aacute;rboles de  Variantes</em> obtenidos con</font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">G<sub>2</sub> , respecto a los obtenidos con G<sub>1</sub></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">son en el patr&oacute;n <em>Selecci&oacute;n exclusiva</em> para 5 y 6, adem&aacute;s de en el  patr&oacute;n <em>Lazo</em> para el caso 6.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">A partir del dise&ntilde;o experimental expuesto se realizaron las  pruebas estad&iacute;sticas. Primeramente se realizaron comparaciones por pares en un  grupo, utilizando el test no param&eacute;trico de signos con rasgos de Wilcoxon. Al  analizar los datos correspondientes al primer y segundo momento se detect&oacute; que  no existen diferencias significativas (significaci&oacute;n 0.083 para G<sub>1</sub> y 0.063 para G<sub>2</sub>) entre los patrones de los modelos originales y los observados  en el <em>&Aacute;rbol de Variantes</em>. Para comprobar el impacto del ruido y la ausencia  de informaci&oacute;n en el m&eacute;todo propuesto se compararon los valores de las  evaluaciones O<sub>2</sub> y O<sub>4</sub></font> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">utilizando el test de Mann-Whitney. En esta prueba no se encontraron  diferencias significativas entre ambos momentos (significaci&oacute;n 0.669).</font> </p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Las diferencias encontradas entre los <em>&Aacute;rboles de Variantes</em> indican que debe mejorarse el enfoque utilizado para identificar los patrones <em>Selecci&oacute;n  exclusiva</em> y <em>Lazo</em>. Sin embargo, las pruebas estad&iacute;sticas aplicadas  demuestran que estas diferencias no son significativas. Considerando los  resultados obtenidos, se puede afirmar que el algoritmo propuesto identifica  correctamente los patrones de control de flujo a partir de registros de eventos  con ruido y ausencia de informaci&oacute;n.</font></p>     <p>&nbsp;</p>     <p><font face="Verdana, Arial, Helvetica, sans-serif" size="3"><B>CONCLUSIONES</B></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Para resolver la afectaci&oacute;n que provocan el ruido y la  ausencia de informaci&oacute;n en la comprensi&oacute;n del proceso es necesario controlar el  impacto estructural de estas caracter&iacute;sticas. Sin embargo, considerar ciertos  comportamientos infrecuentes como ruido y asumir que faltan determinadas  evidencias de la ejecuci&oacute;n del proceso, son estimaciones que s&oacute;lo pueden ser  confirmadas a partir del contexto de ejecuci&oacute;n particular del proceso  analizado. Debido a esto el enfoque adoptado por el algoritmo propuesto es buscar  varias descomposiciones alternativas para el mismo subproceso, de tal manera  que los comportamientos que son descartados como ruido y los que son asumidos  como ausentes en una variante de descomposici&oacute;n, no lo son en otra.</font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Las variantes de descomposici&oacute;n identificadas en el algoritmo  forman variantes de modelos del mismo proceso, que son agrupadas en un modelo  de proceso jer&aacute;rquico, el <em>&Aacute;rbol de Variantes</em>. A partir de este &aacute;rbol el  analista del proceso puede escoger entre las variantes construidas, lo cual  equivale a decidir cu&aacute;les comportamientos deben ser considerados como ruido y  descartados del modelo resultante, as&iacute; como seleccionar cu&aacute;les comportamientos  est&aacute;n ausentes y c&oacute;mo deben ser insertados en el modelo.</font></p>     ]]></body>
<body><![CDATA[<p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Las pruebas estad&iacute;sticas realizadas evidencian que la  propuesta identifica correctamente los patrones de control de flujo, en  registros de eventos con ruido y/o ausencia de informaci&oacute;n. El presente trabajo  puede extenderse construyendo un algoritmo para identificar, de las variantes  obtenidas por el algoritmo propuesto, aquellas que optimicen aspectos de  inter&eacute;s para el an&aacute;lisis, como rendimiento temporal o consumo de recursos.</font></p>     <p>&nbsp;</p>     <p><font size="3" face="Verdana, Arial, Helvetica, sans-serif"><strong>AGRADECIMEINTOS</strong></font></p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Agradecer al Ing. Osiel Fundora Ram&iacute;rez por su colaboraci&oacute;n  en la generaci&oacute;n de modelos y registros de eventos artificiales.</font></p>     <p>&nbsp;</p>     <p align="left"><font face="Verdana, Arial, Helvetica, sans-serif" size="3"><B>REFERENCIAS    BIBLIOGR&Aacute;FICAS</B></font>     <!-- ref --><p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">BOSE, R. (2012). <em>Process Mining in the Large: Preprocessing, Discovery, and Diagnostics</em>. PhD thesis, Eindhoven University of Technology.    </font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">BOSE, R. y VAN DER AALST, W. (2009). Abstractions in process mining: A taxonomy of patterns. <em>Business</em></font> <font size="2"><em><font face="Verdana, Arial, Helvetica, sans-serif">Process Management</font></em><font face="Verdana, Arial, Helvetica, sans-serif">, (pp. 159&ndash;175).</font></font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">BRATOSIN, C. (2011). <em>Grid architecture for distributed process mining</em>. PhD thesis., Technische Universiteit Eindhoven, Eindhoven, Eindhoven, The Netherlands.    </font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">BURATTIN, A. y SPERDUTI, A. (2011). PLG: A framework for the generation of business process models and their execution logs. In <em>Business Process Management Workshops </em>(pp. 214&ndash;219).: Springer. 00028.</font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">DE WEERDT, J., DE BACKER, M., VANTHIENEN, J., y BAESENS, B. (2012). A multi- dimensional quality assessment of state-of-the- art process discovery algorithms using real- life event logs. <em>Information</em> <em>Systems</em>, 37, 654&ndash;676.</font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">GUNTHER, C. (2009). <em>Process Mining in Flexible Environments</em>. PhD thesis, Eindhoven University of Technology, Eindhoven.    </font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">GUNTHER, C. y VAN DER AALST, W. (2007). Fuzzy mining - adaptive process simplification based on multi-perspective metrics. In <em>Business Process Management</em>, volume 4714 LNCS of <em>5th International</em> <em>Conference on Business Process Management, BPM 2007 </em>(pp. 328&ndash;343). Brisbane.</font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">MOLKA, T., GILANI, W., y ZENG, X.-J. (2013). Dotted chart and control-flow analysis for a loan application process. In M. L. Rosa y P. Soffer (Eds.), <em>Business Process Management Workshops</em>, number 132 in Lecture Notes in Business Information Processing (pp. 223&ndash;224). Springer Berlin Heidelberg.</font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">OUTMAZGIN, N. y SOFFER, P. (2014). A process mining-based analysis of business process work-arounds. <em>Software & Systems Modeling</em>, (pp. 1&ndash;15). 00000.</font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">RUSSELL, S. J., NORVIG, P., CANNY, J. F., MALIK, J. M., y EDWARDS, D. D. (1995). <em>Artificial</em> <em>intelligence: a modern approach</em>, volume 2 of <em>Prentice Hall Series in Artificial Intelligence</em>. Prentice hall Englewood Cliffs, 2 edition.    </font></p>     ]]></body>
<body><![CDATA[<!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">VAN DER AALST, W. (2011). <em>Process Mining. Discovery, Conformance and Enhancement of Business</em> <em>Processes</em>. Springer, Heidelberg, Dordrecht, London et. al.    </font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">VAN DER AALST, W., WEIJTERS, A. J. M. M., y MARUSTER, L. (2004). Workflow mining: Discovering process models from event logs. <em>IEEE Transactions on Knowledge and Data Engineering</em>, 16(9), 1128&ndash;1142.</font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">VERBEEK, H., BUIJS, J., VAN DONGEN, B., y VAN DER AALST, W. (2011). <em>XES, XESame, and ProM</em> <em>6</em>, volume 72 LNBIP of <em>CAiSE Forum 2010 on Information Systems Evolution</em>. Hammamet.    </font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">WESKE, M. (2007). <em>Business Process Management. Concepts, Languages, Architectures</em>, volume 368. Leipzig, Alemania: Springer-Verlag Berlin Heidelberg.    </font></p>     <!-- ref --><p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">YZQUIERDO-HERRERA, R. (2012). <em>Modelo para la estimaci&oacute;n de informaci&oacute;n ausente en las trazas usadas</em> <em>en la miner&iacute;a de proceso</em>. PhD thesis, Universidad de las Ciencias Inform&aacute;ticas.    </font></p>     <p> <font size="2" face="Verdana, Arial, Helvetica, sans-serif">YZQUIERDO-HERRERA, R., SILVERIO-CASTRO, R., y LAZO-CORTES, M. (2013). Sub-process discovery: Opportunities for process diagnostics. In G. Poels (Ed.), <em>Enterprise Information Systems of the Future</em>, number 139 in Lecture Notes in Business Information Processing (pp. 48&ndash;57). Springer Berlin Heidelberg.</font></p>     ]]></body>
<body><![CDATA[<p name="_ENREF_1">&nbsp;</p>     <p name="_ENREF_1">&nbsp;</p>     <p><font size="2" face="Verdana, Arial, Helvetica, sans-serif">Recibido: 29/09/2014    <br> Aceptado: 01/09/2015</font></p>      ]]></body><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[BOSE]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[Process Mining in the Large: Preprocessing, Discovery, and Diagnostics.]]></source>
<year>2012</year>
<publisher-name><![CDATA[Eindhoven University of Technology]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[BOSE]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
<name>
<surname><![CDATA[VAN DER AALST]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
</person-group>
<source><![CDATA[Abstractions in process mining: A taxonomy of patterns. Business Process Management]]></source>
<year>2009</year>
<page-range>159-175</page-range></nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[BRATOSIN]]></surname>
<given-names><![CDATA[C]]></given-names>
</name>
</person-group>
<source><![CDATA[Grid architecture for distributed process mining]]></source>
<year>2011</year>
<publisher-name><![CDATA[Technische Universiteit Eindhoven]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[BURATTIN]]></surname>
<given-names><![CDATA[A]]></given-names>
</name>
<name>
<surname><![CDATA[SPERDUTI]]></surname>
<given-names><![CDATA[A]]></given-names>
</name>
</person-group>
<source><![CDATA[A framework for the generation of business process models and their execution logs.: In Business Process Management Workshops]]></source>
<year>2011</year>
<page-range>214-219</page-range></nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[DE WEERDT]]></surname>
<given-names><![CDATA[J]]></given-names>
</name>
<name>
<surname><![CDATA[DE BACKER]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
<name>
<surname><![CDATA[VANTHIENEN]]></surname>
<given-names><![CDATA[J]]></given-names>
</name>
<name>
<surname><![CDATA[BAESENS]]></surname>
<given-names><![CDATA[B]]></given-names>
</name>
</person-group>
<source><![CDATA[A multi- dimensional quality assessment of state-of-the- art process discovery algorithms using real- life event logs: Information Systems]]></source>
<year>2012</year>
<volume>37</volume>
<page-range>654-676</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[GUNTHER]]></surname>
<given-names><![CDATA[C]]></given-names>
</name>
</person-group>
<source><![CDATA[Process Mining in Flexible Environments]]></source>
<year>2009</year>
<publisher-loc><![CDATA[^eEindhoven Eindhoven]]></publisher-loc>
<publisher-name><![CDATA[Eindhoven University of Technology]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[GUNTHER]]></surname>
<given-names><![CDATA[C]]></given-names>
</name>
<name>
<surname><![CDATA[VAN DER AALST]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
</person-group>
<source><![CDATA[Fuzzy mining - adaptive process simplification based on multi-perspective metrics]]></source>
<year>2007</year>
<page-range>328-343</page-range><publisher-name><![CDATA[In Business Process Management, volume 4714 LNCS of 5th International Conference on Business Process Management, BPM 2007, Brisbane]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[MOLKA]]></surname>
<given-names><![CDATA[T]]></given-names>
</name>
<name>
<surname><![CDATA[GILANI]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
<name>
<surname><![CDATA[ZENG]]></surname>
<given-names><![CDATA[X.-J]]></given-names>
</name>
</person-group>
<source><![CDATA[Dotted chart and control-flow analysis for a loan application process: In M. L. Rosa y P. Soffer (Eds.), Business Process Management Workshops, number 132 in Lecture Notes in Business Information Processing]]></source>
<year>2013</year>
<page-range>223-224</page-range><publisher-name><![CDATA[Springer Berlin Heidelberg]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[OUTMAZGIN]]></surname>
<given-names><![CDATA[N]]></given-names>
</name>
<name>
<surname><![CDATA[SOFFER]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
</person-group>
<source><![CDATA[A process mining-based analysis of business process work-arounds: Software & Systems Modeling]]></source>
<year>2014</year>
<page-range>1-15</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[RUSSELL]]></surname>
<given-names><![CDATA[S. J]]></given-names>
</name>
<name>
<surname><![CDATA[NORVIG]]></surname>
<given-names><![CDATA[P]]></given-names>
</name>
<name>
<surname><![CDATA[CANNY]]></surname>
<given-names><![CDATA[J. F]]></given-names>
</name>
<name>
<surname><![CDATA[MALIK]]></surname>
<given-names><![CDATA[J. M]]></given-names>
</name>
<name>
<surname><![CDATA[DWARDS]]></surname>
<given-names><![CDATA[D]]></given-names>
</name>
</person-group>
<source><![CDATA[Artificial intelligence: a modern approach]]></source>
<year>1995</year>
<volume>2</volume>
<publisher-name><![CDATA[Prentice hall Englewood Cliffs]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[VAN DER AALST]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
</person-group>
<source><![CDATA[Process Mining. Discovery: Conformance and Enhancement of Business Processes]]></source>
<year>2011</year>
<publisher-loc><![CDATA[^eLondon London]]></publisher-loc>
<publisher-name><![CDATA[Springer, Heidelberg, Dordrecht]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="">
<person-group person-group-type="author">
<name>
<surname><![CDATA[VAN DER AALST]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
<name>
<surname><![CDATA[WEIJTERS]]></surname>
<given-names><![CDATA[A. J. M. M]]></given-names>
</name>
<name>
<surname><![CDATA[MARUSTER]]></surname>
<given-names><![CDATA[L]]></given-names>
</name>
</person-group>
<article-title xml:lang="en"><![CDATA[Workflow mining: Discovering process models from event logs]]></article-title>
<source><![CDATA[]]></source>
<year></year>
<volume>16</volume>
<numero>9</numero>
<issue>9</issue>
<page-range>1128-1142</page-range></nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[VERBEEK]]></surname>
<given-names><![CDATA[H]]></given-names>
</name>
<name>
<surname><![CDATA[BUIJS]]></surname>
<given-names><![CDATA[J]]></given-names>
</name>
<name>
<surname><![CDATA[VAN DONGEN]]></surname>
<given-names><![CDATA[B]]></given-names>
</name>
<name>
<surname><![CDATA[VAN DER AALST]]></surname>
<given-names><![CDATA[W]]></given-names>
</name>
</person-group>
<source><![CDATA[XES, XESame, and ProM 6]]></source>
<year>2011</year>
<volume>72</volume>
<publisher-name><![CDATA[Hammamet]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[WESKE]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
</person-group>
<source><![CDATA[Business Process Management: Concepts, Languages, Architectures]]></source>
<year>2007</year>
<volume>368</volume>
<publisher-loc><![CDATA[^eLeipzig Leipzig]]></publisher-loc>
<publisher-name><![CDATA[Springer-Verlag Berlin Heidelberg]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[YZQUIERDO-HERRERA]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
</person-group>
<source><![CDATA[Modelo para la estimación de información ausente en las trazas usadas en la minería de proceso.]]></source>
<year>2012</year>
<publisher-name><![CDATA[Universidad de las Ciencias Informáticas]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[YZQUIERDO-HERRERA,]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
<name>
<surname><![CDATA[SILVERIO-CASTRO]]></surname>
<given-names><![CDATA[R]]></given-names>
</name>
<name>
<surname><![CDATA[LAZO-CORTES]]></surname>
<given-names><![CDATA[M]]></given-names>
</name>
</person-group>
<source><![CDATA[Sub-process discovery: Opportunities for process diagnostics]]></source>
<year>2013</year>
<page-range>48-57</page-range><publisher-name><![CDATA[Springer Berlin Heidelberg]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
