Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-01T12:55:12Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao Antonio Nascimento.pdf: 2311695 bytes, checksum: b542c4d4f9b8c4d8e7e4f07b723f9f93 (MD5) / Made available in DSpace on 2016-07-01T12:55:12Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertacao Antonio Nascimento.pdf: 2311695 bytes, checksum: b542c4d4f9b8c4d8e7e4f07b723f9f93 (MD5) Previous issue date: 2015-08-27 / Um diagrama EER para ser válido deve estar em conformidade com as regras sintáticas da sua linguagem de modelagem e não deve possuir construções que se contradizem estruturalmente. Considerando um diagrama EER sintaticamente correto, existem trabalhos que definem validações estruturais para os tipos básicos de relacionamentos (i.e., unários, binários e ternários), mas que não abordam construções avançadas (e.g., relacionamento identificador, herança e atributo discriminador). Neste contexto, tendo como base os trabalhos relacionados, a contribuição original desta dissertação é a definição de um catálogo de regras para validação estrutural de construções avançadas da linguagem de modelagem EER. A sistemática para definição deste catálogo consiste em realizar todas as combinações, sintaticamente válidas, entre os principais construtores da EER e avaliar quais destas têm problemas estruturais. Por fim, são propostas definições matemáticas das regras e a implementação destas em uma ferramenta do tipo Computer-Aided Software Engineering (CASE). / A EER diagram to be valid must be in accordance with the syntactic rules of their modeling language and must not have buildings that structurally contradict. Considering a syntactically correct EER diagram, there are works that define structural validations for the basic types of relationships (i.e., unary, binary and ternary), but do not address advanced buildings (e.g., identifier relationship, inheritance and discriminator attribute). In this context, based on the related works, the original contribution of this work is the definition of Catalog of Rules for Structural Validation of advanced buildings of the EER modeling language. The systematic for definition this catalog consists to realize all combinations, syntactically valid, among the main builders of EER and evaluate which of these are structural problems. Finally, the work proposes mathematical definitions of rules and implementation of these in one Computer-Aided Software Engineering (CASE) tool.