A framework for digital model checking
| Autor(a) principal: | |
|---|---|
| Data de Publicação: | 2020 |
| 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/74772 |
Resumo: | Dissertação de mestrado em European Master in Building Information Modelling |
| id |
RCAP_64625560326b79c9519963540ace081a |
|---|---|
| oai_identifier_str |
oai:repositorium.sdum.uminho.pt:1822/74772 |
| 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 |
A framework for digital model checkingEngenharia e Tecnologia::Engenharia CivilDigital information models (DIM)Digital model checking (DMC)Checking processFrameworkRule checkMetodologiaModelo digital de informação (DIM)Processo de verificaçãoVerificação de modelo digital (DMC)Verificação de regrasDissertação de mestrado em European Master in Building Information ModellingDigital model checking (DMC) is a solution that has the power to become a primary key player for the AEC industry concerns. Despite the research achievements on DMC, there are still gaps to make it practical to solve real-world problems. DMC, as an emerging research discipline, is still an area of development and not yet completely formalized. This means that there is still a need for enhanced system capabilities, updated processes, and adjustments to the current project delivery documents and proper standardization of DMC aspects. The work of this dissertation proposes a diagnostic approach based on using pre-defined principles to analyse digital model checking (DMC) and a formal framework and implementation plan. These principles are the Digital Information model (DIM), Rule-set, and checking platform. To set up a formal framework a modularization approach was used focused on “what things are”, “what is the logic behind extending the pre-existing concepts” and “how it assists the DMC process”. These modules play a fundamental role and they must be captured, tracked, and interconnected during the development of the framework. Throughout the expansion of principles, modules were built on a basis that 1) DIMs are the wholeness of information that should include existing physical systems not only buildings, 2) verification rules are not only sourced from regulatory codes and standards, and there are other sources of rules that should be taken into consideration, 3) the role of involved stakeholders, native system and project phases has not been ignored, 4) evaluate the effectiveness of DIMs to integrate, exchange, identify, and verify its content and 5) highlight on the existent classifications that could aid the DMC process. Moreover, DMC is a dependent activity that has cause and effect on former and subsequent activities. Thus, this dissertation also proposes a DMC implementation plan that could fit within the other project activities.A verificação de modelo digital (DMC) é uma solução que tem o poder de se tornar um ator principal para as preocupações da indústria de AEC. Apesar dos resultados da investigação sobre DMC, ainda existem lacunas para torná-lo prático para resolver problemas do mundo real. DMC, como uma área de investigação emergente, é ainda uma área em desenvolvimento e não completamente formalizada. Isso significa que existe ainda necessidade de aprimorato das capacidades dos sistemas, atualização de processos, ajustes aos atuais documentos de entrega do projeto e padronização adequada dos aspectos de DMC. O trabalho desta dissertação visa propor uma abordagem de diagnóstico baseada no uso de princípios pré-definidos para analisar o processo de verificação de modelo digital (DMC), um framework formal e um plano de implementação. Esses princípios são o modelo digital de informação (DIM), o conjunto de regras e a plataforma de verificação. Para configurar uma metodologia formal, uma abordagem de modularização foi usada com foco em “o que as coisas são”, “qual é a lógica por trás da extensão dos conceitos pré-existentes” e “como isso auxilia o processo DMC”. Esses módulos desempenham um papel fundamental e devem ser capturados, verificados e interconectados durante o desenvolvimento da metodologia. Ao longo da expansão dos princípios, os módulos foram construídos com base em: 1) os DIMs representam a totalidade da informação os quais devem incluir todos sistemas físicos existentes, não apenas os edifícios, 2) as regras de verificação não são apenas originárias de códigos e padrões regulatórios, existindo outras fontes de regras que devem ser levadas em consideração, 3) o papel das partes interessadas envolvidas, sistemas nativos e as fases do projeto não foram ignorados, 4) avaliar a eficácia dos DIMs para integrar, trocar, identificar e verificar seu conteúdo e 5) destacar a existencia de systemas de classificação que poderiam auxiliar no processo de DMC. Além disso, o DMC é uma atividade dependente que tem causa e efeito nas atividades anteriores e subsequentes. Assim, esta dissertação também propoe um plano de implementação do DMC para se enquadrar nas outras atividades do projeto.Granja, José Luís DuarteFigueiredo, BrunoCamarinha, Ricardo de MatosUniversidade do MinhoKamal, Ahmed20202020-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttps://hdl.handle.net/1822/74772eng202529290info: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:RCAAP2024-02-10T01:18:38Zoai:repositorium.sdum.uminho.pt:1822/74772Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T18:43:32.076174Repositó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 |
A framework for digital model checking |
| title |
A framework for digital model checking |
| spellingShingle |
A framework for digital model checking Kamal, Ahmed Engenharia e Tecnologia::Engenharia Civil Digital information models (DIM) Digital model checking (DMC) Checking process Framework Rule check Metodologia Modelo digital de informação (DIM) Processo de verificação Verificação de modelo digital (DMC) Verificação de regras |
| title_short |
A framework for digital model checking |
| title_full |
A framework for digital model checking |
| title_fullStr |
A framework for digital model checking |
| title_full_unstemmed |
A framework for digital model checking |
| title_sort |
A framework for digital model checking |
| author |
Kamal, Ahmed |
| author_facet |
Kamal, Ahmed |
| author_role |
author |
| dc.contributor.none.fl_str_mv |
Granja, José Luís Duarte Figueiredo, Bruno Camarinha, Ricardo de Matos Universidade do Minho |
| dc.contributor.author.fl_str_mv |
Kamal, Ahmed |
| dc.subject.por.fl_str_mv |
Engenharia e Tecnologia::Engenharia Civil Digital information models (DIM) Digital model checking (DMC) Checking process Framework Rule check Metodologia Modelo digital de informação (DIM) Processo de verificação Verificação de modelo digital (DMC) Verificação de regras |
| topic |
Engenharia e Tecnologia::Engenharia Civil Digital information models (DIM) Digital model checking (DMC) Checking process Framework Rule check Metodologia Modelo digital de informação (DIM) Processo de verificação Verificação de modelo digital (DMC) Verificação de regras |
| description |
Dissertação de mestrado em European Master in Building Information Modelling |
| publishDate |
2020 |
| dc.date.none.fl_str_mv |
2020 2020-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/74772 |
| url |
https://hdl.handle.net/1822/74772 |
| dc.language.iso.fl_str_mv |
eng |
| language |
eng |
| dc.relation.none.fl_str_mv |
202529290 |
| 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_ |
1799132182597337088 |