Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
AUTOR(ES)
Felipe Barp Neuwald
DATA DE PUBLICAÇÃO
2005
RESUMO
A avaliação de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de três maneiras: com testes de desempenho, simulações ou utilizando métodos analíticos como redes de Autômatos estocásticos e redes de filas de espera. Os testes de desempenho são eficientes e, porem podem ser aplicados apenas nas fases finais do desenvolvimento de software, quando o produto esta praticamente pronto, as simulações podem ser realizadas nas etapas iniciais do processo de desenvolvimento de software porém, geralmente, são custosas, pois dependem da criação de um simulador. Os métodos analíticos podem ser aplicados nas fases iniciais do desenvolvimento, mas exigem a criação de um modelo de avaliação de desempenho. No desenvolvimento de software orientados a objetos já se constrói um modelo, o qual possui informações detalhadas sobre o sistema. Estas informações podem ser utilizadas para gerar um modelo de avaliação de desempenho que represente o software já que muitas das informações contidas no modelo do software são comuns ao modelo de avaliação de desempenho. Utilizando esta idéia foram criados alguns métodos de conversão de UML para formalismos de avaliação de desempenho como redes de filas de espera. Porem, ainda inexiste métodos ou técnicas que convertem UML para formalismos como SAN, que é mais abrangente que, por exemplo, redes de espera. Este trabalho demonstra uma técnica de conversão de UML para SAN, onde explora-se a representação da arquitetura lógica de software orientados a objetos
ASSUNTO(S)
redes de autÔmatos estocÁsticos engenharia de software informÁtica uml (informatica) ciencia da computacao software - avaliaÇÃo orientaÇÃo a objetos
ACESSO AO ARTIGO
http://tede.pucrs.br/tde_busca/arquivo.php?codArquivo=1681Documentos Relacionados
- Um método de refinamento para desenvolvimento de software embarcado: uma abordagem baseada em UML-RT e especificações formais.
- Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
- Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticos
- Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
- Automatizando a obtenção da complexidade baseada em linguagem regular de autômatos celulares elementares