Fluxo de Exceções Intraprocedimentais a partir do Diagrama de Atividades da UML 2.0

Com a evolução do Desenvolvimento Dirigido por Modelos torna-se necessário evoluir as técnicas de extração das informações implícitas no modelo que possam auxiliar no processo de desenvolvimento, validação ou testes. Um desafio para o modelador é a construção de modelos comportamentais complexos que sejam consistentes e confiáveis. Outro desafio é modelar e validar o fluxo de exceções desses modelos. O objetivo deste relatório é apresentar uma abordagem para a obtenção do fluxo de exceções intraprocedimentais de um modelo comportamental. A abordagem proposta transforma o Diagrama de Atividades da UML em um Grafo de Fluxo de Dados. A semântica das ações da UML é utilizada para determinar as definições e usos das variáveis e também identificar os pontos onde as exceções são lançadas. Uma análise de fluxo de dados é executada no grafo resultante para determinar quais são os tipos de exceções que podem ser lançadas. O fluxo de exceções é demonstrado por arestas que ligam os nós que lançam as exceções com os nós que capturam e fazem o seu tratamento.

2010