PDL como uma linguagem de consulta para Constraint Automata

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.

Author dc:creator

• Castro, Thiago Cordeiro de

Statement dc:rights

• Open Access

Language dc:language.iso

pt_BR

Repository record dc:identifier.uri

http://app.uff.br/riuff/handle/1/25835

OAI identifier oai:identifier

oai:app.uff.br:1/25835