• JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
  • JoomlaWorks Simple Image Rotator
 
  Bookmark and Share
 
 
Tese de Doutorado
DOI
10.11606/T.3.2017.tde-11072017-143010
Documento
Autor
Nome completo
Arianna Zoila Olivera Salmon
E-mail
Unidade da USP
Área do Conhecimento
Data de Defesa
Imprenta
São Paulo, 2017
Orientador
Banca examinadora
Silva, José Reinaldo (Presidente)
Morandin Junior, Orides
Santos Filho, Diolino José dos
Silva, Leandro Dias da
Spina, Edison
Título em português
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.
Palavras-chave em português
Análise de requisitos
Redes de Petri
UML
Resumo em português
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.
Título em inglês
Modeling and analysis of requirements of automated systems using UML and Petri nets.
Palavras-chave em inglês
Formal verification
Petri nets
Requirements modeling
Systems modeling
Resumo em inglês
The first stage of system design, which includes elicitation, modeling, and analysis of requirements is considered at the same time, very complex and very strategic to achieve proper results.Therefore it is important to detect mistakes both, conceptual and in requirements, before implementation begins, avoiding the waste of time and resources. This work proposes a formal method for modeling, analysis and verification of requirements, starting with a semi-formal representation of requirements in UML. Petri net and its properties such as invariants are used to analyze requirements, thereby allowing that requirements can be validated earlier. The main objective of this work is to extend the application of Petri Nets, as a formal representation, to requirements phase, addressing specification building. It is assumed that there is a model driven design approach that encompass the initial (requirements) phase and goes through the modeling and verification of solutions. Therefore the approach proposed in this work fits a model driven general approach which could use the same formal language: Petri Nets.
 
AVISO - A consulta a este documento fica condicionada na aceitação das seguintes condições de uso:
Este trabalho é somente para uso privado de atividades de pesquisa e ensino. Não é autorizada sua reprodução para quaisquer fins lucrativos. Esta reserva de direitos abrange a todos os dados do documento bem como seu conteúdo. Na utilização ou citação de partes do documento é obrigatório mencionar nome da pessoa autora do trabalho.
Data de Publicação
2017-07-12
 
AVISO: O material descrito abaixo refere-se a trabalhos decorrentes desta tese ou dissertação. O conteúdo desses trabalhos é de inteira responsabilidade do autor da tese ou dissertação.
  • FOYO, P. M. G., Salmon, A.O., and SILVA, J. R. Requirement Analysis of Automated Projects Using UML/Petri Nets. In Congresso Brasileiro de Engenharia Mecânica, Natal, 2011. Proceedings of COBEM 2011., 2011. Available from: http://www.ufrn.br/cobem2011natal/programme.php.
  • OLIVEIRA, V. C., et al. Automação e Ciência de Serviços Aplicadas ao Smart Grid. In Congresso Brasileiro de Atuomática, Campina Grande, PB, 2012. Anais do CBA 2012., 2012.
  • Salmon, A.O., et al. Towards a Unified View of Modeling and Design with GHENeSys. In Congresso Brasileiro de Engenharia Mecânica, Natal, 2011. Proceedings of COBEM 2011., 2011. Available from: http://www.ufrn.br/cobem2011natal/programme.php.
  • Salmon, A.O., e SILVA, J. R. Usando Invariantes na Análise de Requisitos. In Congresso Brasileiro de Atuomática, Campina Grande, PB, 2012. Anais do CBA 2012., 2012.
  • SICCHAR, J., et al. Modelo de algoritmo de gerenciamiento de Smart Grid para consumo de energía eléctrica. In Congresso Latino-Americano de Controle Automático - CLCA, Lima, Peru, 2012. Anales del CLCA 2012., 2012.
  • SICCHAR, J., et al. Sistema Inteligente para Análise de Consumo de Energia Elétrica em Smart Grid de Baixa Tensão. In Simpósio Brasileiro de Autumação Inteligente, São João del Rei, 2011. Proceedings do X SBAI., 2011. Dispon?vel em: http://www.sbai2011.ufsj.edu.br/.
  • SILVA, J. R., et al. Introducing Object-orientation in Unified Petri Net Approach. In 20th Int. Congress of Mechanical Engineering, Gramado, 2009. Procc. of 20th Int. Congress of Mechanical Engineering., 2009.
Todos os direitos da tese/dissertação são de seus autores
CeTI-SC/STI
Biblioteca Digital de Teses e Dissertações da USP. Copyright © 2001-2022. Todos os direitos reservados.