ReqGIS Classifier: a tool for geographic requirements normalization

Component Based Software Development (CBSD) is a development process based on components’ reuse. One of the main difficulties for developers is selecting the most suitable component that fit in their development systems. In this paper we describe a software tool, named ReqGIS, which supports our methodology for improving components’ identification in a geographic information environment. In particular, we introduce a new component named AlgSim, which completes the automation of the whole methodology. It starts analyzing user requirements specified by use cases and returns the best fitting geographic service category corresponding to those requirements.Presentado en el VIII Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Descubrimiento de Servicios Geográficos a partir de casos de uso textuales

El Desarrollo de Software Basado en Componentes (DSBC) se basa en la utilización de componentes software ya desarrollados OTS (Off-The-Shelf), que son combinados adecuadamente para satisfacer los requisitos de un sistema particular. Sin embargo, el uso masivo de este paradigma en la industria requiere de la identificación y selección de componentes de manera eficiente, aspecto que continúa siendo materia de investigación. En este trabajo se da continuidad a trabajos previos, en los que hemos presentado una taxonomía de servicios geográficos que facilita la identificación de componentes, y es utilizada por el analista quien tiene a su cargo el desarrollo de una aplicación de un Sistema de Información Geográfica (GIS) y que utiliza para ello el enfoque de Desarrollo Basado en Componentes. En esta instancia, se examinan distintas técnicas de extracción de conocimiento en casos de uso textuales y se propone un método para estandarizar el vocabulario resultante a fin de posibilitar la utilización de herramientas automáticas en la búsqueda de los servicios GIS correspondientes.VI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

Descubrimiento de Servicios Geográficos a partir de casos de uso textuales

El Desarrollo de Software Basado en Componentes (DSBC) se basa en la utilización de componentes software ya desarrollados OTS (Off-The-Shelf), que son combinados adecuadamente para satisfacer los requisitos de un sistema particular. Sin embargo, el uso masivo de este paradigma en la industria requiere de la identificación y selección de componentes de manera eficiente, aspecto que continúa siendo materia de investigación. En este trabajo se da continuidad a trabajos previos, en los que hemos presentado una taxonomía de servicios geográficos que facilita la identificación de componentes, y es utilizada por el analista quien tiene a su cargo el desarrollo de una aplicación de un Sistema de Información Geográfica (GIS) y que utiliza para ello el enfoque de Desarrollo Basado en Componentes. En esta instancia, se examinan distintas técnicas de extracción de conocimiento en casos de uso textuales y se propone un método para estandarizar el vocabulario resultante a fin de posibilitar la utilización de herramientas automáticas en la búsqueda de los servicios GIS correspondientes.VI Workshop Ingeniería de Software (WIS)Red de Universidades con Carreras en Informática (RedUNCI

A graph-based aspect interference detection approach for UML-based aspect-oriented models

Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique. While this improves the understandability of each submodel, in order to reason about the behavior of the composed system and to detect conflicts among submodels, automated tool support is required. Current techniques for conflict detection among aspects generally have at least one of the following weaknesses. They require to manually model the abstract semantics for each system; or they derive the system semantics from code assuming one specific aspect-oriented language. Defining an extra semantics model for verification bears the risk of inconsistencies between the actual and the verified design; verifying only at implementation level hinders fixng errors in earlier phases. We propose a technique for fully automatic detection of conflicts between aspects at the model level; more specifically, our approach works on UML models with an extension for modeling pointcuts and advice. As back-end we use a graph-based model checker, for which we have defined an operational semantics of UML diagrams, pointcuts and advice. In order to simulate the system, we automatically derive a graph model from the diagrams. The result is another graph, which represents all possible program executions, and which can be verified against a declarative specification of invariants.\ud To demonstrate our approach, we discuss a UML-based AOM model of the "Crisis Management System" and a possible design and evolution scenario. The complexity of the system makes con°icts among composed aspects hard to detect: already in the case of two simulated aspects, the state space contains 623 di®erent states and 9 different execution paths. Nevertheless, in case the right pruning methods are used, the state-space only grows linearly with the number of aspects; therefore, the automatic analysis scales

Discovering geographic services from textual use cases

Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which are being investigated until now. In this context, this paper further explores the use of a geographic services taxonomy, which facilitates component identification, and is used by analysts in charge of developing a Geographic Information System (GIS) employing a CBSD approach. In this article, different knowledge extraction techniques are evaluated and a methodology is proposed to standardize resultant vocabulary in order to allow automatic tools to support GIS services search.Facultad de Informátic

Una heurística de derivación de LEL a escenarios

El objetivo principal de este trabajo de tesis está centrado en derivar escenarios contribuyendo y enriqueciendo las estrategias existentes. Utilizaremos la información del LEL que aún no ha sido tenido en cuenta, con el propósito de generar escenarios más completos que describan mejor los requerimientos funcionales.Facultad de Informátic

Normalización de información de servicios requeridos para Sistemas de Información Geográficos

La amplia difusión del proceso de desarrollo basado en componentes, en particular en el dominio de aplicaciones geográficas, ha generado el surgimiento de una gran cantidad y variedad de componentes software orientados a satisfacer las necesidades de los desarrolladores. En este contexto, uno de los principales inconvenientes encontrados al desarrollar aplicaciones mediante reuso de componentes, consiste en la localización de aquellos más adecuados a un requerimiento o conjunto de requerimientos en particular. A esto se denomina proceso de selección de componentes, que incluye dos actividades principales: la oferta de componentes disponibles para reuso y la demanda de servicios a ser satisfechos por la interface de los componentes ofertados. Nuestra propuesta consiste en una mejora al proceso de demanda mediante la estandarización de la especificación de requerimientos o servicios orientándolos a la búsqueda de componentes, en particular para el dominio de aplicaciones geográficas. Para ello se trabaja sobre la normalización de los requerimientos, categorizándolos según información estándar para servicios geográficos. Así, en esta Tesis se define en primer lugar, una Taxonomía de Servicios Geográficos. Luego, se propone una metodología para extraer conocimiento a partir de los casos de uso y categorizar esos requerimientos en clases de servicios geográficos. Por último, se describe la herramienta ReqGIS, la cual automatiza la metodología señalada anteriormente.The wide-spread use of component based development processes, particularly in geographic application domain, has caused the appearance of a great number and variety of software components oriented to satisfying developers’ needs. In this context, one of the main difficulties when developing applications with software reuse is discovering the most suitable components to a particular requirement. This activity is known as selection process, which includes two main activities: offering reusable components and requiring services to be satisfied by the components’ interfaces. Our proposal suggests improving the requiring process by standardizing the software requirement specification, and making requirements more suitable for searching suitable components, particularly for the geographic application domain. To do so, we work on requirement normalization, classifying requirements according to standard information for geographic services. In this Thesis, we firstly define a Geographic Service Taxonomy. Then, we propose a methodology to extracting knowledge from use cases, so requirements could be classified as normalized geographic services. Finally, we describe the ReqGIS tool, which supports the normalization process.Facultad de Informátic