Elder and Cobb: a systematic framework for reading Edelman

ingenier´ıa de procesos y por ende la importancia del modelado de procesos. Adem´as, debido a la importancia del uso de los m´etodos formales, su aplicaci´on se extendi´o hacia el contexto del modelado de procesos, sin embargo, y de acuerdo con Menzel y Gr¨uninger (2001) aunque hubo investigaciones de ´ındole filos´ofico y formal, muy pocos trabajos conectaban sus resultados al ´ambito real del modelado de procesos.

Por el motivo descrito anteriormente, Menzel y Gr¨uninger (2001) toman como base el lenguaje de especificaci´on de procesos PSL desarrollado por el Instituto Nacional de Est´andares y Tecnolog´ıa de Estados Unidos (Schlenoff et al., 2000), y desarrollan un modelo matem´atico simple para el lenguaje PSL. El modelo matem´atico es en s´ı una representaci´on del lenguaje PSL en l´ogica proposicional. Si bien, con su trabajo Menzel y Gr¨uninger (2001) proveen bases formales para el modelado de procesos no proveen una implementaci´on en software de su modelo para automatizar la tarea de modelado de procesos.

Por otra parte en Europa se desarroll´o el proyecto INSPIRE (2000), el cual tuvo como uno de los objetivos principales el desarrollo de un conjunto de herramientas con un enfoque inteligente y m´as centrado en las personas para una reingenier´ıa de procesos organizacionales. Un aspecto central dentro del proyecto fue el desarrollo de una notaci´on para representar modelos de procesos organizacionales, que fuera f´acil de usar y de entender por los socios del proyecto y lo suficientemente rigurosa para permitir verificaci´on est´atica y simulaci´on din´amica. Adem´as de la nueva notaci´on desarrollada, el conjunto de herramientas del proyecto INSPIRE tienen soporte para modelos en

algunas notaciones gr´aficas bien conocidas: IDEF, RAD y diagramas de actividad de UML.

Una de las tareas fundamentales para alcanzar el objetivo del proyecto INSPIRE, fue la de proporcionar un enfoque formal al modelado de procesos, es decir proporcionarle rigurosidad matem´atica a las notaciones gr´aficas. Badica y Fox (2001) describen que parte de su trabajo realizado fue proporcionar rigurosidad matem´atica a los diagramas RAD con estados, para lograrlo utilizaron el ´algebra de procesos PEPA, ´algebra de procesos de evaluaci´on de desempe˜no (Performance Evaluation Process Algebra en ingl´es). Su trabajo consisti´o en hacer una correspondencia entre los elementos de un RAD y los componentes de PEPA.

Despu´es de realizar lo descrito anteriormente, Badica et al. (2002) presentan la notaci´on que desarrollaron para el proyecto INSPIRE, adem´as de resaltar la importancia del modelado de procesos y m´as aun su especificaci´on formal. La notaci´on utiliza caracter´ısticas tanto de los diagramas IDEF0 como de los IDEF3. Los modelos de procesos hechos en la notaci´on se pueden formalizar de dos formas: como expresiones de c´alculo flujo nominal, Badica y Fox (2002), o como una clase especial de redes de Petri, redes de posici´on/transici´on (Place/Transition nets) o solo redes P/T, Badica

et al. (2002).

No importa de que manera se formalize la notaci´on, ambos modelos se pueden utilizar tanto para verificaci´on est´atica como simulaci´on din´amica.

Si bien el trabajo de Badica y Fox (2001) fue una primera aproximaci´on a la formalidad matem´atica de la notaci´on RAD con estados, todav´ıa quedaba trabajo pendiente, por

lo que Badica et al. (2003) proponen una sem´antica formal para los RAD utilizando el ´

algebra de procesos FSP, Proceso de Estado Finito, (Finite State Process en ingl´es). Para alcanzar su objetivo adem´as de hacer una definici´on formal de un modelo RAD en FSP, proponen un algoritmo para transformar un modelo RAD a un modelo FSP. Con dicho trabajo intentan cerrar el hueco que existe entre los formalismos de alto nivel (notaciones visuales) y bajo nivel (m´etodos formales) para modelar procesos organizacionales.

Tambi´en mencionan la forma en que puede ser utilizado el modelo FSP resultante de tal trabajo. El modelo FSP de un RAD se puede utilizar en simulaci´on interactiva; verificaci´on est´atica de propiedades cualitativas usando t´ecnicas de “chequeo de modelos”; y en simulaci´on din´amica para evaluaci´on de desempe˜no.

Como se puede notar, lo descrito muestra que hay inter´es de parte de la comunidad cient´ıfica para realizar investigaciones relacionadas con los aspectos formales del modelado de procesos. Se puede notar adem´as que aunque ya se estableci´o que la notaci´on RAD si provee una sem´antica formal, ´esta s´olo aplica para los diagramas RAD con estados, pero no para los RAD sin estados.

Adem´as para que se pueda manejar de manera directa la sem´antica formal de los diagramas RAD, se debe saber o aprender primero un m´etodo formal, en este caso un ´algebra de procesos, que en primera instancia no es f´acil manejar por todos los conceptos que involucra, adem´as de que no es muy intuitivo su uso para una persona que puede ser experta en modelar gr´aficamente procesos organizacionales, pero que no tiene conocimiento de las notaciones formales.

Debido a lo anterior, la propuesta de esta tesis tiene como objetivo cerrar la brecha existente entre las notaciones gr´aficas y las notaciones formales, con el dise˜no de una notaci´on formal que sea intuitiva y no dif´ıcil de utilizar por personas no expertas en cuestiones formales.