ANAIS. SBC - Sociedade Brasileira de Computação Comissão Especial de Engenharia de Software

Transcrição

1 XV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE 3 a 5 de Outubro de 2001 Rio de Janeiro - RJ - BRASIL ANAIS Promoção SBC - Sociedade Brasileira de Computação Comissão Especial de Engenharia de Software ACM Association for Computing Machinery SIGSOFT Special Interest Group on Software Engineering Edição Cláudia Werner, COPPE-UFRJ Vera Werneck, UERJ Organização EMBRAPA - Empresa Brasileira de Pesquisa Agropecuária IME-RJ - Instituto Militar de Engenharia do Rio de Janeiro LNCC - Laboratório Nacional de Computação Científica PUC-Rio - Pontifícia Universidade Católica do Rio de Janeiro UERJ - Universidade Estadual do Rio de Janeiro UFRJ - Universidade Federal do Rio de Janeiro

2 Simpósio Brasileiro de Engenharia de Software (15.: 2001: Rio de Janeiro, RJ) S612a Anais = Proceedings / XV Simpósio Brasileiro de Engenharia de Software; edição: Cláudia Werner COPPE/UFRJ, Vera Werneck UERJ Rio de Janeiro, outubro 03-05, xviii, 441 p Destaque da Capa: SBES Engenharia de Software. I. Werner, Claudia. II. Werneck, Vera. III. Universidade Federal do Rio de Janeiro. COPPE, org. IV. Universidade Federal do Rio de Janeiro. IM, org. V. SBES 01. VI. Título. CDU: : "Esta obra foi impressa a partir de originais entregues, já compostos pelos autores." ii

3 15 th BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING October, 3 to 5, 2001 Rio de Janeiro - RJ - BRAZIL PROCEEDINGS Promoted by SBC - Sociedade Brasileira de Computação Special Software Engineering Committee ACM Association for Computing Machinery SIGSOFT Special Interest Group on Software Engineering Editors Cláudia Werner, COPPE-UFRJ Vera Werneck, UERJ Organization EMBRAPA - Empresa Brasileira de Pesquisa Agropecuária IME-RJ - Instituto Militar de Engenharia do Rio de Janeiro LNCC - Laboratório Nacional de Computação Científica PUC-Rio - Pontifícia Universidade Católica do Rio de Janeiro UERJ - Universidade Estadual do Rio de Janeiro UFRJ - Universidade Federal do Rio de Janeiro

4 iv

5 Apresentação É com satisfação que, em nome do Comitê de Programa e da Comissão Organizadora, saudamos os participantes do XV Simpósio Brasileiro de Engenharia de Software (SBES 2001). O SBES é um evento promovido anualmente pela SBC, Sociedade Brasileira de Computação, através de sua Comissão Especial de Engenharia de Software. Neste ano, a décima quinta edição conseguiu o patrocínio do grupo de interesse de Engenharia de Software da Association for Computing Machinery (ACM-SIGSOFT). Este apoio reforça o direcionamento de divulgação internacional do simpósio. Em 2001, a cidade do Rio de Janeiro está sediando o SBES que nos últimos 6 anos ocorre conjuntamente com o SBBD (Simpósio Brasileiro de Banco de Dados). A Coordenação do Programa dos dois eventos ficou a cargo do Programa de Engenharia de Sistemas e Computação da COPPE/UFRJ, favorecendo a integração entre a programação dos dois eventos. A Coordenação da Organização do SBES está sob a responsabilidade do Instituto de Matemática e Estatística da Universidade Estadual do Rio de Janeiro. O SBES tem se consolidado como um evento que integra as comunidades acadêmica e empresarial de Engenharia de Software, através de atividades cuidadosamente planejadas: palestras convidadas, apresentação de artigos técnicos rigorosamente selecionados, mini-cursos, tutoriais, apresentação de ferramentas e outros eventos satélites relacionados à Engenharia de Software, como os workshops de Qualidade de Software, Métodos Formais, Informática Médica e Teses em Engenharia de Software. Além da grande abrangência nacional, o evento tem atraído o interesse crescente de pesquisadores estrangeiros que têm contribuído como membros do Comitê de Programa, como palestrantes convidados e como autores de artigos técnicos. Neste ano, temos ainda a Primeira Conferência Latino-americana em Linguagens de Padrões para Programação, sendo realizada como evento satélite, o que reforça a importância internacional que o SBES vem adquirindo a cada ano. Foram submetidos 83 artigos ao SBES 2001, dos quais 64 do Brasil e 19 do exterior. Dos artigos submetidos, 21 foram selecionados pelo Comitê de Programa, através de um rigoroso processo. Cada artigo foi avaliado por três examinadores, sendo que este ano todos os artigos tiveram suas avaliações revistas por seus avaliadores, para eliminação de discrepâncias, num processo conhecido como fase de consenso. A fase final do processo envolveu uma reunião no Rio de Janeiro dos membros do Comitê Diretivo que, a partir dos resultados do processo de consenso, classificou os artigos e, finalmente, selecionou os 21 primeiros. Pela segunda vez consecutiva, visando aumentar a visibilidade e citações dos anais do SBES, os melhores artigos submetidos em inglês foram considerados para a seleção do melhor artigo desta edição. Dentre os 3 candidatos, após analisados e classificados pelo Comitê Diretivo, os dois primeiros foram indicados para publicação em edição especial do Journal of Brazilian Computer Society, editado pela SBC. Essa edição especial será compartilhada com os melhores artigos do SBBD Os autores do artigo classificado em primeiro lugar receberão o prêmio em sessão especial do SBES v

6 Gostaríamos de agradecer a todos que contribuíram para a realização deste evento. A qualidade deste programa é fruto da dedicação dos membros do Comitê Diretivo, de Programa, de Tutoriais e Mini-cursos, de Ferramentas e avaliadores. Somos imensamente gratos aos palestrantes convidados, aos professores de mini-cursos, aos coordenadores de eventos satélites, coordenadores de sessões, aos participantes e todos os autores pelos trabalhos submetidos. Em especial, agradecemos o trabalho de Leonardo Murta e Alexandre Corrêa, ambos alunos da COPPE/UFRJ, que deram apoio durante todo o processo de recepção e revisão de artigos, através do uso do sistema WIMPE e do desenvolvimento de software para distribuição de artigos e análise dos resultados das avaliações. Todo o nosso reconhecimento vai também para os membros do Comitê de Organização que, mesmo em tempos difíceis como este, não pouparam esforços no sentido de fazer com que este evento fosse possível. O SBES 2001 está sendo realizado aos pés do Pão de Açúcar, no Instituto Militar de Engenharia do Rio de Janeiro (IME-RJ), e devido a grande concentração de universidades e centros de pesquisa na cidade, a organização contou com a dedicação de diversas instituições, além do IME-RJ: a Universidade Federal do Rio de Janeiro, através das unidades COPPE, I.M. e NCE; a Universidade Estadual do Rio de Janeiro, através do Inst. de Matemática e Estatística; Pontifícia Universidade Católica do Rio de Janeiro, através do D.I. Laboratório Nacional de Computação Científica e Empresa Brasileira de Pesquisa Agropecuária, através da Embrapa Solos. A realização deste evento contou com o apoio financeiro da Faperj, do CNPq e da CAPES. Finalmente, desejamos a todos um excelente evento! Rio de Janeiro, agosto de Cláudia Werner e Vera Werneck Coordenadores do SBES 2001 vi

7 XV SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE Coordenação do Comitê de Programa / Program Committee Chair: Cláudia Werner, COPPE-UFRJ Comitê Diretivo / Steering Committee: Augusto Sampaio, LMF-DI-UFPE Cláudia Werner, COPPE-UFRJ Daltro José Nunes, UFRGS Itana Maria de Souza Gimenes, UEM-PR Leila Ribeiro, UFRGS Membros do Comitê de Programa / Program Committee Members: Alessandra Russo, Imperial College/UK Alexandre Vasconcelos, LMF-DI-UFPE Ana Cristina Melo, IME-USP Ana Cavalcanti, LMF-DI-UFPE Anamaria Moreira, DIMap-UFRN Ana Regina Rocha, COPPE-UFRJ Antonio Francisco Prado, UFSCar Arnaldo Moura, UNICAMP Arndt Von Staa, PUC-Rio Augusto Sampaio, LMF-DI-UFPE Bashar Nuseibeh, Imperial College/UK Carlos Heuser, UFRGS Cecilia Rubira, IC-UNICAMP Daltro Jose Nunes, UFRGS Daniel Berry, Technion/U. of Waterloo, Israel/Canadá David Deharbe, DIMap-UFRN David Naumann, Stevens/USA Douglas Renaux, CEFET-PR Eber Schmitz, NCE-UFRJ Eric Wong, Bellcore/USA George Justo, Westminster/UK Guilherme Travassos, COPPE-UFRJ Gustavo Rossi, Universidad de La Plata/AR Henri Basson, Universite de Litoral/FR Itana Maria de Souza Gimenes, UEM-PR Jaelson F. B. de Castro, DI-UFPE Jose Carlos Maldonado, ICMSC-USP-SC Jose Luiz Fiadeiro, Universidade de Lisboa/PT Julio Cesar Leite, PUC-Rio Leila Ribeiro, UFRGS Leila Silva, UFS Leonor Barroca, The Open University/UK vii

8 Mario Jino, FEEC-UNICAMP Murilo Camargo, UFSC Nabor C.Mendonca, UNIFOR Paulo Cesar Masiero, ICMSC-USP-SC Ricardo Falbo, UFES Roberto Bigonha, UFMG Roberto Tom Price, UFRGS Rogerio Drumond, IC-UNICAMP Rosangela Penteado, DC-UFSCar Shari Lawrence Pfleeger, Systems Software, Inc./USA Silvia Regina Vergilio, UFPR Coordenador do VI Workshop de Teses em Engenharia de Software (WTES) Guilherme Travassos, COPPE-UFRJ Coordenadora do VIII Workshop em Qualidade de Software (WQS) Kathia Marçal de Oliveira, UCB Kival Chaves Weber, PBQP/Software Coordenadores do I Workshop de Informática Médica (WIM) Ana Regina Cavalcanti da Rocha, COPPE-UFRJ Isa Haro, IME, UERJ Álvaro Rabelo Jr., UCCV-FBC-UFBA Coordenadora do IV Workshop em Métodos Formais Edward Hermann Hausler, PUC - Rio Ana Cristina Melo, IME-USP Coordenador da Sessão de Ferramentas Antonio Francisco Prado, UFSCar Coordenadores de Tutoriais e Minicursos Nicolas Anquetil, UCB Renata Araújo, DCC-IM-UFRJ Coordenadores da Primeira Conferência Latino-americana em Linguagens de Padrões para Programação Rossana M. Castro Andrade, DC-UFC Cláudia M. L. Werner, COPPE-UFRJ James O. Coplien, Bell Labs/USA e UMIST/UK Jorge L. Ortega Arjona, IIMAS-UNAM/MX viii

9 Avaliadores / Reviewers O Comitê de Programa do SBES 2001 destaca a valiosa contribuição dos avaliadores abaixo que participaram no processo de avaliação dos artigos recebidos. A eles nossos mais sinceros agradecimentos pelo tempo e esforço despendidos nessa tarefa fundamental para o sucesso do SBES Adnan Sherif Alessandra Dahmer Alexandre Correa Alexandre Mota Ana Price André de Carvalho Antonio Carlos dos Santos Caetano Traina Junior Carla Alessandra Lima Reis Edmundo Sergio Spoto Elisa Hatsue Moriya Huzita Geber Ramalho Guilherme A. Pinto João Oliveira José de Oliveira Guimaraes Junia Coutinho Anacleto Silva Leonardo Murta Lucia Rapanotti Marcelo Hideki Yamaguti Marcio Barros Marcio Eduardo Delamaro Marco Mangan Oliver Ray Paulo Blauth Menezes Regina Braga Renata P. M. Fortes Ricardo Pereira e Silva Roberto Milton Scheffel Rodrigo Quites Reis Rosana T. Vaccare Braga Sandra C. P. F. Fabbri Sebastian Rahtz Sérgio Roberto P. da Silva ix

10 Comitê Organizador / Organizing Committee Organização Geral Geraldo Xexéo e Vera Werneck DCC-UFRJ e IME-UERJ Organização Local Ulf Bergman, IME-RJ Comitê de Organização Alexandre Luis Correa, COPPE-UFRJ Alexandre Steinberg, UERJ Carla Osthoff, LNCC Carmen Maindantchik, COPPE-UFRJ Claudia Motta, NCE-UFRJ Fernanda Baião, COPPE-UFRJ Julia Strauch, Embrapa Leonardo Gresta P. Murta, COPPE-UFRJ Renata Araújo, DCC-IM-UFRJ Sergio Lifschitz, PUC-Rio x

11 Sociedade Brasileira de Computação Diretoria Flávio Rech Wagner, UFRGS, Presidência Luiz Fernando Gomes Soares, PUC-Rio, Vice-Presidência Taisy Silva Weber, UFRGS, Diretoria de Administração e Finanças Marcos José Santana,USP - São Carlos, Diretoria de Educação Claudia Maria Bauzer Medeiros, UNICAMP, Diretoria de Publicações Ana Teresa de Castro Martins, UFC, Diretoria de Eventos e Comissões Especiais Aleardo Manacero Jr., UNESP S.J. do Rio Preto, Diretoria de Secretarias Regionais Sérgio Cavalcante, UFPE, Diretoria de Divulgação e Marketing Robert Carlisle Burnett, PUC-PR, Diretoria de Planejamento e Programas Especiais Conselho Membros Titulares Paulo Cesar Masiero Ana Carolina Salgado Rosa Maria Vicari Tomasz Kowaltowski Sergio de Mello Schneider Membros Suplentes André Carlos P. de Leon F. de Carvalho Itana Maria de Souza Gimenes Jaime Simão Sichman Raul Sidnei Wazlawick Miguel Jonathan Diretores Extraordinários Roberto da Silva Bigonha, UFMG, Regulamentação da Profissão Ricardo de Oliveira Anido, UNICAMP, Eventos Especiais Coordenação da Comissão Especial de Banco de Dados Claudia Maria Bauzer Medeiros, UNICAMP xi

12 xii

13 Sumário/Contents Palestrantes convidadas / Invited speakers... 1 Tutoriais / Tutorials... 2 Cursos e Mini-cursos / Courses and Short-courses.. 4 Sessões Técnicas ENGENHARIA DE REQUISITOS, DOMÍNIOS E ONTOLOGIAS Driving Non-Functional Requirements to Use Cases and Scenarios.. Luiz Marcio Cysneiros (University of Toronto) e Julio Cesar Sampaio do Prado Leite (PUC-Rio) Utilização de Sistemas Críticos nas Atividades de Engenharia de Domínio e de Aplicações... Hamilton L. R. Oliveira (UFPA), Cleber R. P. da Rocha (UFPA), Kleder M. Gonçalves (UFPA) e Cleidson R. B. De Souza (UFPA; University of California, Irvine) Using Objects and Patterns to Implement Domain Ontologies... Giancarlo Guizzardi (UFES; University of Twente), Ricardo de Almeida Falbo (UFES) e José Gonçalves Pereira Filho (UFES) PROCESSOS DE SOFTWARE APSEE-StaticPolicy: verificação de políticas estáticas em modelos de processos de software... Rodrigo Quites Reis (UFPA; UFRGS), Carla Alessandra Lima Reis (UFPA; UFRGS) e Daltro José Nunes (UFRGS) A abordagem APSEE para Modelagem e Gerência de Recursos em Ambientes de Processos de Software... Carla Alessandra Lima Reis (UFPA; UFRGS), Rodrigo Quites Reis (UFPA; UFRGS), Heribert Schlebbe (Univertät Sttutgart) e Daltro José Nunes (UFRGS) Avaliação de Processo de Software baseada em Medições... Augusto Gomes (COPPE-UFRJ), Kathia Marçal Oliveira (UCB), Ana Regina da Rocha (COPPE-UFRJ) Inspector: Um Processo de Avaliação de Progresso para Projetos de Software... Javé Meneses e Hermano Moura (UFPE) xiii

14 ARQUITETURAS DE SOFTWARE E FRAMEWORKS Analyzing Software Architecture Based on Statechart Semantics... Márcio Dias, Marlon Vieira e Debra Richardson (University of California, Irvine) Um Meta-Modelo para Especificação de Arquiteturas de Software em Camadas... Lyrene Silva e Virgínia C. Carneiro de Paula (UFRN) Identification of Framework Hot Spots using Pattern Languages.. Rosana T. Vaccare Braga e Paulo Cesar Masiero (ICMC-USP) SISTEMAS DISTRIBUÍDOS E MULTI-AGENTES An Implementation Method for Distributed Object-Oriented Applications Vander Alves e Paulo Borba (UFPE) An Aspect-Based Approach for Developing Multi-Agent Object- Oriented Systems Alessandro Garcia, Viviane Silva, Carlos Lucena e Ruy Milidiú (PUC-Rio) COMPONENTES DE SOFTWARE CRE: A Systematic Method for COTS Components Selection... Carina Alves e Jaelson Castro (UFPE) ProReuso: Um Repositório de Componentes para Web Dirigido por um Processo de Reuso... Caroline B.S. Holanda, Clarissa Angélica de A. de Souza e Walcelio Melo (UCB; CYBIZ; ORACLE) Reengenharia de Software Orientada a Componentes Distribuídos... Edimilson Ricardo Azevedo Novais e Antonio Francisco do Prado (UFSCar) TESTE DE SOFTWARE MuDeL: A Language and a System for Describing and Generating Mutants... Adenilso da Silva Simão e José Carlos Maldonado (ICMC-USP) FCCE: Uma Família de Critérios de Teste para Validação de Sistemas Especificados em Estelle... Simone do Rocio Senger de Souza (UEPG), José Carlos Maldonado (ICMC- USP) e Sandra C.P.F. Fabbri (UFSCar) xiv

15 Mutant Operators for Testing Concurrent Java Programs..... Marcio Delamaro (UEM), Mauro Pezzè (Università di Milano), Auri M. R. Vincenzi e José Carlos Maldonado (ICMC-USP) 272 TECNOLOGIAS DE SOFTWARE Intercessão em Tempo de Implantação - uma Abordagem Reflexiva para a Plataforma J2EE... Cristina V. P. B. de Souza e Carlos Alberto Maziero (PUC-PR) Geradores de Artefatos: Implementação e Instanciação de Frameworks... Luiz Paulo Alves Franca (Programare Informática) e Arndt von Staa (PUC- Rio) Statecharts Estocásticos e Queuing Statecharts: Novas Abordagens para Avaliação de Desempenho Baseadas em Especificação Statecharts... Carlos Francês (UNAMA), Marcos José Santana (ICMC-USP), Nandamudi L. Vijaykumar (INPE), Solon Venâncio de Carvalho (INPE), Regina Helena C. Santana (ICMC-USP) FERRAMENTAS Estendendo a Estação TABA para a criação de Ambientes de Desenvolvimento de Software Orientados a Organização... Karina Villela (COPPE-UFRJ; FBC-UFBA), Gleison Santos (COPPE- UFRJ), Cátia Gallota (COPPE-UFRJ; IPM), Rodrigo Miranda (COPPE- UFRJ; R2 Informática), Roberta Negrão (COPPE-UFRJ; R2 Informática), Luciana Farias (COPPE-UFRJ), Fabio Zlot (COPPE-UFRJ), Monalessa Barcelos (COPPE-UFRJ), Lilian Schneider (COPPE-UFRJ), Sômulo Mafra (COPPE-UFRJ), Beatriz G. Salvador (FBC-UFBA), Káthia Oliveira (UCB), Guilherme H. Travassos (COPPE-UFRJ), Ana Regina Rocha (COPPE- UFRJ) ATHENAS: Um Sistema Gerenciador de Regras de Negócio... Geraldo Zimbrão da Silva (IM-UFRJ), Victor Teixeira de Almeida (COPPE- UFRJ), Jano Moreira de Souza (COPPE-UFRJ), Alberto Sulaiman (COPPE- UFRJ), Francisco Gonçalves Pereira Neto (DabM-Marinha) Avaliação de Processos de Software na Estação Taba... Augusto Gomes, Sômulo Mafra, Kathia Oliveira, Ana Regina Rocha (COPPE-UFRJ) BDDmeter Uma Ferramenta para Visualização Dinâmica de BDDs... Sérgio Queiroz de Medeiros e David Déharbe (UFRN) xv

16 edoc: a documentation tool for UML based models..... Sabrina Barbirato Lobo, Rodrigo Fernandes de Oliveira e Vinícius Manhães Teles (DCC-UFRJ) Ferramenta CASE para Gerenciamento de Projetos e Métricas de Software... Fabiane Barreto Vavassori (UNIVALI; UFSC), Everton Wilson de Souza e Julio César Fiamoncini (UFSC) Ferramenta MVCASE Estágio Atual: Especificação, Projeto e Construção de Componentes... Antonio Francisco do Prado e Daniel Lucrédio (UFSCar) JATS: A Java Transformation System... Fernando Castor, Kellen Oliveira, Adeline Souza, Gustavo Santos e Paulo Borba (UFPE) LockED: Uma Ferramenta para o Controle de Alterações no Desenvolvimento Distribuído de Artefatos de Software... Hugo Vidal Teixeira, Leonardo Gresta Paulino Murta e Claudia Maria Lima Werner (COPPE-UFRJ) MGASet Uma Ferramenta para Apoiar o Teste e Validação de Especificações Baseadas em Máquinas de Estado Finito... Marco Arthur Pereira Candolo, Adenilso da Silva Simão e José Carlos Maldonado (ICMC-USP) MOR: Uma Ferramenta para o Mapeamento Objeto-Relacional em Java... Leonardo Gresta Paulino Murta, Gustavo Olanda Veronese e Claudia Maria Lima Werner (COPPE-UFRJ) Oráculo: Um Sistema de Críticas para UML... Alexandre Ribeiro Dantas, Alexandre Luis Correa e Claudia Maria Lima Werner (COPPE-UFRJ) PERF Um Ambiente de Desenvolvimento Voltado para Testes Temporais de Software... João Alexandre Góes e Douglas P.B. Renaux (LIT - CEFET-PR) PlanEngine: Ferramenta para Gerenciamento Automatizado de Projetos de Software... Ana Cristina Rouiller (Univ. Federal de Lavras), Luiz Thomaz do Nascimento (Devex Tecnologia), Silvio R. Lemos Meira (UFPE) ProjectSpace: Uma Ferramenta para Gerenciamento e Monitoração de Projeto de Software... Ana Cristina Rouiller, Silvio R. Lemos Meira, Sandro Oliveira, Alexandre Vasconcelos (UFPE), Gilmar de Souza, Wellington Silva, Paulo G. F. Amado (CESAR-PE) xvi

17 Um Suporte ao Controle de Versões na Web... Marinalva Dias Soares e Renata P. de Mattos Fontes (ICMC-USP) Uma Ferramenta de Apoio ao Desenvolvimento de Software Baseado em Componentes... Moisés Pfaffenseller, Matheus Pfaffenseller e Eduardo Kroth (Universidade de Sta. Cruz do Sul) Uma Ferramenta para Geração de Interfaces de Sistemas de Informação em Ambiente Web... Rafael Jordan Petermann, Fernando Bellin e Eduardo Kroth (Universidade de Sta. Cruz do Sul) xvii

18 xviii