Nos cálculos termodinâmicos desenvolvidos no presente trabalho dois tipos de modelos de energia de Gibbs distintos foram empregados. O primeiro tipo de modelo diz respeito à descrição termodinâmica de fases estequiométricas, ou seja, fases desprovidas da desordem espacial característica de uma solução. O termo estequiométrico é empregado de maneira a definir que a composição da fase se encontra restrita a valores próximos dos determinados pela relação estequiométrica entre seus elementos constituintes. Perturbações composicionais em torno da composição estequiométrica resultam em um considerável aumento na energia de Gibbs da fase (Hillert, 1998). O segundo tipo de modelo diz respeito à descrição da energia de Gibbs da escória. A escória é por definição uma solução, podendo-se pensar na variação da composição da mesma, sem que sua estabilidade seja afetada. Ambos os tipos de modelos serão discutidos brevemente nos tópicos seguintes.