{"id":2723,"date":"2017-10-17T11:58:30","date_gmt":"2017-10-17T11:58:30","guid":{"rendered":"http:\/\/biblus.accasoftware.com\/ptb\/?p=2723"},"modified":"2024-10-11T15:51:43","modified_gmt":"2024-10-11T13:51:43","slug":"bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados","status":"publish","type":"post","link":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/","title":{"rendered":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados"},"content":{"rendered":"<p class=\"sommario\">BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model)<\/p>\n<p><!--more--><\/p>\n<p>O desenvolvimento de processos de trabalho colaborativos e partilhados \u00e9 a ess\u00eancia da inova\u00e7\u00e3o introduzida pela <strong>abordagem BIM<\/strong> no setor da constru\u00e7\u00e3o.<\/p>\n<p>O BIM n\u00e3o \u00e9 apenas modelagem tridimensional. Isso \u00e9, na verdade, a possibilidade de gest\u00e3o integrada de todas as informa\u00e7\u00f5es geom\u00e9tricas e alfanum\u00e9ricas de um edif\u00edcio ao longo do inteiro ciclo de vida do mesmo: a partir das fases de projeto e desenho \u00e0quelas de uso e manuten\u00e7\u00e3o, at\u00e9 as de reconvers\u00e3o e desmantelamento.<\/p>\n<p>Tudo isto \u00e9 poss\u00edvel gra\u00e7as aos objetos param\u00e9tricos 3D capazes de guardar, gerir e transmitir estas informa\u00e7\u00f5es.<\/p>\n<p>Da\u00ed a aten\u00e7\u00e3o que \u00f3rg\u00e3os reguladores, organiza\u00e7\u00f5es profissionais, institui\u00e7\u00f5es de pesquisa e \u00f3rg\u00e3os da administra\u00e7\u00e3o p\u00fablica em v\u00e1rios Pa\u00edses d\u00e3o \u00e0 prepara\u00e7\u00e3o de linhas guias ou projetos-piloto: definir e sugerir novos procedimentos colaborativos entre os atores principais da realiza\u00e7\u00e3o de um novo edif\u00edcio.<\/p>\n<div id=\"attachment_2815\" style=\"width: 698px\" class=\"wp-caption aligncenter\"><img decoding=\"async\" aria-describedby=\"caption-attachment-2815\" class=\"size-full wp-image-2815 lazyload\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Subdivis\u00e3o-\u00e1reas-Common-Data-Environment-2.jpg\" alt=\"Subdivis\u00e3o \u00e1reas Common Data Environment\" width=\"688\" height=\"750\" \/><p id=\"caption-attachment-2815\" class=\"wp-caption-text\"><noscript><img decoding=\"async\" class=\"size-full wp-image-2815 lazyload\" src=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Subdivis\u00e3o-\u00e1reas-Common-Data-Environment-2.jpg\" alt=\"Subdivis\u00e3o \u00e1reas Common Data Environment\" width=\"688\" height=\"750\" srcset=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Subdivis\u00e3o-\u00e1reas-Common-Data-Environment-2.jpg 688w, https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Subdivis\u00e3o-\u00e1reas-Common-Data-Environment-2-275x300.jpg 275w\" sizes=\"(max-width: 688px) 100vw, 688px\" \/><\/noscript> Subdivis\u00e3o \u00e1reas Common Data Environment<\/p><\/div>\n<p>As &#8220;autoriza\u00e7\u00f5es&#8221; assumem o nome de <strong>Gate<\/strong> nas normas PAS 1192-2:2013. Estas \u201cportas\u201d podem ser atravessada apenas no final de um processo de controle, revis\u00e3o e aprova\u00e7\u00e3o.<\/p>\n<p><div id=\"attachment_2816\" style=\"width: 785px\" class=\"wp-caption aligncenter\"><img decoding=\"async\" aria-describedby=\"caption-attachment-2816\" class=\"size-full wp-image-2816 lazyload\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Ambiente-partilha-informa\u00e7\u00f5es-CDE.jpg\" alt=\"Ambiente partilha informa\u00e7\u00f5es [CDE]\" width=\"775\" height=\"982\" \/><p id=\"caption-attachment-2816\" class=\"wp-caption-text\"><noscript><img decoding=\"async\" class=\"size-full wp-image-2816 lazyload\" src=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Ambiente-partilha-informa\u00e7\u00f5es-CDE.jpg\" alt=\"Ambiente partilha informa\u00e7\u00f5es [CDE]\" width=\"775\" height=\"982\" srcset=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Ambiente-partilha-informa\u00e7\u00f5es-CDE.jpg 775w, https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Ambiente-partilha-informa\u00e7\u00f5es-CDE-237x300.jpg 237w, https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/10\/Ambiente-partilha-informa\u00e7\u00f5es-CDE-768x973.jpg 768w\" sizes=\"(max-width: 775px) 100vw, 775px\" \/><\/noscript> Ambiente partilha informa\u00e7\u00f5es [CDE]<\/p><\/div>O procedimento de valida\u00e7\u00e3o das informa\u00e7\u00f5es n\u00e3o se referir\u00e1 apenas \u00e0s etapas finais de um projeto. Isso ir\u00e1 acompanh\u00e1-las ao longo do desenvolvimento, representando um dos aspetos centrais da metodologia BIM.<\/p>\n<h2 id=\"quais-sao-as-caracteristicas-de-um-procedimento-de-validacao-no-contexto-bim-e-quais-sao-as-etapas\">Quais s\u00e3o as caracter\u00edsticas de um procedimento de valida\u00e7\u00e3o no contexto BIM? E quais s\u00e3o as etapas?<\/h2>\n<p>O desenvolvimento da metodologia e das tecnologias BIM, conjuntamente \u00e0 evolu\u00e7\u00e3o de formatos de dados neutros e interoper\u00e1veis, favoreceram a difus\u00e3o do interesse numa atividade conhecida como <strong>Model Checking<\/strong>, express\u00e3o frequentemente utilizada (erroneamente) para indicar a <strong>Clash Detection<\/strong> (verifica\u00e7\u00e3o de interfer\u00eancia), que \u00e9 um dos aspetos dela.<\/p>\n<h2 id=\"model-checking-o-que-e\">Model Checking, o que \u00e9<\/h2>\n<p>Em geral podemos dizer que a valida\u00e7\u00e3o de um modelo acontece na atividade de verifica\u00e7\u00e3o dos requisitos e das funcionalidades, a qual \u00e9 executada de forma concetualmente semelhante ao que \u00e9 normalmente pedido numa abordagem de projeto tradicional.<\/p>\n<p>Operacionalmente, isso implica a verifica\u00e7\u00e3o da conformidade aos requisitos de projeto e de normas (<strong>Code Checking<\/strong>), bem como a verifica\u00e7\u00e3o do regular desenho do que tinha sido planejado (<strong>Clash Detection<\/strong>).<\/p>\n<p>No contexto BIM tudo isso ser\u00e1 acompanhado por uma &#8220;verifica\u00e7\u00e3o formal&#8221; das informa\u00e7\u00f5es dos objetos param\u00e9tricos que constituem os modelos virtuais.<\/p>\n<p>Os formatos de dados interoper\u00e1veis, dos quais o mais famoso e difundido \u00e9 o formato IFC, permitem hoje superar velhos problemas t\u00edpicos do interc\u00e2mbio de dados, evitando problemas de interpreta\u00e7\u00f5es e at\u00e9 a impossibilidade de aquisi\u00e7\u00e3o.<\/p>\n<p>O controle da integridade dos dados, em vez, dever\u00e1 ser feito antes de executar as an\u00e1lises espec\u00edficas: por exemplo, uma an\u00e1lise energ\u00e9tica necessitar\u00e1 que todas as estratigrafias dos componentes opacos de um edif\u00edcio tenham sido implementadas e que os respetivos &#8220;atributos&#8221; tenham sido devidamente valorizados.<\/p>\n<p>Uma \u201cverifica\u00e7\u00e3o formal\u201d poderia ser necess\u00e1ria tamb\u00e9m em rela\u00e7\u00e3o \u00e0 exatid\u00e3o da modelagem: um muro de fechamento de um edif\u00edcio que tenha uma altura maior do que o espa\u00e7o entre os respetivos andares poderia ser um problema de desenho, capaz de gerar consequentemente um errado or\u00e7amento caso o modelo fosse integrado, sem corre\u00e7\u00f5es, em procedimentos destinados a esta an\u00e1lise.<\/p>\n<p>Al\u00e9m disso, outra verifica\u00e7\u00e3o formal importante para o desenvolvimento do desenho no contexto BIM \u00e9 a compara\u00e7\u00e3o entre o <strong><a href=\"https:\/\/biblus.accasoftware.com\/ptb\/uma-importante-evolucao-para-o-bim-o-lod-como-level-of-development\/\" target=\"_blank\" rel=\"noopener\">LOD (Level of Development)<\/a><\/strong>, requerido pelos documentos de contrato numa determinada fase de projeto, e a tipologia de informa\u00e7\u00f5es conte\u00fadas no <a href=\"https:\/\/biblus.accasoftware.com\/ptb\/do-bim-ao-bem-building-energy-model-o-modelo-energetico-do-sistema-edificio-instalacao\/\" target=\"_blank\" rel=\"noopener\"><em>BIM Model<\/em><\/a>.<\/p>\n<p><a href=\"https:\/\/www.accasoftware.com\/ptb\/programa-de-arquitetura\"><strong>Descobre mais nos software para o desenho arquitet\u00f4nico. Baixa e testa agora Edificius<\/strong><\/a><\/p>\n","protected":false},"excerpt":{"rendered":"<p>BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model)<\/p>\n","protected":false},"author":15,"featured_media":2724,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_data_scadenza_evento":"","_evento_nome":"","_evento_data":"","_evento_luogo":"","_evento_cta":"","keyword_en":"","keyword_es":"","keyword_fr":"","keyword_de":"","keyword_ptb":"","_note_content":"","footnotes":""},"categories":[36],"tags":[41,77],"class_list":["post-2723","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-bim-construcao","tag-edificius","tag-newsletter-31"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v28.8 (Yoast SEO v28.8) - https:\/\/yoast.com\/product\/yoast-seo-premium-wordpress\/ -->\n<title>BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados - BibLus<\/title>\n<meta name=\"description\" content=\"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).\" \/>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/\" \/>\n<meta property=\"og:locale\" content=\"pt_BR\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados\" \/>\n<meta property=\"og:description\" content=\"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).\" \/>\n<meta property=\"og:url\" content=\"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/\" \/>\n<meta property=\"og:site_name\" content=\"BibLus\" \/>\n<meta property=\"article:published_time\" content=\"2017-10-17T11:58:30+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-10-11T13:51:43+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"833\" \/>\n\t<meta property=\"og:image:height\" content=\"375\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"Reda\u00e7\u00e3o\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Escrito por\" \/>\n\t<meta name=\"twitter:data1\" content=\"Reda\u00e7\u00e3o\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. tempo de leitura\" \/>\n\t<meta name=\"twitter:data2\" content=\"4 minutos\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\\\/\\\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#article\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/\"},\"author\":{\"name\":\"Reda\u00e7\u00e3o\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/#\\\/schema\\\/person\\\/7b6c4ee57dbacbe3433a5806757e5808\"},\"headline\":\"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados\",\"datePublished\":\"2017-10-17T11:58:30+00:00\",\"dateModified\":\"2024-10-11T13:51:43+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/\"},\"wordCount\":670,\"commentCount\":0,\"image\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2017\\\/09\\\/Model-checking_Header.jpg\",\"keywords\":[\"Edificius\",\"Newsletter 31\"],\"articleSection\":[\"BIM na constru\u00e7\u00e3o\"],\"inLanguage\":\"pt-BR\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/\",\"url\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/\",\"name\":\"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados - BibLus\",\"isPartOf\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#primaryimage\"},\"image\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#primaryimage\"},\"thumbnailUrl\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2017\\\/09\\\/Model-checking_Header.jpg\",\"datePublished\":\"2017-10-17T11:58:30+00:00\",\"dateModified\":\"2024-10-11T13:51:43+00:00\",\"author\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/#\\\/schema\\\/person\\\/7b6c4ee57dbacbe3433a5806757e5808\"},\"description\":\"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).\",\"breadcrumb\":{\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#breadcrumb\"},\"inLanguage\":\"pt-BR\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"pt-BR\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#primaryimage\",\"url\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2017\\\/09\\\/Model-checking_Header.jpg\",\"contentUrl\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/wp-content\\\/uploads\\\/sites\\\/5\\\/2017\\\/09\\\/Model-checking_Header.jpg\",\"width\":833,\"height\":375,\"caption\":\"BIM e Model Checking_Edificius\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\\\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/#website\",\"url\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/\",\"name\":\"BibLus\",\"description\":\"Blog sobre arquitetura, engenharia e constru\u00e7\u00e3o\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"pt-BR\"},{\"@type\":\"Person\",\"@id\":\"https:\\\/\\\/biblus.accasoftware.com\\\/ptb\\\/#\\\/schema\\\/person\\\/7b6c4ee57dbacbe3433a5806757e5808\",\"name\":\"Reda\u00e7\u00e3o\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados - BibLus","description":"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/","og_locale":"pt_BR","og_type":"article","og_title":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados","og_description":"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).","og_url":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/","og_site_name":"BibLus","article_published_time":"2017-10-17T11:58:30+00:00","article_modified_time":"2024-10-11T13:51:43+00:00","og_image":[{"width":833,"height":375,"url":"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg","type":"image\/jpeg"}],"author":"Reda\u00e7\u00e3o","twitter_card":"summary_large_image","twitter_misc":{"Escrito por":"Reda\u00e7\u00e3o","Est. tempo de leitura":"4 minutos"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#article","isPartOf":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/"},"author":{"name":"Reda\u00e7\u00e3o","@id":"https:\/\/biblus.accasoftware.com\/ptb\/#\/schema\/person\/7b6c4ee57dbacbe3433a5806757e5808"},"headline":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados","datePublished":"2017-10-17T11:58:30+00:00","dateModified":"2024-10-11T13:51:43+00:00","mainEntityOfPage":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/"},"wordCount":670,"commentCount":0,"image":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#primaryimage"},"thumbnailUrl":"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg","keywords":["Edificius","Newsletter 31"],"articleSection":["BIM na constru\u00e7\u00e3o"],"inLanguage":"pt-BR","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/","url":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/","name":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados - BibLus","isPartOf":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/#website"},"primaryImageOfPage":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#primaryimage"},"image":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#primaryimage"},"thumbnailUrl":"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg","datePublished":"2017-10-17T11:58:30+00:00","dateModified":"2024-10-11T13:51:43+00:00","author":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/#\/schema\/person\/7b6c4ee57dbacbe3433a5806757e5808"},"description":"BIM e Model Checking aplicado ao modelo disciplinar individual e ao modelo integrado (Merged Model).","breadcrumb":{"@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#breadcrumb"},"inLanguage":"pt-BR","potentialAction":[{"@type":"ReadAction","target":["https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/"]}]},{"@type":"ImageObject","inLanguage":"pt-BR","@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#primaryimage","url":"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg","contentUrl":"https:\/\/biblus.accasoftware.com\/ptb\/wp-content\/uploads\/sites\/5\/2017\/09\/Model-checking_Header.jpg","width":833,"height":375,"caption":"BIM e Model Checking_Edificius"},{"@type":"BreadcrumbList","@id":"https:\/\/biblus.accasoftware.com\/ptb\/bim-e-model-checking-o-que-e-e-porque-sao-precisos-os-processos-de-validacao-de-dados\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/biblus.accasoftware.com\/ptb\/"},{"@type":"ListItem","position":2,"name":"BIM e Model Checking: o que \u00e9 e porqu\u00ea s\u00e3o precisos os processos de valida\u00e7\u00e3o de dados"}]},{"@type":"WebSite","@id":"https:\/\/biblus.accasoftware.com\/ptb\/#website","url":"https:\/\/biblus.accasoftware.com\/ptb\/","name":"BibLus","description":"Blog sobre arquitetura, engenharia e constru\u00e7\u00e3o","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/biblus.accasoftware.com\/ptb\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"pt-BR"},{"@type":"Person","@id":"https:\/\/biblus.accasoftware.com\/ptb\/#\/schema\/person\/7b6c4ee57dbacbe3433a5806757e5808","name":"Reda\u00e7\u00e3o"}]}},"_links":{"self":[{"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/posts\/2723","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/users\/15"}],"replies":[{"embeddable":true,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/comments?post=2723"}],"version-history":[{"count":5,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/posts\/2723\/revisions"}],"predecessor-version":[{"id":32567,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/posts\/2723\/revisions\/32567"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/media\/2724"}],"wp:attachment":[{"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/media?parent=2723"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/categories?post=2723"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/biblus.accasoftware.com\/ptb\/wp-json\/wp\/v2\/tags?post=2723"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}