Tese

Revisão de modelos formais de sistemas de estados finitos (2007)

• Authors:
  • Sousa, Thiago Carvalho de
  • Wassermann, Renata (Orientador)
• Autor USP: SOUSA, THIAGO CARVALHO DE - IME
• Unidade: IME
• Sigla do Departamento: MAC
• DOI: 10.11606/D.45.2007.tde-06032014-080953
• Subjects: ENGENHARIA DE PROGRAMAS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
• Agências de fomento:
  • Financiado pela CAPES
• Language: Português
• Abstract: Neste trabalho apresentamos uma implementação de revisão de crenças baseada em comparação de modelos (estados) em uma ferramenta de verificação automática de sistemas de estados finitos. Dada uma fórmula (na lógica CTL) inconsistente com o modelo do sistema, revisamos esse modelo de tal maneira que essa fórmula temporal se torne verdadeira. Como temos oito operadores temporais (AG, AF, AX, AU, EG, EF, EX e EU), foram criados algoritmos específicos para cada um deles. Como o modelo do sistema deriva do seu código na linhagem SMV, a sua revisão passa obrigatoriamente por mudanças na sua descrição. A nossa implementação contempla três tipos de mudanças: acréscimo de linhas, eliminação de linhas e mudança no estado inicial, sendo que as duas primeiras provocam modificaçòes nas transições entre os estados que compõem o modelo. Alguns testes foram aplicados para comprovar a contribuição da revisão de crenças (revisão de modelos) como ferramenta de auxílio ao usuário durante o processo de modelagem de sistemas.
• Imprenta:
  • Publisher place: São Paulo
  • Date published: 2007
• Data da defesa: 26.03.2007


Informações sobre a disponibilidade de versões do artigo em acesso aberto coletadas automaticamente via oaDOI API (Unpaywall).

Status:

Artigo publicado em periódico de acesso aberto (Gold Open Access)

Versão do Documento:

Versão publicada (Published version)

Acessar versão aberta:

• PDF de acesso aberto

Por se tratar de integração com serviço externo, podem existir diferentes versões do trabalho (como preprints ou postprints), que podem diferir da versão publicada.

---

How to cite

A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

• ABNT

  SOUSA, Thiago Carvalho de. Revisão de modelos formais de sistemas de estados finitos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 15 abr. 2026.

• APA

  Sousa, T. C. de. (2007). Revisão de modelos formais de sistemas de estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

• NLM

  Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2026 abr. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

• Vancouver

  Sousa TC de. Revisão de modelos formais de sistemas de estados finitos [Internet]. 2007 ;[citado 2026 abr. 15 ] Available from: https://teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/

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

• Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências