Un mecanismo de consistencia en los eventos disparador y de resultado para los artefactos de UNC-Method

Abstract

Los eventos en el ciclo de vida del software generan cambios de estado en los procesos de negocio, afectando el flujo de los procesos. Cuando un evento desencadena un proceso se denomina evento disparador y cuando genera un impacto como resultado de un proceso se denomina evento de resultado. UNC-Method es el método para la educción de requisitos de la Universidad Nacional de Colombia, que utilizan los estudiantes de ingeniería de sistemas para determinar el problema y la solución de un proyecto de software y como parte de su formación. La consistencia en el proceso de ingeniería de software es un aspecto importante ya que permite la representación y articulación de los elementos en sus diferentes fases. En algunos artefactos que representan eventos en UNC-Method, se observan inconsistencias, pues no existe una completa representación de los eventos, y no hay un artefacto que muestre la interacción entre ellos. Además, los eventos se suelen confundir con acciones u operaciones que ejecutan los usuarios. En esta Tesis de Maestría se define un mecanismo de consistencia para los eventos disparadores y de resultado en artefactos de UNC-Method, que precisa las estructuras gramaticales, las reglas de consistencia y el grafo de interacción para los eventos. Adicionalmente se propone la validación del mecanismo y un prototipo que apoye el mecanismo en las reglas de consistencia.

Abstract: Events generate state changes of the business processes and they affect the flow of the processes in the software development lifecycle. When an event initiates a process is named trigger event and when an event generates an impact as the result of a process, it is named result event. UNC-Method is a requirements elicitation method the engineering system students use to determinate the problem and the solution of a software project and their academic formation in the Universidad Nacional de Colombia. The consistency is an important aspect in Software Engineering process because it permit the representation and articulation of the elements en its phases. So, we observe inconsistencies in the event representation in some artifacts of UNC- Method: the event representation is incomplete, no artifacts are defined in order to show the interaction among events, and the events are sometimes confused with actions and operations that users execute. In this M.Sc. Thesis, we define a consistency mechanism for the trigger and result events in artifacts of UNC-Method. Such a mechanism includes some event gramatical structures, the consistency rules and the event interaction graph. Additionally we propose the validation of the mechanism and a software prototype for supporting the consistency rules in the mechanism.