Existe numerosas circunstancias que en que la evalución del rendimiento de un sistema informático debe efectuarse mediante la construcción de un modelo. Ello será así siempre que alguno de los elementos hardware o software que componen el sistema no exista, como en los casos de instalación de un nuevo sistema o de reconfiguración (cambio de configuración hardware, introducción de una nueva aplicación. etc. de uno existente. No se pretende en este artículo hacer mención de todas las técnicas de construcción y tratamiento de modelos de sistemas informáticos sino exponer tan sólo algunos de los métodos que han demostrado ser especialmente útiles y eficaces. Así, entre otros, dejaremos fuera del ámbito de este artículo los modelos deterministas, dentro de cuyo dominio caen las máquinas de Turing, las redes de Petri, los modelos de grafos de los programas, etc. la física del sofrware (software physics) que ha desarrollado K. Kolence, los métodos de descomposición de P. J. Courtois, el análisis operacional de J. P. Buzen y los métodos de difusión H Kobayashi y E. Gelenbe. Centraremos nuestro tema en los modelos probabilísticos basados en la teoría de colas y en las redes de colas.