WER04 - Workshop em Engenharia de Requisitos 2004: Tandil, Argentina


Marcela Ridao, Luiz Marcio Cysneiros (Ed.): Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004.

voltar

@proceedings{WERpapers: WER04,
  editor = {Marcela Ridao, Luiz Marcio Cysneiros},
  title = {Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004},
  publisher = { },
  ISBN = {950-658-147-9},
  year = {2004}
}

Experimental Studies

1 - Constructing Use Case Model by Using a Systematic Approach: Description of a Study. Anderson Belgamo, Sandra Fabbri. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 251-262. [pdf] [scholar] Downloads: 401

Abstract: This paper presents the results of a feasability study that was carried out to evaluate the construction of Use Case Models by comparing the models with groups that used the GUCCRA techniques and groups that did not use them, that is, they only used their experience (Ad-Hoc). GUCCRA – Guidelines for Use Case Construction and Requirements document Analysis – is a set of two reading techniques that helps the elaboration of Use Case Models and, simultaneously, provides an opportunity to identify defects in the Requirements Document. The results of the study showed that applying a systematic and procedural technique to construct Use Case Models, a larger standardization may be reached and the construction process becomes more independent from the designer’s subjectivity and experience.

2 - Contribuição à Engenharia de Requisitos de Ambientes Virtuais. Tereza Gonçalves Kirner, Valéria Farinazzo Martins Salvador. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 263-273. [pdf] [scholar] Downloads: 476

Abstract: This paper aims to contribute to the elicitation, specification, and evaluation of requirements applied to the development of virtual environments. Requirements engineering is characterized, based on existing concepts and on experience obtained through the development of three virtual environments. The requirements engineering process is described and exemplified and the main conclusions are pointed out.

3 - Designing Communication-intensive Web Applications: a Case Study. Vito Perrone, Davide Bolchini. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 239-250. [pdf] [scholar] Downloads: 368

Abstract: Who uses requirements engineering and design methodologies besides the people who invented them? Are researchers - at least - actually trying to use them in real-world complex projects and not in "paper project"? In this paper, we dare to recount the experience and the lessons we gained in trying to use seriously and in-depth a requirements engineering method (called AWARE) combined with a conceptual user-centered design method (called W2000) for the development of a real-world web application. The project is recounted through the process followed and the artifacts produced, as well as by crystallizing our experience in using and transferring the method to industry in practical and methodological recommendations.

Processes, Methods and Tools

4 - Structural Testing with Use Cases. Adriana Carniello, Mario Jino, Marcos Lordello Chaim. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 140-151. [pdf] [scholar] Downloads: 505

Abstract: Understanding how a user interacts with a system is important if the goal is to deliver a product that meets the user's needs. Use cases constitute a primary source of requirements in a user-centered perspective and are often utilized to derive acceptance tests. Given such a critical role in requirements engineering, we introduce a novel set of testing criteria based on the use case specification with a two-fold objective: to assess the quality of test cases derived from use cases and to test the use case specification itself. Differently from previous approaches, the novel set of testing criteria requires that structural elements of the use cases be exercised at least once. To support the application of the new set of testing criteria, a testing coverage tool, called UCT - Use Case Tester, was developed. A case study using UCT shows that the new testing criteria are able to evaluate the quality of a test data set as well as to detect faults in use case specifications.

5 - Satisficing the Conflicting Software Qualities of Maintainability and Performance at the Source Code Level. Bill Andreopoulos, . Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 176-188. [pdf] [scholar] Downloads: 407

Abstract: The major contributions of our work include adopting the NFR framework to represent and analyze two software qualities that often conflict with each other: maintainability and performance. We identified and described many heuristics that can be implemented in a system's source code to achieve either quality. We implemented some of the heuristics in two medium-sized software systems and then collected measurements to determine the effect of the heuristics on maintainability and performance. A general methodology is described for evaluating and selecting the heuristics that will improve a system’s software quality the most. The results of our research were also encoded in XML files, and made available on the World Wide Web for use by software developers.

6 - Taxonomic Ontology Alignment - an Implementation. Carolina Howard Felicíssimo, Karin Koogan Breitman. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 152-163. [pdf] [scholar] Downloads: 400

Abstract: With the evolution of the Web evolving towards the Semantic Web, where the information should be presented in a meaningful way for both humans and machines, arises the need for semantic interoperability. By interoperability we understand the use of meaningful representation mechanisms that allow for information exchange among agents. There is a consensus that ontologies will be this representation model. The information exchange process depends on our ability to engage two or more ontologies in conversation. In this paper the focus is on the compatibility of different ontologies. We propose a strategy for automatic alignment of ontologies, implemented by an ontology taxonomic alignment component - the CATO component.

7 - Ferramentas para Suporte do Mapeamento da Modelagem i* para a UML: eXtended GOOD – XGOOD e GOOSE. Flávio Pereira Pedroza, Fernanda M. R. Alencar, Jaelson F. B. Castro, Fernando R. C. Silva, Victor F. A. Santander. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 164-175. [pdf] [scholar] Downloads: 490

Abstract: O bom entendimento dos requisitos organizacionais é vital para o sucesso do desenvolvimento de aplicações na área de engenharia de software. Com a popularização do paradigma da orientação à objeto, a linguagem de modelagem UML (Unified Modeling Language) se tornou padrão para este tipo de desenvolvimento. Porém, a UML ainda não está suficientemente estruturada para suportar a modelagem dos requisitos organizacionais. Faz-se necessário a utilização de outras ferramentas de modelagem. A técnica de modelagem i* (istar) supre esta deficiência, sendo uma técnica bem difundida e aceita. Neste trabalho, apresentamos ferramentas de apoio às regras de mapeamento entre as técnicas i* e UML, o eXtended GOOD (Goals into Object Oriented Development) e o GOOSE (Goal Into Object Oriented Standard Extension) que possibilitam a geração de diagramas UML a partir de modelos i* de forma automática.

Requirements Elicitation

8 - Factores que Influencian el Análisis de Requerimientos para Sistemas de Información Interorganizacionales. Luciana C. Ballejos, Jorge M. Montagna. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 13-26. [pdf] [scholar] Downloads: 564

Abstract: El trabajo presenta una metodología básica con los pasos a efectuar previamente al desarrollo de Sistemas de Información Interorganizacionales (SIOs). Ellos conforman el soporte para la ejecución de procesos en las Redes Interorganizacionales (RIOs), nuevas estructuras conformadas por varias organizaciones. Uno de los pasos críticos para el éxito de este tipo de proyectos es el Análisis de Requerimientos. Para hacer frente a ello, se analiza la influencia de un conjunto de factores que caracterizan a las RIOs sobre esta etapa particular para los SIOs. Esto es particularmente importante en ambientes donde la cooperación y coordinación entre varias organizaciones son los objetivos principales.

9 - Medida de Tamaño en la Etapa de Elicitación de Requerimientos. M. Elena Centeno, Alejandro Oliveros. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 27-38. [pdf] [scholar] Downloads: 419

Abstract: Establecer mediciones en etapas tempranas del desarrollo del software permite determinar la bondad del proceso elegido. En este trabajo se proponen mediciones de tamaño aplicadas al Léxico Extendido del Lenguaje, un producto de la elicitación de requerimientos. Las definiciones del LEL están expresadas en Lenguaje Natural, entonces al tratar de establecer mediciones se presenta una dificultad adicional inherente a una de las características del Lenguaje Natural: su diversidad de formas de expresión. Las mediciones que surgen en forma inmediata presentan grandes variaciones al aplicarlas a diferentes LEL. Nace así como solución a este problema el concepto de Palabra Normalizada. Efectuar mediciones teniendo en cuenta sólo las palabras normalizadas permite una evaluación más objetiva al conseguir abstraerse de las peculiaridades de cada LEL.

10 - Estimación del Tamaño Funcional en la Elicitación de Requerimientos. Mabel Bertolami, Alejandro Oliveros. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 1-12. [pdf] [scholar] Downloads: 523

Abstract: Disponer de la medición temprana del tamaño del software permite estimar costos y esfuerzo así como planificar la agenda de desarrollo. En trabajos previos se presentó un enfoque que aplica el Análisis de Puntos Función a los Escenarios derivados del Léxico Extendido del Lenguaje. En el proceso de validación de esa propuesta se aplicaron técnicas estadísticas sobre un subconjunto de los datos obtenidos de la medición de varios casos de estudio. En este artículo se presentan el análisis de regresión lineal que permitió establecer un modelo de estimación del tamaño funcional de un conjunto de escenarios y la comprobación de la validez del modelo. Los resultados son alentadores en cuanto a la factibilidad del modelo y sus posibles refinamientos posteriores.

Requirements for the Agent-oriented Paradigm

11 - Enhancing Requirements to derive Multi-Agent Architectures. Lúcia R. D. Bastos, Jaelson F. B. Castro. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 127-139. [pdf] [scholar] Downloads: 423

Abstract: Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requirements and architectures remains one of the challenging problems in software engineering research. In this paper we present an approach for integration of system requirements and software architectures within the context of the Tropos project, an information system development framework that is requirement-driven in the sense that it adopts concepts used during early requirements analysis. Our framework advocates that a multi agent system corresponds to the organizational structure, in which actors are members of a group in order to perform specific tasks.

12 - Evaluating Methodologies: A Requirements Engineering Approach Through the Use of an Exemplar. Luiz Marcio Cysneiros, Vera Werneck and Eric Yu. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 112-126. [pdf] [scholar] Downloads: 397

Abstract: Systems development methodologies continue to be a central area of research in software engineering. As the nature of applications and systems usage move increasingly towards open networked environments, not only are new methodologies required, but new ways for evaluating methodologies for these new environments are also required. The agent-oriented approach to software engineering introduces concepts such as pro-activeness and autonomy to achieve more flexible and robust systems for complex applications environments. A number of AOSE methodologies have been proposed. In order to evaluate and compare these methods in depth, we proposed the use of a common exemplar – a detailed application setting within which each of the methodologies will be worked out. The evaluation method emphasizes a requirements engineering perspective. In this paper we show how to apply this exemplar to evaluate three agent-oriented methodologies.

Requirements Management

13 - Towards Requirement Traceability in TROPOS. A. Castor, R. Pinto, C. Silva and J. Castro. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 189-200. [pdf] [scholar] Downloads: 437

Abstract: If we are to be successful in the development of the next generation of agent oriented systems we must deal with the critical issue of requirements traceability. Failure to do so will imply in higher costs and longer corrective and adaptable maintenance. Unfortunately most agent-oriented methodologies are not addressing this issue. Requirement traceability is intended to ensure continued alignment between stakeholders requirements and various outputs of the system development process. In this paper we show how traceability could be applied to agent oriented development paradigm. In fact, software developers have used agents as a way to understand, model, and develop more naturally an important class of complex system. The growth of interest in software agents has recently led to the development of new methodologies based on agent concepts. However, few agent-oriented methodologies are requirement driven, or recognize traceability as an important issue to be supported. In this paper we argue that requirement traceability must be considered in agent-oriented methodologies. In particular we show how a general-purpose traceability approach can be used in the context of the Tropos framework. An e-commerce case study is used to demonstrate the applicability of the approach.

14 - Construccion de una Taxonomía de Componentes COTS Orientados a la Gestión de Requisitos. Claudia P. Ayala, Pere Botella, Xavier Franch. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 214-225. [pdf] [scholar] Downloads: 362

Abstract: Este artículo presenta un procedimiento detallado para la construcción de una taxonomía de componentes COTS en el área de Ingeniería de Requisitos (IR). La taxonomía e información resultante aporta beneficios trascendentales para la selección de herramientas y sistemas que asistan a los actores involucrados en el proceso de IR a simplificar sus diversas labores. La taxonomía es construida mediante un enfoque orientado a metas inspirado en GBRAN (Goal-Based Requirements Análisis Method), llamado GBTCM (Goal-Based Taxonomy Construction Method), que nos proporciona una guía general para el análisis de las fuentes de información y modelado de requisitos y dominios, así como la recopilación y organización del conocimiento relativo a cualquier dominio del mercado de COTS. GBTCM pretende impulsar la reutilización de requisitos y estándares de Ingeniería de Software, con la finalidad de dar soporte en diferentes procesos de selección e integración de componentes.

15 - Uma Proposta de Evolução em Sistemas Legados. Luciana de Paiva Silva1, Victor F.A. Santander. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 201-213. [pdf] [scholar] Downloads: 829

Abstract: O processo de evolução de sistemas legados é um tópico de recentes pesquisas na área de engenharia de requisitos. Organizações vêm se defrontando continuamente com a necessidade de mudar e/ou melhorar seus sistemas computacionais. Neste processo de evolução, as maiores mudanças envolvem a transição do uso de metodologias tradicionais tais como Análise Estruturada e Essencial para metodologias Orientadas a Objetos tais como Catalysis e Processo Unificado (UP). É consensual que um processo de evolução de sistemas legados não deve se basear unicamente na avaliação do código fonte, mas também nos demais artefatos que possam facilitar o processo de elicitação, análise e documentação de requisitos. Neste contexto, uma das principais dificuldades reside na falta de diretrizes que permitam mapear informações de sistemas legados representadas em modelos tais como Diagramas de Fluxos de Dados (DFDs) para novos artefatos utilizados em metodologias orientadas a objetos, como Casos de Uso em UML. Neste artigo, apresentamos um breve estudo das principais metodologias de desenvolvimento de software utilizadas atualmente tanto no âmbito acadêmico quanto industrial, bem como propomos um conjunto de diretrizes para apoiar desenvolvedores no processo de evolução de sistemas legados mapeando informações contidas em DFDs e código fonte para Casos de Uso em UML.

16 - Uma Análise Crítica dos Desafios para Engenharia de Requisitos em Manutenção de Software. Rodrigo Santos de Espindola, Azriel Majdenbaum, Jorge Luiz Nicolas Audy. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 226-238. [pdf] [scholar] Downloads: 799

Abstract: Diversos são os desafios encontrados na manutenção de sistemas legados. Dentre estes desafios, a realização da Engenharia de Requisitos destaca-se como sendo uma área particularmente afetada pelas dificuldades envolvidas em projetos de manutenção. O objetivo deste artigo é apresentar uma análise crítica da influência das principais dificuldades encontradas na manutenção de sistemas legados sobre os processos da Engenharia de Requisitos. Como resultado demonstra-se a criticidade de algumas das atividades da Engenharia de Requisitos, quando realizadas no contexto da manutenção de software. Identificou-se também uma certa dificuldade no uso dos modelos e processos de ER quando analisados sob a ótica do mantenedor de software e de suas necessidades, principalmente no que se refere aos aspectos de rastreamento de requisitos.

Requirements Modeling and Specification

17 - A pattern language to join early and late requirements. Alicia Martínez, Oscar Pastor, Hugo Estrada. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 51-64. [pdf] [scholar] Downloads: 433

Abstract: At present, the early phase of Requirements Engineering is a new research area in the Software Engineering field. This phase is concerned with the analysis of the organizational context in which a software system will be used. The models used in this phase allow us to describe an organizational environment using actors, goals, business processes and relationships. The late phase of Requirements Engineering, which is focused on representing the expected functionality of the software system, is more developed, so there are multiple techniques and tools to describe the software system that will be developed inside its operational environment. However, although there are methodologies which give separate support to each phase of requirements engineering, the development of methods to derive late requirements from the early requirements in a methodological way has been neglected in recent research works. This is due, in great measure, to the large difference between the abstraction levels of these two specification models. The objective of this paper is to propose a pattern language which allows us to reduce the abstraction level between early requirements and late requirements in a systematic way. This is done in an MDA-based approach.

18 - Análisis de Variabilidad con Modelos de Objetivos. Bruno González-Baixauli, Miguel A. Laguna, Julio Cesar Sampaio do Prado Leite. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 77-87. [pdf] [scholar] Downloads: 363

Abstract: Dentro del campo de la variabilidad, o la habilidad de cambio o personalización de un sistema, no es común que dicha variabilidad se tenga en cuenta en la definición de requisitos. En las propuestas donde si se contemplan se utilizan directamente features, aunque no son una técnica de elicitación de requisitos, sino que más bien están a medio camino entre los requisitos y la definición de la arquitectura. También existen propuestas que usan casos de usos, más cercanos a la elicitación de requisitos, pero que tienen problemas para modelar la variabilidad. En este artículo se propone aplicar técnicas de la Ingeniería de Requisitos (IR) al estudio de variabilidad utilizando un enfoque basado en modelos de objetivos, escenarios (incluyendo casos de uso) y features, para la especificación y análisis de requisitos de sistemas con variabilidad. De esta manera, se espera mejorar la fase de requisitos en este tipo de sistemas. Además, los modelos de objetivos proporcionan un mecanismo de decisión de alto nivel (los objetivos del usuario) y permiten incorporar los requisitos no funcionales (RNF).

19 - Mapeando Diagramas da Teoria da Atividade em Modelos Organizacionais Baseados em i*. Genésio Cruz Neto, Alex Sandro Gomes e Jaelson Brelaz de Castro. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 39-50. [pdf] [scholar] Downloads: 602

Abstract: Abordagens modernas de engenharia de requisitos dividem o processo de elicitação em dois estágios: um voltado para análise do contexto onde o futuro software será usado e outro focado em projetar alternativas de software adequados a este contexto. Um adequado Framework teórico para apoiar a realização de análises de contexto é oferecido pela Teoria da Atividade. A Teoria da Atividade é uma estrutura filosófica e interdisciplinar usada para estudar diferentes formas de práticas humanas através do uso da atividade como unidade básica de análise. No entanto, constata-se na atualidade uma carência por abordagens que integrem análises de contexto baseadas na Teoria da Atividade com técnicas de especificação de requisitos. Em publicação anterior os autores apresentaram um processo de engenharia de requisitos que integra análises etnográficas baseadas na Teoria da Atividade com modelagens organizacionais baseados em i*. Neste artigo apresentamos uma evolução do processo de engenharia de requisitos proposto através da inclusão de um conjunto de diretrizes de mapeamento que transformam, de forma sistemática, modelos de atividades da Teoria da Atividade em Modelos Organizacionais baseados em i*. As aplicações das diretrizes são demonstradas através da construção de um estudo de caso para um sistema de ensino baseado em projeto

20 - Integrating Natural Language Oriented Requirements Models into MDA. María Carmen Leonardi, María Virginia Mauco. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 65-76. [pdf] [scholar] Downloads: 379

Abstract: MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. Though a complete automatic construction of the CIM is not possible, we think we could use some requirements models and strategies adapting them to be used in the MDA framework. We present an OCL based transformation to obtain a structural object-oriented CIM from natural language oriented models.

21 - Uso de los Diagramas de Actividades UML Y el Lenguaje i* en el Modelado del Proceso de Implantacion del Balanced Scorecard. Mariela Haya, Xavier Franch and Enric Mayol. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 88-99. [pdf] [scholar] Downloads: 411

Abstract: La complejidad en la gestión de las organizaciones ha motivado la formulación de diferentes modelos y metodologías que pretenden alinear la estrategia de la organización y el funcionamiento diario de la misma. Uno de estos modelos es el Balanced Scorecard (BSC). En este artículo, presentamos una propuesta para modelar el proceso de implantación del BSC en una organización, basada en la combinación de los diagramas de actividades de UML y los modelos de dependencias estratégicas del lenguaje i*. Los diagramas de actividades permiten establecer la secuencialización de las actividades involucradas en el proceso de implantación del BSC e identificar sus responsables. Para aquellas actividades con mayor contenido estratégico, los modelos de dependencias estratégicas permiten mostrar los aspectos intencionales de los actores que participan en el proceso. Finalmente, se modelizan los diferentes actores y responsables que han aparecido en ambos modelos utilizando el lenguaje i*. Si bien el artículo se limita al caso de estudio del BSC, creemos que la propuesta presentada se puede generalizar a otros procesos similares desde el punto de vista del impacto estratégico en las organizaciones, como puede ser la implantación de sistemas ERP o CRM.

Requirements Quality

22 - GUCCRA: Contribuindo para a Identificação de Defeitos em Documentos de Requisitos Durante a Construção de Modelos de Casos de Uso. Anderson Belgamo, Sandra Fabbri. Anais do WER04 - Workshop em Engenharia de Requisitos, Tandil, Argentina, Dezembro 9-10, 2004, pp 100-111. [pdf] [scholar] Downloads: 454

Abstract: This paper presents the results of case studies that were carried out aiming at evaluating the defects identified by GUCCRA application and PBRUser application. GUCCRA – Guidelines for Use Case Construction and Requirements document Analysis – is a set of two reading techniques that helps the elaboration of Use Case Model and, simultaneously, identifies defects in the Requirements Document. The results of the case studies shown that the most part of defects identified by PBR-User also were identified by GUCCRA techniques. Besides, GUCCRA techniques identified defects that PBR-User did not. This characteristic must be due the GUCCRA techniques application, allowing the identification of defects during a systematic and procedural approach to construct Use Case Model.

  voltar