Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure

Detalhes bibliográficos
Autor(a) principal: Abreu, Miguel António Mourão de
Data de Publicação: 2017
Tipo de documento: Dissertação
Idioma: eng
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: https://hdl.handle.net/1822/57055
Resumo: Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
id RCAP_715b6b48c97d753327e15d053a570180
oai_identifier_str oai:repositorium.sdum.uminho.pt:1822/57055
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructureEngenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaDissertação de mestrado integrado em Engenharia Eletrónica Industrial e ComputadoresSoftware complexity is an unavoidable problem in the modern era of embedded systems. Working with multiple teams with heterogeneous backgrounds requires the definition of a common ground and considerable synchronization efforts. The differences among developers go beyond their level of expertise and include diverseness in domain specialization, stage of development and adopted standards. In addition to integration issues, there is a constant demand for intelligent software, capable of detecting human errors and automating system design without compromising the integrity and feasibility of the generated system. Providing a formal knowledge description language enables the automation of validation procedures. However, the key challenge consists in incorporating this language in an intelligent development infrastructure, capable of addressing the integration issues, and flexible enough to cope with the growing complexity of embedded systems’ projects. There is not a leading solution for every scenario. Current approaches include the development of ontology-querying execution engines, domain-specific languages, metamodel integration techniques, and frameworks that combine these technologies with existing general-purpose languages. Numerous approaches promote interoperability and preserve the separation of concerns by following a model-driven engineering methodology, creating several abstraction layers to address different development stages. However, some solutions only partially address the presented challenge, and the ones which cover most of it, usually lack some key characteristic, such as extendibility, flexibility, viewpoint integration or simplicity. This dissertation presents a semantically-enriched DSL infrastructure, capable of combining the knowledge of domain experts with implementation artifacts of system developers, to offer the user a complete and intelligent solution for system design. It leverages the formal knowledge description and reasoning power of ontologies to enrich the syntax and semantics of a dynamic DSL, which adapts itself to be synchronized with viewpoint updates and new artifact releases. To this end, the benefits and weaknesses of current approaches were analyzed. The infrastructure was developed and tested in cooperation with a group of students which focuses on the design of an hypervisor kernel framework, thus contributing to a larger common goal. Rigorous design principles and methodologies of ontology and DSL development were established to create and iteratively refine the infrastructure through individual testing and systematic collaboration meetings. The final product of this dissertation was successfully used by the other participating elements to create system metamodels which actively contribute to hypervisor design automation.Atualmente, a complexidade de projetos informáticos é um problema inevitável na área de sistemas embebidos. Trabalhar com várias equipas multidisciplinares requer a identificação de pontos comuns e um esforço considerável de sincronização. As diferenças entre os vários elementos das equipas vão para além do seu nível de competência e incluem diversidade nas áreas de especialização, fases de desenvolvimento e metodologias adotadas. Além dos problemas de integração, há uma procura constante de soluções informáticas inteligentes, capazes de detetar erros humanos e automatizar a conceção do sistema sem comprometer a integridade e viabilidade do sistema gerado. Disponibilizar uma linguagem formal de descrição de conhecimento permite a automatização de técnicas de validação. No entanto, o principal desafio consiste em incorporar esta linguagem numa infraestrutura de desenvolvimento inteligente, capaz de abordar os problemas de integração e suficientemente flexível para lidar com a crescente complexidade dos projetos de sistemas embebidos. Não há uma solução ideal para todas as situações. As abordagens atuais incluem o desenvolvimento de mecanismos de execução de programas com acesso a ontologias, linguagens de domínio específico, técnicas de integração de metamodelos, e métodos que combinam estas tecnologias com linguagens de propósito geral existentes. Várias abordagens promovem a interoperabilidade e preservam a separação de ideias seguindo uma metodologia de engenharia orientada à modelação e criando várias camadas de abstração para abordar diferentes estágios de desenvolvimento. No entanto, algumas soluções apenas abordam parcialmente o desafio apresentado, e as que cobrem a maior parte, geralmente carecem de algumas características-chave, como extensibilidade, flexibilidade, integração de diferentes perspetivas ou simplicidade. Esta dissertação apresenta uma infraestrutura composta por uma linguagem de domínio específico semanticamente enriquecida, capaz de combinar o conhecimento de especialistas da área com artefactos de implementação produzidos por programadores, oferecendo ao usuário uma solução completa e inteligente para a conceção de sistemas. A infraestrutura usufrui da descrição formal do conhecimento e do poder dedutivo das ontologias para enriquecer a sintaxe e a semântica de uma linguagem dinâmica, que se adapta sempre que é necessário lidar com alterações de perspetivas e novas versões de artefactos. Para este fim, analisaram-se as virtudes e fraquezas das abordagens atuais. A infraestrutura foi desenvolvida e testada em cooperação com um grupo de estudantes que se concentra na conceção da estrutura do kernel de um hipervisor, contribuindo assim para um objetivo comum de maior escala. Foram criados princípios e metodologias de desenvolvimento rigorosos de ontologias e linguagens de domínio específico, no sentido de criar e aprimorar iterativamente a infraestrutura, através de testes individuais e reuniões de colaboração sistemáticas. O produto final desta dissertação foi usado com sucesso pelos outros elementos participantes para criar metamodelos de sistemas que contribuem ativamente para a automatização da conceção de um hipervisor.Tavares, AdrianoPinto, SandroUniversidade do MinhoAbreu, Miguel António Mourão de20172017-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/57055eng202027600info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-07-29T01:18:58Zoai:repositorium.sdum.uminho.pt:1822/57055Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T19:00:08.264358Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
title Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
spellingShingle Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
Abreu, Miguel António Mourão de
Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
title_full Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
title_fullStr Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
title_full_unstemmed Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
title_sort Ontology-driven metamodeling towards hypervisor design automation: semantically-enriched DSL infrastructure
author Abreu, Miguel António Mourão de
author_facet Abreu, Miguel António Mourão de
author_role author
dc.contributor.none.fl_str_mv Tavares, Adriano
Pinto, Sandro
Universidade do Minho
dc.contributor.author.fl_str_mv Abreu, Miguel António Mourão de
dc.subject.por.fl_str_mv Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description Dissertação de mestrado integrado em Engenharia Eletrónica Industrial e Computadores
publishDate 2017
dc.date.none.fl_str_mv 2017
2017-01-01T00:00:00Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1822/57055
url https://hdl.handle.net/1822/57055
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv 202027600
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799132395726700544

Registros relacionados