Como um aprimoramento ao processo de AIV (Montagem, Integração e Verificação, do inglês, Assembly, Integration and Verification), fundamental e tendencioso a erros, este trabalho apresenta novos método e linguagem de modelagem. Esta linguagem foi criada sobre uma ontologia construída especificamente para essa finalidade e é particularmente aplicável ao caso dos veículos de sondagem espacial. Após a introdução dos problemas intrínsecos de aplicações espaciais, fundamentações teóricas sobre AIV e técnicas de modelagem são apresentadas e examinadas. Então, uma ontologia é construída, seguindo uma abordagem sistemática, e sua evolução para uma linguagem de notação visual é proposta, assim como um método de modelagem. Os resultados dessa proposta são então apresentados. Por fim, o trabalho monta um estudo de caso como exemplo, utilizando o método e a notação propostos na modelagem do processo de AIV de um veículo de sondagem espacial real. Explicações iniciais são dadas na introdução de termos de diferentes áreas.