Um ambiente de edição e simulação de estado-gramas
Autor(a) principal: | |
---|---|
Data de Publicação: | 1992 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
Texto Completo: | https://hdl.handle.net/20.500.12733/1579746 |
Resumo: | Orientador: Hans Kurt Edmund Liesenberg |
id |
UNICAMP-30_40fa975618905b66db7d90488dc98401 |
---|---|
oai_identifier_str |
oai::55005 |
network_acronym_str |
UNICAMP-30 |
network_name_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository_id_str |
|
spelling |
Um ambiente de edição e simulação de estado-gramasInterfaces (Computador)Computação gráficaOrientador: Hans Kurt Edmund LiesenbergDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da ComputaçãoResumo: 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.MestradoMestre em Ciência da Computação[s.n.]Liesenberg, Hans Kurt Edmund, 1953-Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASElias, Valeria Gonçalves S19921992-12-09T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf[116]f. : il.https://hdl.handle.net/20.500.12733/1579746ELIAS, Valeria Gonçalves S. Um ambiente de edição e simulação de estado-gramas. 1992. [116]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579746. Acesso em: 2 set. 2024.https://repositorio.unicamp.br/acervo/detalhe/55005porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2022-05-24T13:32:13Zoai::55005Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2022-05-24T13:32:13Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false |
dc.title.none.fl_str_mv |
Um ambiente de edição e simulação de estado-gramas |
title |
Um ambiente de edição e simulação de estado-gramas |
spellingShingle |
Um ambiente de edição e simulação de estado-gramas Elias, Valeria Gonçalves S Interfaces (Computador) Computação gráfica |
title_short |
Um ambiente de edição e simulação de estado-gramas |
title_full |
Um ambiente de edição e simulação de estado-gramas |
title_fullStr |
Um ambiente de edição e simulação de estado-gramas |
title_full_unstemmed |
Um ambiente de edição e simulação de estado-gramas |
title_sort |
Um ambiente de edição e simulação de estado-gramas |
author |
Elias, Valeria Gonçalves S |
author_facet |
Elias, Valeria Gonçalves S |
author_role |
author |
dc.contributor.none.fl_str_mv |
Liesenberg, Hans Kurt Edmund, 1953- Universidade Estadual de Campinas (UNICAMP). Instituto de Matemática, Estatística e Ciência da Computação Programa de Pós-Graduação em Ciência da Computação UNIVERSIDADE ESTADUAL DE CAMPINAS |
dc.contributor.author.fl_str_mv |
Elias, Valeria Gonçalves S |
dc.subject.por.fl_str_mv |
Interfaces (Computador) Computação gráfica |
topic |
Interfaces (Computador) Computação gráfica |
description |
Orientador: Hans Kurt Edmund Liesenberg |
publishDate |
1992 |
dc.date.none.fl_str_mv |
1992 1992-12-09T00:00:00Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
https://hdl.handle.net/20.500.12733/1579746 ELIAS, Valeria Gonçalves S. Um ambiente de edição e simulação de estado-gramas. 1992. [116]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579746. Acesso em: 2 set. 2024. |
url |
https://hdl.handle.net/20.500.12733/1579746 |
identifier_str_mv |
ELIAS, Valeria Gonçalves S. Um ambiente de edição e simulação de estado-gramas. 1992. [116]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1579746. Acesso em: 2 set. 2024. |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.relation.none.fl_str_mv |
https://repositorio.unicamp.br/acervo/detalhe/55005 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf [116]f. : il. |
dc.publisher.none.fl_str_mv |
[s.n.] |
publisher.none.fl_str_mv |
[s.n.] |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) instname:Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
instname_str |
Universidade Estadual de Campinas (UNICAMP) |
instacron_str |
UNICAMP |
institution |
UNICAMP |
reponame_str |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
collection |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP) |
repository.mail.fl_str_mv |
sbubd@unicamp.br |
_version_ |
1809188750088994816 |