A carregar...
Publicação
Partição de Diagramas de Estados
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 4.61 MB | Adobe PDF |
Autores
Orientador(es)
Resumo(s)
Há muito que o ser humano tem a necessidade de criar modelos da realidade que o
rodeia para tirar maior proveito dela. Porém, esses modelos são realmente bons quando,
além de intuitivos e simples, são compreendidos por outros, como é o caso das máquinas
de estados. Todavia, à medida que a complexidade dos sistemas reativos aumenta, a
representação destas mantendo a sua simplicidade torna-se difícil.
A partição dos diagramas de estados, representação gráfica das máquinas de estados,
consiste em partir o diagrama em sub-diagramas que se interligam. Este método torna
a leitura mais fácil do anterior diagrama no sentido em que devolve a simplicidade e
legibilidade a um diagrama que inicialmente era complexo e difícil leitura.
Esta dissertação começa por fazer uma análise das máquinas de estados e fazendo
a sua comparação com as redes de Petri e os estadogramas. Uma vez que estes últimos
provêm das máquinas de estados e podem converter-se em redes de Petri faz sentido a
sua comparação. Também são abordadas as ferramentas IOPT como exemplo a seguir, o
qual fornece um conjunto de funcionalidades em torno das redes de Petri.
O projeto desenvolvido no âmbito desta dissertação trata-se de um programa que
particiona um diagrama de estados recebido sob a forma de ficheiro XML. O programa
devolve um Estadograma que contém o diagrama de estados particionado sob a forma de
ficheiro do mesmo tipo.
Human beings have long had the need to create models of the reality around them in order to get more out of it. However, these models are really good when, besides being intuitive and simple, they are understood by others, as is the case of state machines. Nevertheless, as the complexity of reactive systems increases, representing them while maintaining their simplicity becomes difficult. The partitioning of state diagrams, the graphical representation of state machines, consists in breaking the diagram into interconnected sub-diagrams. This method makes the previous diagram easier to read in the sense that it restores simplicity and readability to a diagram that was initially complex and difficult to read. This dissertation starts by making an analysis of state machines and making their comparison with Petri nets and Statecharts. Since the latter come from state machines and can be converted into Petri nets it makes sense to compare them. IOPT tools are also covered as a following example, which provides a set of functionalities around Petri nets. The project developed in the scope of this dissertation is a program that partitions a state diagram received in the form of an XML file. The program returns a Statechart containing the partitioned state diagram in the form of a file of the same type.
Human beings have long had the need to create models of the reality around them in order to get more out of it. However, these models are really good when, besides being intuitive and simple, they are understood by others, as is the case of state machines. Nevertheless, as the complexity of reactive systems increases, representing them while maintaining their simplicity becomes difficult. The partitioning of state diagrams, the graphical representation of state machines, consists in breaking the diagram into interconnected sub-diagrams. This method makes the previous diagram easier to read in the sense that it restores simplicity and readability to a diagram that was initially complex and difficult to read. This dissertation starts by making an analysis of state machines and making their comparison with Petri nets and Statecharts. Since the latter come from state machines and can be converted into Petri nets it makes sense to compare them. IOPT tools are also covered as a following example, which provides a set of functionalities around Petri nets. The project developed in the scope of this dissertation is a program that partitions a state diagram received in the form of an XML file. The program returns a Statechart containing the partitioned state diagram in the form of a file of the same type.
Descrição
Palavras-chave
Partição de diagramas de estados Máquinas de estados Estadogramas Redes de Petri