An object oriented methodology for the specification of Markov models

E desejavel a especificacao de modelos de sistemas de computacao em uma linguagem simbolica de alto nivel. Entretanto, tecnicas analiticas requerem uma representacao numerica de baixo nivel. A traducao entre estes niveis de descricao e um grave problema. Neste artigo, descrevemos um metodo simples, mas surpreendentemente poderoso para especificacao de modelos a nivel de sistema, baseado em um modelo orientado a objeto. Mostraremos que este metodo basico possui vantagens significativas pois fornece a base para o desenvolvimento de ferramentas modulares que podem ser estendidas. Com esta metodologia, ferramentas de modelagem podem ser facilmente e rapidamente talhadas para um determinado dominio de aplicacao. Um a implementacao em Prolog de um sistema baseado nesta metodologia e descrita e alguns exemplos sao incluidos. As vantagens de se usar Prolog de um sistema baseado nesta metodologia e descrita e alguns exemplos sao incluidos. As vantagens de se usar Prolog coo uma linguagem de implementacao sao tambem discutidas.