Ferramenta de validaçåo de requisitos utilizando Redes de Petri (2003)
- Authors:
- USP affiliated authors: HORIKAWA, RICARDO TAKAO - EP ; SABANAI, RODRIGO AKIRA SANOMIA - EP ; CURDULINO, RAUCER - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Subjects: REDES DE PETRI; UML; MODELAGEM DE DADOS
- Language: Português
- Abstract: A crescente demanda para evolução de 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 à 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 tornassem mais disciplinadas, 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 de tornar possível a minimização do número de erros na fase de eliação de requisitos, neste trabalho será desenvolvida uma ferramenta que transforma os requisitos de especificação formal baseada na dissertação de mestrado de Eston Almança dos Santos defendida no ano de 2002. Este processo é apresentado como sendo umrefinamento da descrição disciplinada dos Use Cases, utilizando Redes de Petri como linguagem formal e ferramenta de verificação. Além disso, serão estudadas três metodologias consagradas de desenvolvimento de software: Rational Unified Process (RUP),Extreme Programming (XP), e Together Soft (FDD) e posteriormente será realizada uma comparação para selecionar a mais adequada para ser aplicado ao projeto.
- Imprenta:
-
ABNT
CURDULINO, Raucer e HORIKAWA, Ricardo Takao e SABANAI, Rodrigo Akira Sanomia. Ferramenta de validaçåo de requisitos utilizando Redes de Petri. 2003. Trabalho de Conclusão de Curso (Graduação) – Escola Politécnica, Universidade de São Paulo, São Paulo, 2003. Disponível em: https://bdta.abcd.usp.br/directbitstream/0d36470a-9f54-4030-bea6-7b1924e5d06d/960Raucer%20Curdulino.pdf. Acesso em: 14 jan. 2026. -
APA
Curdulino, R., Horikawa, R. T., & Sabanai, R. A. S. (2003). Ferramenta de validaçåo de requisitos utilizando Redes de Petri (Trabalho de Conclusão de Curso (Graduação). Escola Politécnica, Universidade de São Paulo, São Paulo. Recuperado de https://bdta.abcd.usp.br/directbitstream/0d36470a-9f54-4030-bea6-7b1924e5d06d/960Raucer%20Curdulino.pdf -
NLM
Curdulino R, Horikawa RT, Sabanai RAS. Ferramenta de validaçåo de requisitos utilizando Redes de Petri [Internet]. 2003 ;[citado 2026 jan. 14 ] Available from: https://bdta.abcd.usp.br/directbitstream/0d36470a-9f54-4030-bea6-7b1924e5d06d/960Raucer%20Curdulino.pdf -
Vancouver
Curdulino R, Horikawa RT, Sabanai RAS. Ferramenta de validaçåo de requisitos utilizando Redes de Petri [Internet]. 2003 ;[citado 2026 jan. 14 ] Available from: https://bdta.abcd.usp.br/directbitstream/0d36470a-9f54-4030-bea6-7b1924e5d06d/960Raucer%20Curdulino.pdf
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
960Raucer Curdulino.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
