Overture Tool

O Overture Tool é uma IDE de código aberto que utiliza o método VDM para modelagem de sistemas. O principal objetivo da ferramenta é proporcionar uma ferramenta que suporte o uso de modelos precisos e proporcionar um ambiente que permita aos usuários experimentar novas formas de utilizar a modelagem VDM e suas várias extensões. Este aplicativo pode ser integrado ao Eclipse utilizando os mecanismos de plugin presentes nele.

O que é VDM?

Em poucas palavras, o VDM (Vienna Development Method) é um conjunto de técnicas para modelagem de programas e análise de sistemas cujo objetivo é fazer a evolução progressiva para um design detalhado e finalmente a codificação. Este método teve sua origem em 1970 no laboratório da IBM em Viena, Áustria e atualmente sua notação é utilizada em uma grande quantidade de sistemas.

Interface e funções do programa

A interface do programa possui algumas de suas principais ferramentas em forma de botão. Ela conta com a elegância e o tom voltado para o profissional, encontrado com frequência em programas para o desenvolvimento, optando por um formato um pouco mais leve. Para iniciar o uso do editor é necessário abrir o menu “File” e  "New".

Feito isso, o programa inicia um auxiliar (“wizard”) para guiá-lo passo a passo na criação de seu novo projeto. Depois de concluído o guia, a ferramenta apresenta-se dividida em quatro painéis principais. À esquerda você encontra a árvore de arquivos e pacotes do programa e é ali que você adiciona novos objetos, classes, bibliotecas, pacotes, etc.

Logo ao lado desta janela você encontra a parte de editor utilizada para a codificação do sistema. Mais à direita está a saída do código conforme ele é construído. Logo na parte inferior da janela do programa estão as abas relacionadas a exibição de problemas, javadoc e declarações. Na Barra de tarefas do programa estão presentes algumas funções em forma de botão para facilitar a visualização delas, como depurador, busca, executar, entre outras.

Próximo à Barra de tarefas você encontra duas guias, uma cujo nome está disposto conforme a linguagem de programação utilizada e a outra é a “VDM ++”. Alternando para a VDM++ é possível observar como está o desenvolvimento sob o ponto de vista desta metodologia.