Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (2017)
- Authors:
- Autor USP: SALMON, ARIANNA ZOILA OLIVERA - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Subjects: ANÁLISE DE REQUISITOS; REDES DE PETRI; UML
- Language: Português
- Abstract: A fase inicial de projeto de sistemas, baseada na elicitação, modelagem e análise dos requisitos é considerada a mais complexa e a mais estratégica para obtenção de bons resultados. Por conseguinte, erros precisam ser detectados durante esta fase inicial, antes de começar a implementação, evitando assim o desperdício de tempo e recursos. Este trabalho propõe um método formal de modelagem, análise e verificação de requisitos, partindo de uma representação semi-formal de requisitos em UML, e utilizando o formalismo das Redes de Petri para proceder à modelagem, análise e verificação. Propriedades das redes de Petri, tais como invariantes, são usadas para analisar os requisitos, permitindo uma validação antecipada dos requisitos no processo de design. O objetivo deste trabalho é estender a aplicação das redes de Petri como representação formal para a modelagem e análise de requisitos, endereçando assim a fase anterior às especificações. Pressupõe-se a existência de uma disciplina de projeto baseada em modelos (model driven) que abrange a fase inicial do projeto e se propaga para a modelagem e verificação de soluções. Assim, a abordagem proposta nesta tese se encaixa plenamente em um processo orientado a modelos que use a mesma linguagem: as redes de Petri.
- Imprenta:
- Data da defesa: 18.04.2017
-
ABNT
SALMON, Arianna Zoila Olivera. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/. Acesso em: 24 abr. 2024. -
APA
Salmon, A. Z. O. (2017). Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/ -
NLM
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/ -
Vancouver
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 abr. 24 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas