Por favor, use este identificador para citar o enlazar este ítem:
http://cicese.repositorioinstitucional.mx/jspui/handle/1007/345| Especificación de modelos de procesos organizacionales utilizando cálculo. Speci?cation of organizational process using ? calculus. | |
| Noe Contreras Cruz | |
| Fernando Rojas Iniguez Ana Isabel Martinez Garcia | |
| Acceso Abierto | |
| Atribución | |
| Modelado de procesos,Especificación formal,Cálculo,Diagramas rol actividad (RAD) | |
| La ingeniería de procesos, como área de las ciencias de la computación, se encarga de analizar, diseñar, evaluar y principalmente de proveer apoyo automatizado a los procesos de las organizaciones. Para realizar las tareas de la ingeniería de procesos se utilizan diversas notaciones de modelado para representar a los procesos. Entre las técnicas existentes están las notaciones grá?cas y las formales, por medio de las cuales se generan modelos de los procesos, grá?cos y matemáticos respectivamente. Las notaciones grá?cas son más utilizadas que la formales por ser más fáciles de usar y entender y a partir de un modelo grá?co se puede proveer automatización al proceso. Sin embargo, los modelos grá?cos son solo descriptivos y no proveen una base formal para analizar al proceso de forma cuantitativa y rigurosa y no ofrecen garantía acerca de una correcta estructuración del modelo, ambas características son elementos importantes para una automatización del proceso. Por lo que una especi?cación formal para un modelo grá?co, al igual que en ingeniería de software, permite que se detecten errores en el modelo en una etapa previa a la automatización del proceso. Las especi?caciones formales son esenciales para diseñar, validar, documentar, comunicar, realizar una reingeniería, y reusar soluciones en los procesos. La formalidad ayuda a obtener especi?caciones de alta calidad y también proporciona las bases para el apoyo automatizado de esas tareas. Por otra parte, debido a la importancia de la especi?cación formal de los modelos de los procesos, ha habido investigaciones encaminadas a representar de manera formal las notaciones grá?cas. En esta tesis proponemos una notación formal, basada en el cálculo ?, para representar formalmente diagramas de procesos realizados en la notación de los diagramas de rol y actividad (RAD por sus siglas en inglés). La notación RAD es una de las notaciones grá?cas más utilizadas para modelar procesos. La notación propuesta en esta tesis se nombró como cálculo lambda extendido para RAD, denotado como C?RAD, que consiste en un conjunto de tipos de datos y funciones para representar de manera formal la estructura de los diagramas RAD. El C?RAD, además de representar en estructuras matemáticas a los elementos de la notación RAD, como son roles, actividades, interacciones, decisiones, entre otros, posee una colección de funciones para describir el proceso, es decir navegar sobre los elementos del proceso y veri?car la validez de conectividad entre los elementos de la notación. Aunque es una notación formal, el C?RAD mantiene la facilidad de uso que la notación RAD. Para probar el uso de la notación C?RAD, se hizo una representación en el lenguaje funcional puro Haskell. Process engineering, as an area of computer science, is used to analyze, design, evaluate and mainly to provide automated support to organizational processes. To accomplish the objectives of process engineering several modeling notations are being used for representing the processes. Among the existing techniques there are the graphical and the formal notations, through which models of the processes are generated, graphically and mathematically respectively. The graphical notations are used more than the formal ones, because they are easier to use and understand; besides that from a graphical model we can generate automated support to the process. However, the graphical models are only descriptive and they do not provide of formal basis for analyzing the process in a quantitative and rigorous way, and do not o?er any guarantee about a correct structure of the models, being both characteristics key elements for an automation of the process. Therefore a formal speci?cation for a graphical model, as in a software engineering process, can make it possible to detect errors in the model in a previous stage of the automation process. The formal speci?cations are essential for designing, validating, documenting, communicating, reengineering, and reusing solutions in the processes. Formally it helps in obtaining higher-quality speci?cations and also provides the basis for the automated support of such tasks. On the other hand, due to the importance of formal speci?cation of process models, there has been research work in the direction of representing in a formal manner the graphical notations. In this thesis, we propose a formal notation, based in the ? calculus, to represent formally process diagrams made in the notation of the Role Activity Diagrams (RAD). The RAD notation is one of the graphical notations most used for modeling processes. The notation proposed in this thesis is named extended ? calculus for RAD, and it is denoted as C?RAD, which consists in a set of data types and functions to represent in a formal way the structure of RAD diagrams. The C?RAD, besides representing in mathematical structures the graphical elements of the RAD notation, such as roles, activities, interactions, decisions and others, also provides with a collection of functions to describe the process, this is to navigate through the elements of the process and to verify the validity of the connections between the notation’s elements. Even though, it is a formal notation, the C?RAD keeps the easiness to use of the RAD notation. We represent the notation of data types as functions, to prove its use, in the pure functional language Haskell. | |
| CICESE | |
| 2008 | |
| Tesis de maestría | |
| Español | |
| Contreras Cruz,N.2008.Especificación de modelos de procesos organizacionales utilizando cálculo..Tesis de Maestría en Ciencias. Centro de Investigación Científica y de Educación Superior de Ensenada, Baja California.xii, 183 pp. | |
| CIENCIA DE LOS ORDENADORES | |
| Aparece en las colecciones: | Tesis - Ciencias de la Computación |
Cargar archivos:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| 178181.pdf | Versión completa de la tesis | 13.65 MB | Adobe PDF | Visualizar/Abrir |