Soluções que utilizam a abordagem multiagentes para sistemas distribuídos e heterogêneos de grande porte têm como característica a coexistência de agentes e objetos. Assim, para acomodar e combinar objetos e agentes pode-seutilizar extensões de linguagens de modelagem orientadas a objetos a fim de representar as novas abstrações associadas aos agentes, tais como papéis, organizações e ambiente. Porém, se já é difícil analisar e estabelecer a boa formação de diagramas descritos em uma linguagem de modelagem orientada a objetos, mais difícil se torna esta tarefa quando a linguagem considerada é uma extensão da primeira, a partir da adição de abstrações que descrevem as características de agência. Esta tese apresenta um método para estruturação e análise de modelos de sistemas multiagentes (SMAs) baseado em ontologias. O método propõe a análise de modelos de projeto de SMAs usando uma abordagem bifásica, onde cada fase analisa diferentes propriedades de projeto de SMA. Os diagramas são analisados isoladamente, em suas propriedades internas, e, posteriormente, aos pares, quando são analisadas as propriedades de interdependência entre os diagramas. Além disso o método também provê meios para indicar ao projetista sugestões de boas práticas de projeto, que podem melhorar sua qualidade final.