Notas de Aula
Objetivos e programa, especificação versus
implementação, sistemas sequenciais versus sistemas concorrentes e distribuídos,
conceitos básicos.Transparências.
Prefácio e Capítulo 0 do livro texto de CSP.
Evento, comunicação, alfabeto, processo, e operadores
básicos para projeto de processos.Transparências.
Páginas 13 a 21 do livro texto de CSP.
Operadores de escolha, processos especiais, e leis
algébricas de CSP.Transparências.
Páginas 22 a 34 do livro texto de CSP.
Modelos semânticos e noções de refinamento para CSP, modelo de
traces, relacionamento das leis algébricas com os modelos, especificação de
processos. Transparências.
Páginas 35 a 50 do livro texto de CSP. Páginas 3 a 6, Seção 2, e Apêndice A do manual
de FDR.
Operadores para composição paralela (composição síncrona e
alfabetizada).Transparências.
Páginas 51 a 64 do livro texto de CSP.
Operadores para composição paralela (composição generalizada e
entrelaçamento), utilização de composição paralela para
restrição de processos.Transparências.
Páginas 65 a 76 do livro texto de CSP. Páginas 7 a 10, e Seções 3 e 4 do manual de
FDR.
Operador para esconder eventos.Transparências.
Páginas 77 a 85 do livro texto de CSP.
Operador para renomear eventos, visão geral dos modelos de failures
e failures-divergences.Transparências
sobre o operador de renomeação. Transparências
sobre os modelos de failures e failures-divergences.
Páginas 86 a 98 do
livro texto de CSP.
Motivação e objetivos, introdução à segunda parte do curso.Transparências.
Especificando com conjuntosTransparências.
Especificando com relaçõesTransparências em http://www.di.ufpe.br/~if116/aulas.htm
(aula5 e aula6)
Especificando com funçõesTransparências em http://www.di.ufpe.br/~if116/aulas.htm
(aula7)
Especificando com sequências e bagsTransparências em http://www.di.ufpe.br/~if116/aulas.htm
(aula10 e aula11)
Resumo das construções sintáticas de ZTransparências em http://www.di.ufpe.br/~if116/aulas.htm
(aula12)
Cálculo estruturado de pré-condição e exercícios Transparências
em http://www.di.ufpe.br/~if116/aulas.htm
(aula19)
Formalizando o conceito de refinamento e exercicios Transparências
em http://www.di.ufpe.br/~if116/aulas.htm
(aula23)
Usando o Z-Eves para provar refinamentoTransparências em http://www.di.ufpe.br/~if116/aulas.htm
(aula25)
CSP-Z e sua VerificaçãoTransparências.