Workshop em Engenharia de Requisitos
Workshop en Ingeniería de Requerimientos
Workshop on Requirements Engineering

Anais do WER V. 13, 2010. Cuenca - Equador


Expediente    Contato

@proceedings{WERpapers: WER10,
  editores = {Graciela Hadad, Oscar Dieste, Juan Pablo Carvallo},
  title = {Anais do WER10 - Workshop em Engenharia de Requisitos, Cuenca, Equador, Abril 12-13, 2010},
  publisher = {},
  ISBN = {978-9978-325-12-4},
  ISSN = {2675-0066},
  year = {2010}
}

1 - Introduction

1 - Organization. Graciela Hadad, Oscar Dieste. pp. i-iv, DOI . [pdf] [scholar]

Abstract:

2 - Preface. Graciela Hadad, Oscar Dieste. pp. v-vi, DOI . [pdf] [scholar]

Abstract:

3 - Table of Contents. WER10, . pp. vii-viii, pp.133-135, DOI . [pdf] [scholar]

Abstract:

2 - Keynote Talk

4 - Requirements Engineering. A market viewpoint. Alejandro Oliveros, . pp. 1-2, DOI . [pdf] [scholar]

Abstract:

3 - Tutorial

5 - Cómo crear piezas de conocimiento en ingeniería de requisitos: replicación y agregación experimentales. Oscar Dieste, . pp. 3-4, DOI . [pdf] [scholar]

Abstract: El interés en la ingeniería del software (IS) empírica ha propiciado la realización de múltiples experimentos y la acumulación de datos. No obstante, como ya ha ocurrido en el pasado en otras disciplinas más avanzadas (experimentalmente hablando) que la IS, los datos recabados son muchas veces difíciles de conseguir, parecen contradictorios y son difíciles de conciliar. Las técnicas de análisis de replicaciones (ya sea utilizando datos primarios o secundarios) permiten derivar piezas de conocimiento utilizando dichos datos imperfectos, las cuales pueden ser utilizadas tanto para guiar la práctica profesional como la investigación en IS.

4 - Business Process Modeling & Product Families

6 - A Goal-Oriented Approach for Variability in BPMN. Emanuel Santos, Jaelson Castro, Juan Sánchez and Oscar Pastor. pp. 17-28, DOI . [pdf] [scholar]

Abstract: Good business processes need to be up-to-date and automated to represent the organizational environment. To obtain models that reflect the changes it is necessary continuous checking between model and reality. Thus, business process model need to be modifiable and transformable in software. In order satisfy these needs we propose to apply variability analysis over Business Process Models, represented by Business Process Modeling Notation (BPMN), using a Goal-Oriented approach. In this paper we present a high-level process that links different methods in order to describe a systematic way to update BPMN models. Our proposal tries to achieve it by representing variability in goal trees.

7 - G2SPL: Um Processo de Engenharia de Requisitos Orientada a Objetivos para Linhas de Produtos de Software. Carla Silva, Clarissa Borba and Jaelson Castro. pp. 5-16, DOI . [pdf] [scholar]

Abstract: Abordagens orientadas a objetivos podem ser usadas como uma forma de descobrir requisitos variáveis e comuns de uma Linha de Produtos de Software (LPS), bem como para reduzir os custos associados à configuração de um produto específico na família de produtos. Uma abordagem de requisitos orientada a objetivos que tem sido usada para o desenvolvimento de sistemas complexos é a framework i*. O i* fornece uma maneira de identificar e especificar tanto os objetivos dos stakeholders com relação ao sistema pretendido, como as características do próprio sistema. Este trabalho propõe uma extensão da linguagem de modelagem do i*, chamada i*-c (i* with cardinality), que permite a inserção de cardinalidade em alguns de seus elementos de modelagem. A abordagem G2SPL (Goals to Software Product Line) propõe um processo para identificar e modelar features comuns e variáveis de uma LPS em modelos i* com cardinalidade, como também para guiar a configuração de um produto específico na LPS.

8 - Integração de Requisitos Não-Funcionais a Processos de Negócio: Integrando BPMN e NFR. Laís Xavier, Fernanda Alencar, Jaelson Castro and João Pimentel. pp. 29-40, DOI . [pdf] [scholar]

Abstract: A engenharia de requisitos é um fator crítico de sucesso em projetos de Software. Ou seja, uma elicitação de requisitos mal-realizada pode levar ao fracasso do projeto. Uma elicitação equivocada está relacionada a falta de compreensão do negócio pelo analista de sistemas, a falta de entendimento dos objetivos do sistema, a deficiência na comunicação entre analistas de negócio e analistas de sistema, entre outros. Esses fatores são, em parte, oriundos da dificuldade de ampla compreensão e validação dos modelos de requisitos , assimo como da ausência de um tratamento adequado dos requisitos nãofuncionais. Desta forma, neste trabalho propomos a extensão de uma notação para modelagem de processos de negócio (BPMN), que é de fácil compreensão pelos stakeholders, inserindo a noção de requisitos não-funcionais. Nesta abordagem, chamada BPMNFR, utilizamos catálogos de requisitos nãofuncionais, descritos no NFR Framework, para orientar a descoberta de suas operacionalizações no modelo de negócios. Neste artigo exemplificamos a aplicação da abordagem através de um estudo de caso real.

5 - Requirements Elicitation

9 - Um Estudo de Campo sobre o Estado da Prática da Elicitação de Requisitos em Sistemas Embarcados. Jaime Cazuhiro Ossada, Luiz Eduardo Galvão Martins. pp. 41-52, DOI . [pdf] [scholar]

Abstract: Embedded Systems have a very important role in the modern life. We use them in our home, work, transportation, medical procedures, leisure time and so on. Despite of its great importance to our lives this kind of system steel lake a better process to improve the quality of its software. In this paper we present the results from a field research that focused the state of the practice of the embedded systems development, with special concern to the requirements elicitation aspects. The field research covered 53 embedded system practitioners that were predominantly placed in the state of São Paulo, Brazil. The results offer a picture of the embedded systems development practice in Brazil, and probably mirror the reality of this area in the Latin America.

10 - From User Requirements to Tasks Descriptions in Real-Time Systems. Leo Ordinez, David Donari, Rodrigo Santos and Javier Orozco. pp. 53-62, DOI . [pdf] [scholar]

Abstract: Real-time scheduling theory has made a great progress in the last decades. From small devices to enormous satellites or industrial plants take advantage of this ongoing research. However, to the authors belief, there is still a gap to fully exploit the benefits of the theory. The cornerstone of real-time scheduling theory is the concept of task. Nevertheless, very little is mentioned about how to discover such tasks. Thus, the objective of this paper is to propose a systematic way of describing real-time tasks by jeans of requirements elicitation. The process begins with the gathering of user requirements through Use Case Diagrams. Then, tose use cases are refined to turn them into tasks descriptions. Lastly, tasks descriptions are further refined and brought to a detailed characterization of individual execution flows. This final tasks characterization is made with Activity Diagrams. Finally, a Line-Follower System is used to exemplify the proposed approach.

11 - Evolución de un Juego Educacional de Ingeniería de Software a través de Técnicas de Elicitación de Requisitos. Elizabeth Suescun, Vera Werneck and Julio Sampaio do Prado Leite. pp. 63-74, DOI . [pdf] [scholar]

Abstract: La ingeniería de requisitos tiene como tarea principal representar las necesidades de un contexto estudiado. El entendimiento y el uso de técnicas apropiadas para representar estas necesidades pueden asegurar la satisfacción de los interesados. Para ello la ingeniería de requisitos se vale de diferentes estrategias para la captura de esta información. Basados en estos conceptos queremos mostrar cómo la elección y la aplicación oportuna de estas estrategias pueden llevar a la evolución y mejora de los sistemas. Nuestro objetivo es mostrar como a través de la aplicación de técnicas de elicitación de requisitos fue concebida la evolución de un juego de cartas educacional. Este juego contaba con un modelo situacional como fuente de información y derivó para un modelo intencional, este último como parte de la representación evolucionada del juego.

6 - Requirements Management & Traceability

12 - Uma Análise Avaliativa de Ferramentas de Software Livre no Contexto da Implementação do Processo de Gerência de Requisitos do MPS.BR. Alexandre Brito Cardias Junior, Luciana Neves Bentes, Mauricio Ronny, Sandro Ronaldo Bezerra Oliveira and Ewelton Yoshidome. pp. 75-84, DOI . [pdf] [scholar]

Abstract: The market’s demands intensify the search for quality in software development and, as a result, it makes that even more companies adopt models in order to improve their software processes and, consequently, their final product. In addition to this, the time for product delivery can be significantly reduced when proper tools for a quicker evolution of the process are adopted. This paper presents free software tools, analyzing them from the point of view of the MPS.BR model.

13 - Um Modelo de Rastreabilidade com suporte ao Gerenciamento de Mudanças e Análise de Impacto. Pablo Dall Oglio, João Pablo Silva da Silva and Sérgio Crespo Coelho da Silva Pinto. pp. 85-96, DOI . [pdf] [scholar]

Abstract: É de senso comum que a gestão da mudança de requisitos exerce papel fundamental no processo de desenvolvimento de software, principalmente no que tange à qualidade. Para que se possa gerenciar a mudança de requisitos de forma efetiva e precisa, torna-se indispensável o uso de informações de rastreabilidade, que por sua vez, torna possível a realização da análise de impacto. Para que se possa efetivamente gerenciar as mudanças de software é necessário a existência de um modelo que permita representar com precisão a rastreabilidade de software, as mudanças ocorridas e os impactos gerados. Apesar destes assuntos serem de suma importância dentro da área da engenharia de requisitos, parece não haver um modelo que permita representar estes aspectos ao mesmo tempo de forma que supra os requisitos necessários identificados na literatura. Desta forma, a proposta deste trabalho é o desenvolvimento de um modelo de rastreabilidade que suporte o gerenciamento da mudança e análise de impacto, de forma que atenda aos requisitos identificados nos trabalhos já desenvolvidos na área.

7 - Requirements Specification & Modeling

14 - TERASE: Template para Especificação de Requisitos de Ambiente em Sistemas Embarcados. Luiz Eduardo Galvão Martins, Roberto de Souza Júnior, Hermano Peixoto de Oliveira Jr. and Cecilia Sosa Arias Peixoto. pp. 97-108, DOI . [pdf] [scholar]

Abstract: This paper presents a template for environmental requirements specification in embedded systems, called TERASE. There is a lack of requirements specification templates that address the particularities of the embedded systems development. With TERASE embedded system engineers can improve their environmental requirements specification, as well as the communication process between hardware and software engineers. An empirical study was conducted to evaluate the template proposed. The goal of the empirical study was to apply and evaluate the results obtained with TERASE, from the point of view of the embedded system practitioner. The embedded system analyzed during the experiment was a datalogger used to capture and store temperature reading. It was adopted “in-vitro” modality for the experiment.

15 - A Tool for Formal Feature Modeling Based on BDDs and Product Families Algebra. Fadil Alturki, Ridha Khedri. pp. 109-120, DOI . [pdf] [scholar]

Abstract: Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the concepts of feature modeling techniques. Therefore, the tools based on them reflect this diversity in the notations used and the fuzziness of the concepts adopted. We propose a tool based on Product Families Algebra (PFA) and on Binary Decision Diagrams (BDD). The first brings the mathematical formalism to the specifications of product familias and the mathematical theory that enables calculations on featuremodels. The second brings efficient algorithms in time and in space. Hence, the tool allows several algebraic manipulations of feature models algebraically specified. The paper discusses the architecture of the tool, and the process through which a term in PFA is translated into a term formed by BDD symbols and operations. A case study is presented to illustrate the tool’s key functionalities.

16 - Lenguaje de Especificación para el Framework Tropos. Alicia Martínez, , Carmen Velasco, Eliel Morales, Hugo Estrada and Luis A. Gama. pp. 121-132, DOI . [pdf] [scholar]

Abstract: El framework i* surgió como una propuesta para realizar reingeniería de procesos de negocios hace ya casi dos décadas. A partir de entonces han surgido numerosas propuestas y herramientas que han añadido nuevos conceptos y funcionalidades a esta propuesta original. Una de ellas es el framework Tropos, que es una metodología orientada a agentes enfocada al desarrollo de software. Sin embargo, uno de los grandes problemas que se presenta en el uso de esta metodología es que cada propuesta que usa o extiende Tropos o i* utiliza los conceptos dependiendo sus necesidades, y emplean diferentes formatos en el almacenamiento de sus modelos. En este artículo se presenta un lenguaje de especificación para el framework Tropos basado en XML, el cual define la estructura de sus diagramas e impone reglas para la utilización de sus primitivas de modelado. Se presenta un DTD (Document Type Definition) que representa la gramática de este lenguaje y que permite hacer la validación de la estructura de los modelos definidos en XML. El enfoque propuesto intenta homogeneizar el uso de los modelos organizacionales entre la comunidad que utiliza esta metodología.

  voltar