Revisão de modelos formais de sistemas de estados finitos (2007)
- Authors:
- Autor USP: SOUSA, THIAGO CARVALHO DE - IME
- Unidade: IME
- Sigla do Departamento: MAC
- Subjects: ENGENHARIA DE PROGRAMAS; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS
- Agências de fomento:
- 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:
- Data da defesa: 26.03.2007
-
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: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/. Acesso em: 12 jun. 2024. -
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 http://www.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 2024 jun. 12 ] Available from: http://www.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 2024 jun. 12 ] Available from: http://www.teses.usp.br/teses/disponiveis/45/45134/tde-06032014-080953/
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas