Return to search

Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML

Made available in DSpace on 2013-08-07T18:43:26Z (GMT). No. of bitstreams: 1
000406275-Texto+Completo-0.pdf: 5088741 bytes, checksum: 77356f5ee18c1f01b23fcf0d1843be33 (MD5)
Previous issue date: 2008 / Performance evaluation of an object oriented software nowadays can be done, basically, by three different kinds of methods: Stress Testing, Simulations or Analytic Methods, like Stochastic Automata Networks or Queuing Networks. Stress Testing is an efficient method, but could only be performed on final phases of a software development process when the final product is almost finished. Simulations can be performed in initial phases of a software development process, but usually at a high cost, because it depends on a creation of a simulator. The Analytic Methods could be performed at the earlier phases of the software development process too, but they require a creation of a performance evaluation model. ln the object oriented software development a model is created, which contains detailed information about the system. This information could be used to generate a performance evaluation model, since many of the information containing on each other are common. Following that idea researches were made generating methods for conversion of UML diagram into performance evaluation methods, for example, to Queuing Network. However, does not exist a method or technique that converts UML to formalisms like SAN, which has a higher representative power then Queuing Networks. This work will present a technique for converting UML diagrams into Stochastic Automata Networks focusing on the representation of the logical architecture of object oriented softwares. / 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.

Identiferoai:union.ndltd.org:IBICT/urn:repox.ist.utl.pt:RI_PUC_RS:oai:meriva.pucrs.br:10923/1653
Date January 2008
CreatorsNeuwald, Felipe Barp
ContributorsFernandes, Paulo Henrique Lemelle
PublisherPontifícia Universidade Católica do Rio Grande do Sul, Porto Alegre
Source SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Sourcereponame:Repositório Institucional da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS
Rightsinfo:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds