Publicação
A framework for digital model checking
| Resumo: | Digital 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. |
|---|---|
| Autores principais: | Kamal, Ahmed |
| Assunto: | 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 |
| Ano: | 2020 |
| País: | Portugal |
| Tipo de documento: | dissertação de mestrado |
| Tipo de acesso: | acesso aberto |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | Digital 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. |
|---|