Please use this identifier to cite or link to this item: http://repositorio.unicamp.br/jspui/handle/REPOSIP/275987
Full metadata record
DC FieldValueLanguage
dc.contributor.CRUESPUNIVERSIDADE ESTADUAL DE CAMPINASpt_BR
dc.descriptionOrientador: Hans Kurt Edmund Liesenbergpt_BR
dc.descriptionDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computaçãopt_BR
dc.format.extent[112]f. : il.pt_BR
dc.format.mimetypeapplication/octet-streampt_BR
dc.languagePortuguêspt_BR
dc.typeDISSERTAÇÃOpt_BR
dc.titleUm processo de sintese de sistemas reativospt_BR
dc.contributor.authorFigueiredo Filho, Antonio Gonçalvespt_BR
dc.contributor.advisorLiesenberg, Hans Kurt Edmund, 1953-pt_BR
dc.contributor.institutionUniversidade Estadual de Campinas. Instituto de Matemática, Estatística e Ciência da Computaçãopt_BR
dc.contributor.nameofprogramPrograma de Pós-Graduação em Ciência da Computaçãopt_BR
dc.subjectGeradores (Programas de computador)pt_BR
dc.subjectProgramas de computadorpt_BR
dc.description.abstractResumo: Esta dissertação apresenta um gerador de programas adequado para implementar o controle de sistemas reativos complexos. Este processo de geração consiste em uma síntese de sistemas reativos a partir de uma especificação, baseada em estadogramas. Os estadogramas são diagramas de estados convencionais estendidos suportando conceitos de hierarquia, concorrência e comunicação. Esta ferramenta. comporta-se como um tradutor que recebe como entrada uma descrição textual (i.e., um programa escrito em uma linguagem descritiva de estadogramas - LEG) e produz como saída um programa funcionalmente equivalente em C. Um programa escrito em LEG associa código inerente ao tratamento do controle da aplicação (cÓdigo LEC propriamente dito) e cÓdigo responsáve1 pela aplicação, (cÓdigo escrito em C). Para ilustrar uma aplicação desta ferramenta, descreve-se sua. utilização na construção de um editor topológico.pt
dc.description.abstractAbstract: A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a translator that receives a textual description of a statechart (i.e., a program written in a statecharts language - LEG) in its input and it outputs a functionally equivalent C program A program written in LEG combines code inherent to application control (represented by LEG code) and to application code (code written in C). An application of this tool in a construction of a topological editor is described.en
dc.publisher[s.n.]pt_BR
dc.date.issued1991pt_BR
dc.identifier.citationFIGUEIREDO FILHO, Antonio Gonçalves. Um processo de sintese de sistemas reativos. 1991. [112]f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Ciencia da Computação, Campinas, SP. Disponível em: <http://www.repositorio.unicamp.br/handle/REPOSIP/275987>. Acesso em: 13 jul. 2018.pt_BR
dc.description.degreelevelMestradopt_BR
dc.description.degreenameMestre em Ciência da Computaçãopt_BR
dc.date.defense1991-12-18T00:00:00Zpt_BR
dc.date.available2018-07-14T02:20:01Z-
dc.date.accessioned2018-07-14T02:20:01Z-
dc.description.provenanceMade available in DSpace on 2018-07-14T02:20:01Z (GMT). No. of bitstreams: 1 FigueiredoFilho_AntonioGoncalves_M.pdf: 2872725 bytes, checksum: 4e5fa0936d1d93dfbbc8d3144be0ee22 (MD5) Previous issue date: 1991en
dc.identifier.urihttp://repositorio.unicamp.br/jspui/handle/REPOSIP/275987-
Appears in Collections:IC - Tese e Dissertação

Files in This Item:
File SizeFormat 
FigueiredoFilho_AntonioGoncalves_M.pdf2.81 MBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.