redução de modelos de simulação de eventos discretos na sua ...

elástica do mecanismo. O problema consiste em selecionar, do GoM, o modelo mais
simples, que represente o fenômeno corretamente. Na abordagem do GoM, define-se dois
tipos de conflitos: os internos e os empíricos. Os conflitos internos ocorrem quando um
valor fornecido, ou derivado do problema, é inconsistente com a hipótese do modelo. Por
exemplo, se um modelo que assume uma hipótese de fluxo laminar e o seu resultado
fornece um número de Reynolds maior do que 2300, há um conflito interno. O conflito
empírico ocorre quando o resultado do modelo é muito diferente do esperado.
Basicamente, a abordagem de Modelagem Automatizada, neste caso, consiste em
selecionar um modelo do GoM, no qual os conflitos sejam eliminados. Como a estratégia
parte dos modelos mais simples para os mais complicados, o modelo resultante é o mais
simples que modela o fenômeno em questão. O grande inconveniente desta abordagem,
além de dever-se construir todos os modelos (o espaço de modelos é definido
explicitamente), é que esta necessita resolver os modelos e comparar seus resultados com
o do sistema real. De acordo com XIA e SMITH [96], esta abordagem aparenta ser mais
uma estratégia de controle de modelos do que propriamente uma técnica de criação de
modelos.
Diferentemente da abordagem do GoM, no Compositional Modelling o objetivo é
construir um modelo adequado, a partir de um conjunto de fragmentos do modelo. O
conjunto de todos estes fragmentos é denominados de Teoria de Domínio (Domain
Theory). Há diferentes fragmentos de modelos, uma para cada conjunto de condições e
cada fragmento contém todas as informações necessárias para seu uso no modelo. Por
exemplo, um cano pode ter fragmentos relacionados com sua habilidade em carregar
fluídos, sua resistência mecânica, propriedades elétricas, etc. O processo do fluxo de
fluído através deste cano pode ser descrito com muitos fragmentos: um para o fluxo não
viscoso, outro para o laminar, outro para o turbulento, etc. Além dos conjuntos de
32