Las organizaciones de software han encontrado en la definición de sus procesos de software una estrategia para ser más competitivas. Esta tarea normalmente es larga y costosa, más aún cuando el proceso debe ser adaptado e instanciado a cada proyecto. Por la gran inversión del modelado, evaluar la calidad del modelo de procesos es una tarea necesaria. Este problema se agrava cuando la complejidad del modelo de proceso se ve incrementada cuando se consideran variabilidades para facilitar su adaptación a contextos específicos. Dar formalidad al modelo facilita que actividades como el modelado de procesos y su evaluación puedan ser asistidas por la computadora como lo es el caso de AVISPA, una herramienta que facilita el análisis de modelos especificados en SPEM 2.0. Sin embargo AVISPA tiene limitaciones cuando el modelo de proceso SPEM 2.0 incluye variabilidades. Esta tesis presenta a vAVISPA, una herramienta computacional que facilita el análisis de modelos de procesos SPEM 2.0 que incluyen variabilidades. VAVISPA es una extensión de AVISPA que agrega dos nuevos planos, el plano de variabilidad y el plano de elementos en uso. Adicionalmente, vAVISPA modifica toda la pila de AVISPA desde la importación a la visualización de patrones, para resolver positivos falsos que se presentan en la versión original, debido a la no resolución de la variabilidad. vAVISPA es evaluada a través del análisis de dos modelos de procesos con variabilidad mostrando un incremento significativo en la efectividad de la detección de errores.
Defining the software process to achieve competitivity is an identified strategy by software organizations. This task normally is time consuming and expensive, more when the process model is tailored and instanciated for each project. Quality assessment of the process models become in a critical activity, because the great investing required for modeling the process model. This problem is accentuated when the complexity of the software process model is increased by the inclusion of variabilities in the process model, in order to facilitate their adaptation to specific contexts. When formality is given to process modeling, some activities such as modeling and analysis could be supported by computer, it is the AVISPA case, an analysis tool of SPEM 2.0 process models including variabilities. However, AVISPA has some limitations for identify errors in process models including varibilities. In this tesis vAVISPA, an analysis tool for analyzing SPEM 2.0 software process models including variability is presented. VAVISPA is an AVISPA extention including two new blueprints: variability blueprint and use blueprint. Also, vAVISPA has modified each layer in the stack of AVISPA, from the importer to the pattern error visualizations, in order to resolve positive falses found in the original version, because the variability resolution is not supported by the previous version. VAVISPA was evaluated using two process models with variability, where an increment in the effectiveness for identify errors was obtained.
