Carregar apresentação
A apresentação está carregando. Por favor, espere
PublicouOsvaldo Miguel Fortunato Carmona Alterado mais de 8 anos atrás
1
Paulo Borba e Augusto Sampaio Centro de Informática Universidade Federal de Pernambuco Modelos de Failures e Failures-divergences
2
Vários modelos: –traces, failures, failures-divergences cada um sendo mais rebuscado do que o outro e capturando mais aspectos sobre o comportamento dos processos: –não-determinismo (safety ou segurança) –deadlock (liveness, impasse) –livelock (liveness, divergência) Modelos Semânticos de CSP
3
Várias noções de igualdade: P =T Q P =F Q P =FD Q e várias noções de refinamento: P [T= Q P [F= Q P [FD= Q Igualdade e Refinamento
4
Não descreve completamente os processos: Traces traces(a -> STOP [] b -> STOP) = traces(a -> STOP |~| b -> STOP) = {<>,, } traces(b -> STOP) = traces(b -> STOP |~| STOP) = {<>, }
5
Lista de eventos realizados por um processo, juntamente com um conjunto de eventos que ele pode recusar a oferecer naquele ponto da execução: Failure (<>,{a}) (,{b,c}) (,{c})
6
Failures A semântica de um processo pode ser dada pelo conjunto de todas as suas failures (falhas)
7
Failures failures(a -> STOP [] b -> STOP) = {(<>,{}),(,{a,b}),(,{a,b}), (,{a}),(,{b}),(,{}),...} failures(a -> STOP |~| b -> STOP) = {(<>,{a}),(<>,{b}), {(<>,{}), (,{a,b}),(,{a,b}), (,{a}),(,{b}),(,{}),...}
8
Failures failures(b -> STOP) = {(<>,{a}),(<>,{}),(,{a,b}), (,{a}),(,{b}),(,{}),...} failures(b -> STOP |~| STOP) = {(<>,{a,b}),(<>,{a}),(<>,{b}), (<>,{}),(,{a,b}),(,{a}), (,{b}),(,{})}
9
Failures e Igualdade =F Q P failures(P) = failures(Q)
10
Failures e Refinamneto [F= Q P failures(P) failures(Q)
11
O conjunto de todos os traces que podem levar um processo a divergir, mais todas as possíveis extensões destes traces: Divergences divergences(a -> (b -> P |~| div))= {,,,,...}
12
A semântica de um processo pode ser dada por suas failures estendidas e suas divergences: Divergences failuresE(P) = failures(P) U {(s,X) | s divergences(P)}
13
Failures-divergences e Igualdade =FD Q P failuresE(P) = failuresE(Q) divergences(P) = divergences(Q)
14
Failures-divergences e Refinamento [FD= Q P failuresE(P) failuresE(Q) divergences(P) divergences(Q)
15
Do livro texto –Essenciais: 3.3.1 Exercícios
Apresentações semelhantes
© 2024 SlidePlayer.com.br Inc.
All rights reserved.