{"id":{"repo_id":"brazil-uff","oai_identifier":"oai:app.uff.br:1/25835"},"canonical_url":"https://search.dev.ndltd.org/etd/brazil-uff/oai:app.uff.br:1/25835","repository":{"repo_id":"brazil-uff","name":"Brazil UFF","base_url":"https://app.uff.br/oai/request"},"display":{"title":"PDL como uma linguagem de consulta para Constraint Automata","abstract":"Neste trabalho iremos abordar um algoritmo para codificação de Constraint Automata para um modelo da lógica proposicional dinâmica (PDL). Constraint Automata é um formalismo criado para denotar uma semântica formal para Reo, uma linguagem gráfica baseada em coordenação para a modelagem de sistemas. Seu uso possibilita a formalização por meio da composição de unidades menores, de forma a prover o reuso de componentes. PDL é um sistema formal para o raciocínio sobre programas com um amplo ferramental teórico e de software. Com esta codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original.","abstract_html":"Neste trabalho iremos abordar um algoritmo para codificação de Constraint Automata para um modelo da lógica proposicional dinâmica (PDL). Constraint Automata é um formalismo criado para denotar uma semântica formal para Reo, uma linguagem gráfica baseada em coordenação para a modelagem de sistemas. Seu uso possibilita a formalização por meio da composição de unidades menores, de forma a prover o reuso de componentes. PDL é um sistema formal para o raciocínio sobre programas com um amplo ferramental teórico e de software. Com esta codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original.","abstract_has_math":false,"creators":["Castro, Thiago Cordeiro de"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2018,"date_issued":"2018","date_published":"2018","updated_at":"2026-07-27T19:01:08Z","subjects":[],"languages":["pt_BR"],"rights":["Open Access"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://app.uff.br/riuff/handle/1/25835","outbound_label":"Repository record","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Castro, Thiago Cordeiro de"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2022-07-26T12:18:58Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2022-07-26T12:18:58Z"]},{"key":"dc:date.issued","label":"Date","values":["2018"]},{"key":"dc:type","label":"Dc Type","values":["Trabalho de conclusão de curso"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["pt_BR"]},{"key":"dc:rights","label":"Dc Rights","values":["Open Access"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://app.uff.br/riuff/handle/1/25835"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["Neste trabalho iremos abordar um algoritmo para codificação de Constraint Automata para um modelo da lógica proposicional dinâmica (PDL). Constraint Automata é um formalismo criado para denotar uma semântica formal para Reo, uma linguagem gráfica baseada em coordenação para a modelagem de sistemas. Seu uso possibilita a formalização por meio da composição de unidades menores, de forma a prover o reuso de componentes. PDL é um sistema formal para o raciocínio sobre programas com um amplo ferramental teórico e de software. Com esta codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original."]},{"key":"dc:title","label":"Title","values":["PDL como uma linguagem de consulta para Constraint Automata"]}]}],"canonical_facts":{"dc:creator":["Castro, Thiago Cordeiro de"],"dc:date.accessioned":["2022-07-26T12:18:58Z"],"dc:date.available":["2022-07-26T12:18:58Z"],"dc:date.issued":["2018"],"dc:description.abstract":["Neste trabalho iremos abordar um algoritmo para codificação de Constraint Automata para um modelo da lógica proposicional dinâmica (PDL). Constraint Automata é um formalismo criado para denotar uma semântica formal para Reo, uma linguagem gráfica baseada em coordenação para a modelagem de sistemas. Seu uso possibilita a formalização por meio da composição de unidades menores, de forma a prover o reuso de componentes. PDL é um sistema formal para o raciocínio sobre programas com um amplo ferramental teórico e de software. Com esta codificação podemos utilizar por exemplos model checkers para validar especificações do componente Reo original."],"dc:identifier.uri":["http://app.uff.br/riuff/handle/1/25835"],"dc:language.iso":["pt_BR"],"dc:rights":["Open Access"],"dc:title":["PDL como uma linguagem de consulta para Constraint Automata"],"dc:type":["Trabalho de conclusão de curso"]},"updated_at":"2026-07-27T19:01:08Z"}