{"id":{"repo_id":"brazil-ufpe","oai_identifier":"oai:repositorio.ufpe.br:123456789/17242"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-ufpe/oai:repositorio.ufpe.br:123456789/17242","repository":{"repo_id":"brazil-ufpe","name":"Brazil UFPE","base_url":"https://repositorio.ufpe.br/oai/request"},"display":{"title":"Um catálogo de regras para validações estruturais de diagramas EER","abstract":"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).","abstract_html":"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).","abstract_has_math":false,"creators":["NASCIMENTO FILHO, Antonio Josivaldo do"],"institution":"Universidade Federal de Pernambuco","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["FIDALGO, Robson do Nascimento"],"committee_chairs":[],"committee_members":[],"year":2015,"date_issued":"2015-08-27","date_published":"2015-08-27","updated_at":"2026-07-24T01:19:07Z","subjects":["Modelagem Conceitual","Diagramas EER","Validação Estrutural","Conceptual Modeling","EER Diagram","Structural Validation"],"languages":["por"],"rights":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"],"rights_urls":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"],"identifier_entries":[]},"links":{"outbound_url":"https://repositorio.ufpe.br/handle/123456789/17242","outbound_label":"Repository record","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["FIDALGO, Robson do Nascimento"]},{"key":"dc:creator","label":"Author","values":["NASCIMENTO FILHO, Antonio Josivaldo do"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2016-07-01T12:55:12Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2016-07-01T12:55:12Z"]},{"key":"dc:date.issued","label":"Date","values":["2015-08-27"]},{"key":"dc:publisher","label":"Institution","values":["Universidade Federal de Pernambuco"]},{"key":"dc:type","label":"Dc Type","values":["masterThesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Modelagem Conceitual","Diagramas EER","Validação Estrutural","Conceptual Modeling","EER Diagram","Structural Validation"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["por"]},{"key":"dc:rights","label":"Dc Rights","values":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://repositorio.ufpe.br/handle/123456789/17242"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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)."]},{"key":"dc:title","label":"Title","values":["Um catálogo de regras para validações estruturais de diagramas EER"]}]}],"canonical_facts":{"dc:contributor.advisor":["FIDALGO, Robson do Nascimento"],"dc:creator":["NASCIMENTO FILHO, Antonio Josivaldo do"],"dc:date.accessioned":["2016-07-01T12:55:12Z"],"dc:date.available":["2016-07-01T12:55:12Z"],"dc:date.issued":["2015-08-27"],"dc:description.abstract":["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)."],"dc:identifier.uri":["https://repositorio.ufpe.br/handle/123456789/17242"],"dc:language.iso":["por"],"dc:publisher":["Universidade Federal de Pernambuco"],"dc:rights":["openAccess","Attribution-NonCommercial-NoDerivs 3.0 Brazil"],"dc:rights.uri":["http://creativecommons.org/licenses/by-nc-nd/3.0/br/"],"dc:subject":["Modelagem Conceitual","Diagramas EER","Validação Estrutural","Conceptual Modeling","EER Diagram","Structural Validation"],"dc:title":["Um catálogo de regras para validações estruturais de diagramas EER"],"dc:type":["masterThesis"]},"updated_at":"2026-07-24T01:19:07Z"}