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

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, IFArole_activation0, IFBrole_activation0, startnenhumaSolicitacao SEL1054tp4Compra/SEL1054tp2Co mpracompraSolicitadaSelictransition_activation0,1 IFAtransition_activation0,1 SEL1054tp4Venda/SEL1054tp2Vend avendaSolicitadaSelictransition_activation0, IFBtransition_activation0, SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmada/ SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaSelictransition_activation-0, SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmadanegociacaoExecutadaIFAtransition_activation-0, SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaIFBtransition_activation-0, ……..

10 © LES/PUC-Rio Análise ContextoEstado do Protocolo Agent esEventoPeso Critical idade N. Replicas Criacao da Organizacao OpCompPUAberto scene_creation negociacaoFechadaSelicrole_activation0, IFArole_activation0, IFBrole_activation0, startnenhumaSolicitacao SEL1054tp4Compra/SEL1054tp2 CompracompraSolicitadaSelictransition_activation0, IFAtransition_activation0, SEL1054tp4Venda/SEL1054tp2Ve ndavendaSolicitadaSelictransition_activation0,2 IFBtransition_activation0,2 SEL1054tp2CompraConfirmada/ SEL1054tp4CompraConfirmada/ SEL1054tp2VendaConfirmada/ SEL1054tp4VendaConfirmadanegociacaoExecutadaSelictransition_activation-0, 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