Presentation is loading. Please wait.

Presentation is loading. Please wait.

A Requirement Analysis for Dependable Law-Governed Systems Considering Criticality Monitoring Maira Gatti

Similar presentations


Presentation on theme: "A Requirement Analysis for Dependable Law-Governed Systems Considering Criticality Monitoring Maira Gatti"— Presentation transcript:

1 A Requirement Analysis for Dependable Law-Governed Systems Considering Criticality Monitoring Maira Gatti mgatti@les.inf.puc-rio.br

2 © LES/PUC-Rio The Case Study: SELIC

3 © LES/PUC-Rio Diagrama de Casos de Uso+Casos de Leis

4 © LES/PUC-Rio Caso de Leis

5 © LES/PUC-Rio Cont.

6 © LES/PUC-Rio Caso de Leis

7 © LES/PUC-Rio Cont.

8 © LES/PUC-Rio Cenas

9 © LES/PUC-Rio Análise ContextoEstado do Protocolo Agent esEventoPeso Critical idade N. Replica s Criacao da Organizacao OpCompPUAberto scene_creation negociacaoFechadaSelicrole_activation0,450.0452 IFArole_activation0,10.010 IFBrole_activation0,10.010 startnenhumaSolicitacao SEL1054tp4Compra/SEL1054tp2Co mpracompraSolicitadaSelictransition_activation0,1 IFAtransition_activation0,1 SEL1054tp4Venda/SEL1054tp2Vend avendaSolicitadaSelictransition_activation0,10.052 IFBtransition_activation0,10.0150 SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmada/ SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaSelictransition_activation-0,20.042 SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmadanegociacaoExecutadaIFAtransition_activation-0,10.0050 SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaIFBtransition_activation-0,10.0050 ……..

10 © LES/PUC-Rio Análise ContextoEstado do Protocolo Agent esEventoPeso Critical idade N. Replicas Criacao da Organizacao OpCompPUAberto scene_creation negociacaoFechadaSelicrole_activation0,450.0452 IFArole_activation0,20.021 IFBrole_activation0,20.021 startnenhumaSolicitacao SEL1054tp4Compra/SEL1054tp2 CompracompraSolicitadaSelictransition_activation0,20.0552 IFAtransition_activation0,20.031 SEL1054tp4Venda/SEL1054tp2Ve ndavendaSolicitadaSelictransition_activation0,2 IFBtransition_activation0,2 SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmada/ SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaSelictransition_activation-0,20.0452 SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmadanegociacaoExecutadaIFAtransition_activation-0,2 SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaIFBtransition_activation-0,20.010

11 © LES/PUC-Rio Análise


Download ppt "A Requirement Analysis for Dependable Law-Governed Systems Considering Criticality Monitoring Maira Gatti"

Similar presentations


Ads by Google