Modelação e simulação de sistemas de eventos discretos com estrutura dinâmica : uma abordagem baseada na teoria dos sistemas

Abstract

Os modelos discretos têm sido aplicados com sucesso na representação de uma grande variedade de sistemas, tais como sistemas de produção, redes de computadores e tráfego automóvel. Alguns sistemas podem ser mais facilmente representados por modelos capazes de alterar a sua própria estrutura. Porém, as metodologias actuais dificilmente permitem a descrição deste tipo de modelos, sendo o modelador forçado a representar mudanças estruturais como simples mudanças das variáveis de estado. Nesta tese é apresentado um novo formalismo de modelação designado por DSDEVS (Dynamic Structure Discrete Event System Specification). O DSDEVS tem origem no formalismo DEVS e na Teoria dos Sistemas, e oferece um método rigoroso para a especificação hierárquica e modular de sistemas discretos adaptáveis. Este formalismo é capaz de representar modelos discretos que podem ser objecto de alteraç›es na sua própria estrutura no decorrer de uma simulação. Estas alterações de estrutura podem ir desde simples mudanças na interacção entre componentes, até alteraç›es mais complexas envolvendo a adição ou remoção de modelos. Para demonstrar a utilidade do formalismo DSDEVS foi desenvolvido o sistema de modelação e simulação DELTA, uma realização desta metodologia na linguagem de programação Smalltalk. São também apresentados, nesta tese, alguns exemplos de sistemas que podem ser mais fielmente representados por modelos adaptáveis.