Especificação de Requisitos em PIT-RSL Captura de Modelos de Requisitos com o ProjectIT-Studio Seminário “Sistemas e Tecnologias de Informação” Instituto Politécnico de Viana do Castelo, Escola Superior de Tecnologia e Gestão David Ferreira

Agenda A iniciativa ProjectIT ProjectIT-Studio ProjectIT-Requirements ProjectIT-RSL ProjectIT-Studio/Requirements 6 Março 2008 GSI/INESC-ID

ProjectIT (1/3) Análise, integração e suporte das boas práticas Programa de investigação do Grupo de Sistemas de Informação (GSI) do INESC-ID Análise, integração e suporte das boas práticas na gestão e implementação de projectos de TI A motivação: “Como melhorar a qualidade e produtividade dos projectos de TI?” Tecnologia: Desenvolvido com a .NET Framework 6 Março 2008 GSI/INESC-ID

ProjectIT (2/3) Suite de desenvolvimento de software: Gestão de Projectos Cobertura de todo o ciclo-de-vida: Engenharia de Requisitos Análise e Concepção Geração Automática de Código ProjectIT-Requirements: Especificação interactiva de sistemas LN + rigor = qualidade, reutilização e rastreio Visão → “ferramenta para escrever docs de requisitos” 6 Março 2008 GSI/INESC-ID

ProjectIT (3/3) 6 Março 2008 GSI/INESC-ID

ProjectIT-Studio A ferramenta CASE do ProjectIT Concebida para aumentar a produtividade Componentes principais: ProjectIT-Studio/Requirements Especificação de Requisitos (RE) ProjectIT-Studio/MDD Desenvolvimento Orientado por Modelos (MDD) 6 Março 2008 GSI/INESC-ID

ProjectIT-Requirements Evidências: A detecção antecipada de problemas de SW → reduzir custos O processo de desenv. de SW inicia-se com o levantamento de requisitos Solução proposta: Linguagem natural controlada baseada em padrões linguísticos Ferramenta IDE/CASE de suporte para validação das especificações Engenharia de Requisitos: Especificar o comportamento do sistema → crucial para o sucesso Objectivo: Minimizar as características indesejadas da LN Inadequação, inconsistência, incompletude, e ambiguidade 6 Março 2008 GSI/INESC-ID

Linguagem Requisitos: descritos com uma linguagem de especificação Deve reflectir as necessidades reais dos stakeholders do sistema Deve facilitar a comunicação entre os participantes do processo O maior desafio a superar ↔ o distanciamento conceptual Aproximações: Linguagens Formais: conceitos matemáticos e lógicos → notação formal Linguagens Não-Formais: variantes de LN e modelação visual Solução encontrada: Combinar LN com rigor formal → linguagem natural controlada Subconjunto de termos e de construções sintácticas Contextos semânticos restritos (domínios) → suporte computacional 6 Março 2008 GSI/INESC-ID

ProjectIT-RSL (1/2) Meta-modelo: A estrutura declarativa: Análise de documentos de requisitos: Estrutura e formato Foco em sistemas interactivos Identificação de padrões linguísticos A estrutura declarativa: Descreve o que o sistema deve fazer Perspectiva operacional Estrutura: O agente realiza uma operação que modifica a entidade Enriquecimento com condições Type Property Entity Primitive Type Actor Action Activity Operation relates with specializes performs operation 6 Março 2008 GSI/INESC-ID

ProjectIT-RSL (2/2) Regras de organização: Pacote Documento Sistema Instância (develop-by-reuse) Template (develop-for-reuse) Sistema Secção Introdução Comentário Entidades de Negócio Requisitos Funcionais Requisitos Não Funcionais Requisito 6 Março 2008 GSI/INESC-ID

ProjectIT-Studio/Requirements (1/2) 6 Março 2008 GSI/INESC-ID

ProjectIT-Studio/Requirements (2/2) 6 Março 2008 GSI/INESC-ID

Conclusões (1/2) Linguagem suportada por um meta-modelo: Meta-Modelo → análise dos padrões linguísticos mais usuais Facilidade de aprendizagem → stakeholders não técnicos Regras Template Substituição (TS): Suporte computacional → vocabulário e construções sintácticas restritas Específicas de domínio (DSL) → evolução incremental + diferentes estilos Técnicas de parsing e extracção de conhecimento: Mecanismos flexíveis e robustos → validação on-the-fly Mecanismo de extensão e motor de inferência 6 Março 2008 GSI/INESC-ID

Conclusões (2/2) Ferramenta IDE/CASE: Ênfase na reutilização: Feedback visual multi-perspectiva → evitar erros de especificação Promover as boas práticas de redacção de docs de requisitos Ênfase na reutilização: Templates arquitecturais e aplicacionais Integração com ferramentas MDD: Modelação e geração automática de código Trabalho Futuro: Deduzir as especificações de requisitos com base nos objectivos de negócio Requisitos executáveis → prototipagem on-the-fly 6 Março 2008 GSI/INESC-ID

Obrigado pela vossa atenção! Questões Obrigado pela vossa atenção! Contactos: Prof. Alberto Silva: alberto.silva@acm.org David Ferreira: david.ferreira@inesc-id.pt João Saraiva: joao.saraiva@inesc-id.pt 6 Março 2008 GSI/INESC-ID GSI/INESC-ID 15