Ver registro no DEDALUS
Exportar registro bibliográfico

Verificação de requisitos de sistemas utilizando redes de Petri (2002)

  • Authors:
  • USP affiliated authors: SANTOS, ESTON ALMANÇA DOS - EP
  • USP Schools: EP
  • Sigla do Departamento: PMR
  • Subjects: REDES DE PETRI; UML
  • Language: Português
  • Abstract: A crescente demanda para a evolução do software, em função da disponibilidade de hardware mais avançado, gerou a necessidade da criação de técnicas e metodologias para suportarem esta investida. Desde então surgiram várias técnicas, da Análise Estruturada nos anos 70 às metodologias Orientadas a Objetos nos anos 90. Para a Engenharia de Software tornou-se extremamente importante a fusão destas técnicas, primeiro pelo ganho das metodologias resultantes e segundo pela introdução da padronização dos modelos destes sistemas. Como resultado das fusões de diversos métodos surgiu o Processo Unificado de Desenvolvimento de Software, que utiliza a UML como sendo uma linguagem de modelagem para especificação, construção e documentação de seus modelos. Essa linguagem permitiu que a tarefa de análise e eliciação de requisitos se tornasse mais disciplinada, além de uma aproximação maior com o usuário, que é quem melhor entende do processo de negócio do sistema em desenvolvimento. Em função da informalidade desta fase, tornou-se mais difícil o processo de validação dos requisitos do sistema, uma vez que erros de modelagem nas fases preliminares identificados mais adiante têm um custo muito elevado, proporcionalmente ao tamanho e à complexidade do sistema. Esta dificuldade se agrava ainda mais quando consideramos os Sistemas de Informação para a Automação, que demandam uma integração vertical entre os processos gerenciais e as atividades de chão de fábrica. Com o objetivo detornar possível a minimização do número de erros na fase de requisitos, neste trabalho será apresentada uma proposta que transforma os requisitos em especificação formal. Este processo é apresentado como sendo um refinamento da descrição disciplinada dos Use Cases, utilizando Redes de Petri como linguagem formal e ferramenta de validação
  • Imprenta:
  • Data da defesa: 16.12.2002

  • Exemplares físicos disponíveis nas Bibliotecas da USP
    BibliotecaCód. de barrasNúm. de chamada
    EPMN31600009588FD-3292
    How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SANTOS, Eston Almança dos; SILVA, José Reinaldo. Verificação de requisitos de sistemas utilizando redes de Petri. 2002.Universidade de São Paulo, São Paulo, 2002.
    • APA

      Santos, E. A. dos, & Silva, J. R. (2002). Verificação de requisitos de sistemas utilizando redes de Petri. Universidade de São Paulo, São Paulo.
    • NLM

      Santos EA dos, Silva JR. Verificação de requisitos de sistemas utilizando redes de Petri. 2002 ;
    • Vancouver

      Santos EA dos, Silva JR. Verificação de requisitos de sistemas utilizando redes de Petri. 2002 ;

    Últimas obras dos mesmos autores vinculados com a USP cadastradas na BDPI: