Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação / Made available in DSpace on 2018-07-17T10:15:28Z (GMT). No. of bitstreams: 1
Elias_ValeriaGoncalvesS_M.pdf: 2055534 bytes, checksum: 943091da8859353f3ef41ef6c65e7800 (MD5)
Previous issue date: 1992 / Resumo: Este trabalho aprescnta um Editor Gráfico de Estadogramas. Estadogramas são uma extensão de diagramas de estados convencionais, acrescidos de conceitos de hierarquia, concorrência e comunicação. Apresentamos uma interface gráfica particular, que permite especificar sistemas reativos através da notação de estadogramas. No final de uma sessão de edição, fornecemos a opção de simulação de estadogramas. Nessa simulação são destacados os estados em que o sistema se encontra e são efetuadas as mudanças de estados que ocorrerem em decorrência de eventos. A cada estadograma editado, é gerada uma descrição textual passível de ser convertida em um programa em C que se comporta de forma funcionalmente equivalente ao estadograma. Paralelamente à execução deste programa, pode-se executar a simulação do estadograma original, onde através do mecanismo de sockets, o programa envia ao simulador os identificadores dos eventos ocorridos para serem realizadas as mudanças de estados decorrentes. Com este tipo de simulação fica disponível uma maneira de depurar programas a nível de estadogramas. / Abstract: A Graphic Editor of Statecharts is presented. Statecharts are an extension of conventional state diagrams where the concepts of hierarchy, concurrency and communication have been added. We present a particular graphic interface which supports the specification of reactive systems by means of the statechart notation. At the end of an editting session we offer a statechart simulation option. During a simulation the states, which the system is at, are highlighted and the state swappings due to event occurrences are performed. A textual description of an edited statechart may as well be generated. This description is liable to be converted into an executable program which behaves in a functionally equivalent manner. It is possible to execute this program at the same time the simulation of the original statechart is running. The program sends to the simulator the events identifiers, by means of the sockets mechanism, as soon as they occur. The simulator then applies the state swapping operation. With this kind of simulation it is possible to provide some support to debug programs at the statechart level. / Mestrado / Mestre em Ciência da Computação
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/276183 |
Date | 09 December 1992 |
Creators | Elias, Valeria Gonçalves S |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Liesenberg, Hans Kurt Edmund, 1953- |
Publisher | [s.n.], Universidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computação, Programa de Pós-Graduação em Ciência da Computação |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | [116]f. : il., application/octet-stream |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0175 seconds