A Distributed Object-Oriented Framework for Dependable Multiparty Interactions A.F.Zorzo, R.J.Stroud Leonardo Viccari.

Slides:



Advertisements
Apresentações semelhantes
Modelo de Casos de Uso Diagrama de Casos de Uso
Advertisements

Sistemas Distribuídos
Bruno M. Carvalho Sala: 3B2 Horário: 35T34
Diagrama de Atividades
Planejamento Viviane Torres da Silva
IC - UFF Sistemas Operacionais Threads. IC - UFF Processos e threads Vimos o conceito de processo englobando duas características básicas: propriedade.
Sistemas distribuídos Metas de Projeto Prof. Diovani Milhorim
Casos de Uso.
Definição de Casos de Teste Funcionais a partir de Casos de Uso
Arquitetura de Sistemas Operacionais
Comunicação Distribuída
Conceitos de Programação Paralela - 2
Chapter 4: Threads.
Programação Concorrente
Arquitetura de Sistemas Operacionais
Contratos Modelagem Funcional.
Projeto da Camada de Domínio
Sistemas Operacionais
Exclusão Mútua A solução mais simples para evitar os problemas de compartilhamento é impedir que dois ou mais processos estiver acessando determinado recurso,
Threads sem Sincronização
Middleware e Sistemas Distribuídos
Concorrência em Java Threads em Java.
Diagrama de Atividades
Monitores.
Concorrência em Java Threads em Java.
Concorrência em Java Threads em Java.
Introdução UML, Diagrama de Classes e Comunicação/Colabaração
Object Oriented Software Construction (MEYER, Bertrand)
Linguagem de Programação IV
Diagrama de Atividades
Fiabilidade de Sistemas Informáticos
Conteúdo 1. Introdução Threads 2. Ambiente Monothread 3. Ambiente Multithread 4. Arquitetura e Implementação 5. Modelos de Programação.
Concorrência STRD.
Controle Distribuído da Concorrência
Controle de concorrência
Sistemas Operacionais
SISTEMAS OPERACIONAIS I
Concorrência e thread Petrônio Júnior(pglj) Márcio Neves(mmn2)
Sistemas Operacionais
Bruna Rafaella da Costa Moura Silvana dos Santos Lima
PROGRAMAÇÃO DISTRIBUÍDA Aula 01 Prof. Henrique Mongelli
Programação de Sistemas Distribuídos e Concorrentes
Programação com Threads
Processos.
Transações Concorrentes
SISTEMAS OPERACIONAIS I
Slide 1 Programação com Objetos Distribuídos Trabalho Leve 1 The Guardian Model and Primitives for Exception Handling in Distributed Systems Universidade.
Sistemas Concorrentes Capítulo 02 – Threads
S ISTEMAS OPERACIONAIS PROCESSOS Horácio Ribeiro.
Uma perspectiva conceitual sobre a comparação de LPOO´s Bent Bruun Kristenser Kasper Osterbte By Lineu Antonio de Lima Santos.
Linguagem de Programação IV Carlos Oberdan Rolim Ciência da Computação Sistemas de Informação.
SISTEMAS OPERACIONAIS
JR: Flexible Distributed Programming in an Extended Java Elmário Gomes Dutra Jr. Gustavo Romano.
Métodos e Classes para Sincronização no JDK 5.0 Vitor Hugo Becker
Concorrência em LF1 Paradigmas de Linguagens de Programação 20 de junho de 2006 Aline Timóteo Carlos Rodrigues Flávia Falcão Tiago Rolim.
Sistemas Operacionais
Desenvolvimento Empresarial Aula 5 – Business Process Modeling Notation – Parte 2 Prof.: Guilherme Amorim Data: 26/03/2014.
Deadlocks.
Paralelismo.
Sistemas Operacionais
Tratamento de Exceções. Roteiro O que são exceções? Quando usar Capturando Exceções Exemplos.
Aplicação de Métodos Formais no Desenvolvimento de Sistemas Multimídia Distribuídos Cláudia Araújo Ribeiro UFPE Junho/2000.
Sistemas Distribuídos
CURSO JAVA BÁSICO Módulo 9 – slide 1 Módulo 10 Threads.
©2003, Alexandre Vasconcelos & Augusto Sampaio CIn-UFPE1 Análise e Projeto de Sistemas Modelagem de Requisitos com Casos de Uso.
Bruna Cavallero Martins Universidade Católica de Pelotas.
ProgramaçãoConcorrente Glêdson Elias
1 MEI, ARMD 2004, Gabriel David Armazéns de Dados Mapeamentos e instalação Gabriel David
Curso Superior em Redes de Computadores Camada de Aplicação Prof. Sales Filho.
ProgramaçãoConcorrente Glêdson Elias
Transcrição da apresentação:

A Distributed Object-Oriented Framework for Dependable Multiparty Interactions A.F.Zorzo, R.J.Stroud Leonardo Viccari

Interação Multiparticipante Mecanismo que compreende múltiplas partes (processos, objetos, threads, etc.) executando, juntas, um conjunto de atividades. Mecanismo que compreende múltiplas partes (processos, objetos, threads, etc.) executando, juntas, um conjunto de atividades. Propriedades: Propriedades: Sincronização na entrada; Sincronização na entrada; Checagem de pré- e pós-condições; Checagem de pré- e pós-condições; Atomicidade. Atomicidade.

Interação Multiparticipante Confiável (DMI) Interação multiparticipante com meios para o tratamento de exceções. Interação multiparticipante com meios para o tratamento de exceções. Possibilidade de tratar exceções concorrentes; Possibilidade de tratar exceções concorrentes; Sincronização antes do término da interação. Sincronização antes do término da interação. Construir DMIs a partir de interações não-confiáveis em cadeia. Construir DMIs a partir de interações não-confiáveis em cadeia.

DMI

DMI Framework Quatro tipos de objetos distribuídos: Quatro tipos de objetos distribuídos:

DMI Framework Interação multiparticipante é um conjunto de managers. Interação multiparticipante é um conjunto de managers. DMI é uma união de MIs fazendo uso da associação activates. DMI é uma união de MIs fazendo uso da associação activates. Cada DMI pode ser representada por vários conjuntos desses 4 objetos. Cada DMI pode ser representada por vários conjuntos desses 4 objetos.

Manager Gerencia um único role. Gerencia um único role. Conhece o leader. Conhece o leader. Recebe, quando instanciado, o tratador de cada tipo de exceção. Recebe, quando instanciado, o tratador de cada tipo de exceção. Execução: Execução: Sincroniza; Sincroniza; Testa pré-condição; Testa pré-condição; Executa role; Executa role; Testa pós-condição; Testa pós-condição; Sincroniza; Sincroniza;

Role Possui um único manager. Possui um único manager. Pode ser executado somente pelo seu manager. Pode ser executado somente pelo seu manager. Ao aparecerem exceções, trata ou passa ao manager. Ao aparecerem exceções, trata ou passa ao manager.

External, Shared Objects External objects são objetos visíveis de fora da DMI, contendo seu estado. External objects são objetos visíveis de fora da DMI, contendo seu estado. Shared objects são objetos usados para trocar informações entre dois roles diferentes. Shared objects são objetos usados para trocar informações entre dois roles diferentes.

Coordinated Atomic action Mecanismo para coordenar interações multi-thread. Mecanismo para coordenar interações multi-thread. Pode ser implementada através de uma DMI. Pode ser implementada através de uma DMI.

DMI e CA action

Aplicação Prática