Utilize este identificador para referenciar este registo: http://hdl.handle.net/10400.22/6235
Título: BAMoL Formalização da linguagem e validação sintática de modelos
Autor: Ferreira, Nuno Filipe Sampaio
Orientador: Sousa, Paulo Alexandre Gandra de
Palavras-chave: Linguagem de domínio específico
Modelo
Validação sintática
Domain-specific language
Model
Syntactic validation
Data de Defesa: 2014
Resumo: 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.
URI: http://hdl.handle.net/10400.22/6235
Designação: Mestrado em Engenharia Informática, Área de Especialização em Arquiteturas, Sistemas e Redes
Aparece nas colecções:ISEP - DM – Engenharia Informática

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
DM_NunoFerreira_2014_MEI.pdf1,84 MBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.