BAMoL Formalização da linguagem e validação sintática de modelos

A BAMoL (Business Application Modeling Language) é uma linguagem de domínio específico utilizada para o desenvolvimento de soluções para a plataforma myMIS, no âmbito dos sistemas de informação para a gestão. Esta linguagem carecia de dois aspetos, nomeadamente a sua formalização e a existência de mecanismos de validação sintática das soluções desenvolvidas. Estes problemas identificados tornam impossível a validação sintática das soluções desenvolvidas utilizando esta linguagem, aumentando assim a probabilidade de existência de erros, podendo fazer com que as mesmas sejam mais ineficientes e podendo até trazer um aumento de custos de manutenção da plataforma. De forma a resolver os problemas enunciados, foi realizada, para o primeiro, uma descrição textual de todos os constituintes da linguagem e criada uma gramática representativa da mesma, em que constam todos os seus elementos e regras. No caso do segundo problema, a sua resolução passou pela criação de uma ferramenta que utiliza a gramática criada e que permite validar sintaticamente e encontrar as falhas das soluções desenvolvidas. Desta forma, passa a ser possível detetar os erros existentes nas soluções, permitindo assim à equipa de desenvolvimento ter maior controlo sobre as mesmas, podendo torná-las mais corretas, na perspetiva das regras da linguagem.

BAMoL (Business Application Modeling Language) is a domain-specific language used to develop solutions for myMIS platform within management information systems. To this language are missing two things, which are its formalization and the existence of mechanisms for syntactic validation of the developed solutions. These problems make it impossible validate the syntax of the developed solutions with this language, thus increasing the likelihood of errors in solutions. Furthermore may cause them to be more inefficient and may even increase the maintenance costs of the platform. In order to solve the problems mentioned, was done for the first, a textual description of all the constituents of language and the creation of a grammar with all language’s elements and rules. For the second problem, its resolution was done by the creation of a tool that uses the created grammar and allows syntactically validate and find the faults of the developed solutions. Thus, it becomes possible to detect errors in existing solutions, thereby allowing the development team to have greater control over them and can make them more accurate, from the perspective of the language's rules.