Índice. Modelo Organizacional. Introdução. Modelo Centrado no Agente 15/06/2011

Tamanho: px
Começar a partir da página:

Download "Índice. Modelo Organizacional. Introdução. Modelo Centrado no Agente 15/06/2011"

Transcrição

1 Developing Organised Multi-Agent Systems Using the Moise + : Programming Issues at the System and Agent Levels Alex Vieira Índice Introdução Moise + Modelo Organizacional S-Moise + J-Moise + Arquitetura e principais componentes Conclusão Introdução Autonomia dos agentes é uma característica muito importante no conceito de agente; Essa autonomia pode ser conduzida para um comportamento global indesejado; Uma solução possível é atribuir uma organização do sistema como é feito na sociedade. Modelo Organizacional O Modelo Organizacional pode ser concebido a partir de duas visões principais - Centrada no Agente; - Centrada no Sistema. Modelo Centrado no Agente A organização só existe dentro de agentes uma visão global da organização só é possível como um fenômeno observável (externo); Por exemplo, em uma colônia de formigas, a restrição do comportamento organizacional é definido dentro das próprias formigas; E assim podemos considerar esse tipo de organização como sendo baseado em um comportamento emergente coletivo. 1

2 Análise das Visões Em (a) os agentes são desprovidos de uma representação da organização; Em (b) há uma representação interna da organização, mas os agentes decidem o que fazer; Em (c) a organização existe mas os agentes não raciocinam sobre ela. Sendo aplicadas algumas metodologias AOSE (com papéis e responsabilidades); Em (d) há representação e raciocínio sobre a organização. Modelo de Organização do Moise + Modelos organizacionais são focados em uma dimensão única da organização. No modelo proposto, considera-se a existência de três dimensões principais (funcional,estrutural e normas). Dimensão Funcional Refere-se aos planos globais, políticas de alocação de tarefas para agentes, coordenação de execução dos planos e qualidade (consumo de tempo e recursos) de um plano; Os propósitos globais do sistema são melhor alcançados SMA possuem uma memória da organização na qual os melhores planos para atingir os objetivos são guardados Dimensão de Normas Foco na definição de alto nível (normas); Tais normas deverão ser obedecidas pelos agentes; Em outras palavras: o que os agentes devem fazer, sendo a relação entre estrutura e funcionamento. Dimensão Estrutural Aspecto mais estático da organização (papéis, relação entre eles, relação entre seus grupos); Neste modelo, o propósito global é realizado quando os agentes cumprem as obrigações e permissões que são atribuídas a seus papéis. 2

3 Dimensão Estrutural Níveis de construção de uma Especificação Estrutural Moise + (SS): 1. Nível Individual; 2. Nível Social; 3. Nível Coletivo Dimensão Funcional A Especificação Funcional (FS) é composta por um esquema de configuração que representa: 1. Como um SMA usualmente alcança os objetivos globais (organizacional); 2. Como esses objetivos são decompostos (por planos); 3. Como são distribuídos para os agentes (por missões). Observação Este esquema pode ser configurada por projetistas do SMA (determinam a perícia dos agentes ou os próprios agentes guardam as melhores soluções utilizadas) No esquema, cada objetivo não-folha gi Є G (objetivo global) é decomposto em sub-objetivos através de planos usando a seguinte notação: 3

4 Middleware Organizacional do S- Moise + Recurso para implementação de um middleware organizacional baseado em uma visão centrada no sistema (modelo Moise + ); É a interface entre nível de agente e nível de sistema (abordagem centrada na organização); Prover acesso ao nível de organização (criar grupos, esquemas,papéis...); Manutenção do estado e controle do cumprimento de regras oferecidos pela organização; Principais Componentes do S- MOISE + OrgBox API: interface que os agentes usam para acessar a camada organizacional. Trata-se de uma interface que permite fazer solicitações ao OrgManager; OrgManager: armazena o estado atual das OE (Entidade Organizacional) e os mantêm consistentes durante seu ciclo de vida não permite que um agente assuma papéis incompatíveis. Arquitetura do S-MOISE + Ir para Agents OrgBox Ações Organizacionais do S-MOISE + Principais Ações create_group (gt [, gi]) create_scheme (st, gis) set_goal_state(ag,si, g, s) adopt_role (ag, p, gr) remove_role (ag, p, gr) Descrição Cria um novo grupo, ou um subgrupo de gi se o gi for informado como argumento cria um novo esquema da especificação st, sendo gis uma configuração dos grupos responsáveis pelo novo esquema de execução o objetivo g do esquema si é definido como s pelo agente ag o agente ag adota o papel p em umgrupo gr o agente ag remove o papel p do grupo gr Exemplo Considere que após a criação do grupo (gr), como sendo a criação do time, foram criados também os sub-grupos (grd e gra), respectivamente, grupos de defesa e ataque. Considere também que já foram criados alguns esquemas como, por exemplo, o lado_ataque.temos: Tem-se um time bem formado? create_group(gr) create_group(grd, gr) create_group(gra, gr) create_scheme(side_attack, gr) Falta instanciar agentes para assumirem os papéis. 4

5 Portanto, é preciso que um agente (ag) que queira assumir um papel (p) envie uma ação adopt_role(ag, p, gr) para OrgManager; A ação de organização no S-Moise + referente a adoção do papel solicitado pelo agente é, então, assegurada (através das precondições) pois a restrição organizacional não foi violada. Precondições de restrição organizacional 1. O papel p pertence ao grupo de especificação de gr; 2. O número de p de jogadores é menor que o número máximo de jogadores definido na especificação de gr; 3. Todos os papéis pi e p que os jogadores assumirem no mesmo grupo são compatíveis entre si; 4. Todos os papéis pi e p que os jogadores assumirem em grupos diferentes são compatíveis. Agents OrgBox J-Moise + Agente Organizacional Linguagem utilizada: AgentSpeak e o interpretador Jason; Justificativa da escolha da linguagem: base na arquitetura BDI e facilidade de customização do interpretador; Sigla J-Moise + : Jason + Moise +. Ver arquitetura Características Arquitetura do J-Moise + Presença dos componentes OrgBox e OrgManager; Camada de comunicação estendida para Saci, Jade e qualquer outra infraestrutura; 5

6 Ações Organizacionais Sintaxe baseada na notação de planos da linguagem AgentSpeak; Um plano é ativado por algum evento e guardado por algum contexto; Sintaxe: +ball (X,Y) : i_am_near(x,y) <- action1; action2;... Conclusão O artigo propõe uma direção para uma programação organizacional declarativa para os níveis de agente (J-Moise + ) e de sistema (S-Moise + ); A utilização de um middleware assegura que agentes irão seguir as restrições impostas pela organização o que nem sempre ocorre com agentes baseados em BDI. 6

2 Conceitos. 2.1 Sistema Multiagentes Abertos e Abordagens de Leis

2 Conceitos. 2.1 Sistema Multiagentes Abertos e Abordagens de Leis 2 Conceitos Neste capítulo são apresentados alguns conceitos necessários para o entendimento desta dissertação. Visto que esta proposta está inserida no contexto de sistemas multiagentes abertos, serão

Leia mais

JADEX: A BDI REASONING ENGINE. Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp.

JADEX: A BDI REASONING ENGINE. Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp. JADEX: A BDI REASONING ENGINE Alexander Pokahr, Lars Braubach e Winfried Lamersdorf Springer US - Multi-Agent Programming 2005 pp. 149-174 Volume 15 Motivação Existem muitas plataformas para desenvolvimento

Leia mais

Sistema Multiagentes Utilizando a Linguagem AgentSpeak(L) para Criar Estratégias de Armadilha e Cooperação em um Jogo Tipo PacMan

Sistema Multiagentes Utilizando a Linguagem AgentSpeak(L) para Criar Estratégias de Armadilha e Cooperação em um Jogo Tipo PacMan Sistema Multiagentes Utilizando a Linguagem AgentSpeak(L) para Criar Estratégias de Armadilha e Cooperação em um Jogo Tipo PacMan Alisson Rafael Appio Prof. Jomi Fred Hübner - Orientador Universidade Regional

Leia mais

Simulador de um Ambiente Virtual Distribuído Multiusuário para Batalhas de Tanques 3D com Inteligência Baseada em Agentes BDI

Simulador de um Ambiente Virtual Distribuído Multiusuário para Batalhas de Tanques 3D com Inteligência Baseada em Agentes BDI Simulador de um Ambiente Virtual Distribuído Multiusuário para Batalhas de Tanques 3D com Inteligência Baseada em Agentes BDI Acadêmico: Germano Fronza gfronza@inf.furb.br Orientador: Dalton Solano dos

Leia mais

Redes de Computadores e Aplicações

Redes de Computadores e Aplicações Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte Campus Currais Novos Redes de Computadores e Aplicações Aula 13 - Camada de Aplicação Visão Geral Prof. Diego Pereira

Leia mais

Padrões Arquitetônicos

Padrões Arquitetônicos Sistemas Distribuídos Mauro Lopes Carvalho Silva Professor EBTT DAI Departamento de Informática Campus Monte Castelo Instituto Federal de Educação Ciência e Tecnologia do Maranhão Objetivos Nesta aula

Leia mais

SMA: ORGANIZAÇÃO. Modelos organizacionais? Modelos organizacionais [Baeijs 98] Noção intuitiva de organização [Hubner 03]

SMA: ORGANIZAÇÃO. Modelos organizacionais? Modelos organizacionais [Baeijs 98] Noção intuitiva de organização [Hubner 03] SMA: ORGANIZAÇÃO Noção intuitiva de organização [Hubner 03] Exemplos: Uma mesa de trabalho Um formigueiro Uma célula Um time de futebol Perguntas: O que é organização Quais os tipos de organização Por

Leia mais

4) Defina o que vem a ser um algoritmo, e porque, o mesmo depende do processo.

4) Defina o que vem a ser um algoritmo, e porque, o mesmo depende do processo. Lista de Exercício 1 Algoritmo e Programação 29/08/2018 (Solução) 1) Escreva conforme a premissas computacionais, o que vem a ser, lógica. R: São as premissas básicas para se executar instruções, alocadas

Leia mais

Análise e projeto de sistemas

Análise e projeto de sistemas Análise e projeto de sistemas Conteúdo: UML O processo de desenvolvimento de software Prof. Patrícia Lucas A linguagem de modelagem unificada (UML) A UML teve origem em uma tentativa de se unificar os

Leia mais

Desenvolvimento de Software Baseado em Componentes. Paulo C. Masiero

Desenvolvimento de Software Baseado em Componentes. Paulo C. Masiero Desenvolvimento de Software Baseado em Componentes Paulo C. Masiero 1 Introdução Frustração com as promessas da Orientação a objetos em relação ao reuso de classes. Frameworks são uma solução para um domínio

Leia mais

3 Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Frameworks

3 Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Frameworks 48 3 Uma Abordagem Orientada a Aspectos para o Desenvolvimento de Frameworks Este capítulo apresenta uma visão geral da contribuição principal deste trabalho: uma abordagem orientada a aspectos para o

Leia mais

Prof. Dr. Jomi Fred Hübner (FURB/SC) Prof. Dr. Jaime Simão Sichman (USP/SP)

Prof. Dr. Jomi Fred Hübner (FURB/SC) Prof. Dr. Jaime Simão Sichman (USP/SP) Organização de Sistemas Multiagentes Prof. Dr. Jomi Fred Hübner (FURB/SC) jomi@inf.furb.br Prof. Dr. Jaime Simão Sichman (USP/SP) jaime.sichman@poli.usp.br 1 Motivação Adaptado de [Erceau e Ferber 91]

Leia mais

Tarefa T 2 - Provisão de QoS com Isolamento na Infraestrutura. I Workshop do Projeto ReVir Recife, 14/03/2012

Tarefa T 2 - Provisão de QoS com Isolamento na Infraestrutura. I Workshop do Projeto ReVir Recife, 14/03/2012 Tarefa T 2 - Provisão de QoS com Isolamento na Infraestrutura I Workshop do Projeto ReVir Recife, 14/03/2012 Equipe UFRJ Universidade Federal do Rio de Janeiro Luís Henrique Maciel Kosmalski Costa 1 aluno

Leia mais

Estilo: BlackBoard. BlackBoard = repositório de dados compartilhados

Estilo: BlackBoard. BlackBoard = repositório de dados compartilhados Estilo: BlackBoard Útil para problemas no qual não há uma solução determinística Uma coleção de programas independentes que trabalham cooperativamente em uma estrutura de dados comum (blackboard) Vários

Leia mais

Visões Arquiteturais. Visões Arquiteturais. Visões Arquiteturais. Visão Conceitual

Visões Arquiteturais. Visões Arquiteturais. Visões Arquiteturais. Visão Conceitual Visões Arquiteturais Separar diferentes aspectos em visões separadas com o objetivo de gerenciar complexidade. Cada visão descreve diferentes conceitos da Engenharia. Visões permitem reduzir a quantidade

Leia mais

Visões Arquiteturais. Visões Arquiteturais

Visões Arquiteturais. Visões Arquiteturais Visões Arquiteturais Separar diferentes aspectos em visões separadas com o objetivo de gerenciar complexidade. Cada visão descreve diferentes conceitos da Engenharia. Visões permitem reduzir a quantidade

Leia mais

HMI: UM MIDDLEWARE PARA OBJETOS DISTRIBUÍDOS SOBRE O PROTOCOLO HTTP

HMI: UM MIDDLEWARE PARA OBJETOS DISTRIBUÍDOS SOBRE O PROTOCOLO HTTP HMI: UM MIDDLEWARE PARA OBJETOS DISTRIBUÍDOS SOBRE O PROTOCOLO HTTP Aluno: Abel Luiz Cechinel Orientador: Paulo Fernando da Silva Sumário Introdução; Fundamentação Teórica; Desenvolvimento; Conclusão;

Leia mais

Prof. Me. Sérgio Carlos Portari Júnior

Prof. Me. Sérgio Carlos Portari Júnior Prof. Me. Sérgio Carlos Portari Júnior Ambientes que visam desenvolver aplicações que precisam de um processamento paralelo e distribuído deverão saber lidar com algumas dificuldades. Isto decorre da heterogeneidade

Leia mais

por parte dos usuários dos sistemas de computação se tornou menos necessária e a popularidade desse tipo de linguagem diminuiu. Mais recentemente, a

por parte dos usuários dos sistemas de computação se tornou menos necessária e a popularidade desse tipo de linguagem diminuiu. Mais recentemente, a 1 Introdução Middleware é um termo cunhado no final da década de 60 (Naur e Randell, 1968), que é freqüentemente empregado para designar uma camada de software que oferece uma infra-estrutura para construção

Leia mais

UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA. Sistemas Distribuídos

UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA. Sistemas Distribuídos UNIVERSIDADE FEDERAL DE GOIÁS INSTITUTO DE INFORMÁTICA Sistemas Distribuídos Mestrado em Ciência da Computação 1o. Semestre / 2006 Prof. Fábio M. Costa fmc@inf.ufg.br www.inf.ufg.br/~fmc/ds-msc2006 Aula

Leia mais

Plano de pesquisa de mestrado em ciência da computação. Márcio G. Morais

Plano de pesquisa de mestrado em ciência da computação. Márcio G. Morais Plano de pesquisa de mestrado em ciência da computação. Márcio G. Morais Introdução Falhas em Robótica Sistema de múltiplos robôs Software em robótica Estado da Arte Situação dos Frameworks c/ tolerância

Leia mais

15/04/2013. Pensar Orientado a Objetos. Projeto Orientado a Objetos. Características de Objetos. Classe de Objetos. Comunicação entre Objetos

15/04/2013. Pensar Orientado a Objetos. Projeto Orientado a Objetos. Características de Objetos. Classe de Objetos. Comunicação entre Objetos DCC / ICEx / UFMG Pensar Orientado a Objetos Projeto Orientado a Objetos Eduardo Figueiredo http://www.dcc.ufmg.br/~figueiredo Onde quer que você olhe no mundo real, você vê objetos Pessoas, animais, plantas,

Leia mais

Sistemas Distribuídos

Sistemas Distribuídos Faculdades SENAC Análise e Desenvolvimento de Sistemas 1 de agosto de 2009 Orientação a Objetos Encapsulamento: Parte interna (privada) dos objetos Implementação: métodos Estado: atributos, variáveis,

Leia mais

Conceitos, Arquitetura e Design

Conceitos, Arquitetura e Design capítulo 1 Conceitos, Arquitetura e Design 1.1 O que são os serviços de diretórios? Segundo a Wikipédia: Um serviço de diretório é um software que armazena e organiza informações sobre os recursos e os

Leia mais

Tipos Abstratos de Dados. Estrutura de Dados

Tipos Abstratos de Dados. Estrutura de Dados Tipos Abstratos de Dados Tipo Abstrato de Dados ou TAD Idéia principal: desvincular o tipo de dado (valores e operações) de sua implementação: O que o tipo faz e não como ele faz! Vantagens da desvinculação:

Leia mais

Informática Básica. Licenciatura em Ciência da Informação. Tito Carlos S. Vieira. Tito Carlos S. Vieira

Informática Básica. Licenciatura em Ciência da Informação. Tito Carlos S. Vieira.   Tito Carlos S. Vieira Informática Básica Licenciatura em Ciência da Informação Tito Carlos S. Vieira E-mail: tito@fe.up.pt 1 Parte II Sistemas Operativos (Utilização do Windows) 2 Sumário O que é um Sistema Operativo (SO)?

Leia mais

Instruções para o projeto final

Instruções para o projeto final Instruções para o projeto final MCTA016 - Paradigmas de Programação 2018-Q2 Profs. Diogo S. Martins e Emilio Francesquini v. 12/06/2018 Resumo dos prazos Parte 0: 19/06 Parte 1: 26/06 Parte 2: 17/07 Parte

Leia mais

C com introdução a OO

C com introdução a OO ... Centro Integrado de Tecnologia da Informação C com introdução a OO ... Centro Integrado de Tecnologia da Informação Aula 9 Ronald Dener - Instrutor Matheus Soares - Monitor 17 / outubro 17 / outubro

Leia mais

Classes e Objetos INTRODUÇÃO À ORIENTAÇÃO A OBJETOS COM JAVA - MÓDULO II. Classes. Objetos. Um modelo para a criação de objetos

Classes e Objetos INTRODUÇÃO À ORIENTAÇÃO A OBJETOS COM JAVA - MÓDULO II. Classes. Objetos. Um modelo para a criação de objetos INTRODUÇÃO À ORIENTAÇÃO A OBJETOS COM JAVA - MÓDULO II Classes e Objetos Objetos Um conjunto de estados e comportamentos Classes Um modelo para a criação de objetos 1 Pacotes e Java API Pacotes Um conjunto

Leia mais

6.1. Teste Baseado em Gramática e Outras Abordagens de Teste

6.1. Teste Baseado em Gramática e Outras Abordagens de Teste 6 Discussão Além das técnicas de teste usando modelos gramaticais, existem outras abordagens de teste funcional de sistemas que estão sendo estudadas pela comunidade científica. Algumas delas se dedicam

Leia mais

Arquitetura de Software Parte 1/3 Introdução* Jorge H. C. Fernandes Junho de 1999

Arquitetura de Software Parte 1/3 Introdução* Jorge H. C. Fernandes Junho de 1999 Arquitetura de Software Parte 1/3 Introdução* Jorge H. C. Fernandes Junho de 1999 Arquitetura de Software Este curso é baseado no livro Software Architecture in Practice, de Len Bass, Paul Clements and

Leia mais

RPC e RMI. Sistemas Distribuídos. Mauro Lopes Carvalho Silva. Professor EBTT DAI Departamento de Informática Campus Monte Castelo

RPC e RMI. Sistemas Distribuídos. Mauro Lopes Carvalho Silva. Professor EBTT DAI Departamento de Informática Campus Monte Castelo Sistemas Distribuídos Mauro Lopes Carvalho Silva Professor EBTT DAI Departamento de Informática Campus Monte Castelo Instituto Federal de Educação Ciência e Tecnologia do Maranhão Objetivos Nesta aula

Leia mais

Linguagens de Domínio Específico

Linguagens de Domínio Específico Linguagens de Domínio Específico Fabio Mascarenhas 2017.1 http://www.dcc.ufrj.br/~fabiom/dsl Definindo DSLs Linguagem específica de domínio: uma linguagem de programação de computadores de expressividade

Leia mais

Técnicas de Reutilização. Reutilização em Programação Orientada a Objetos. Considere três classes... Reuso de Classes.

Técnicas de Reutilização. Reutilização em Programação Orientada a Objetos. Considere três classes... Reuso de Classes. DCC / ICEx / UFMG Técnicas de Reutilização Reutilização em Programação Orientada a Objetos Eduardo Figueiredo http://www.dcc.ufmg.br/~figueiredo Reuso de classes Bibliotecas Frameworks Considere três classes

Leia mais

Matéria Introdutória. Banco de Dados Profa. Dra. Cristina Dutra de Aguiar Ciferri

Matéria Introdutória. Banco de Dados Profa. Dra. Cristina Dutra de Aguiar Ciferri Matéria Introdutória Banco de Dados Motivação Necessidade de armazenar grandes quantidades de dados Necessidade de acessar as informações de maneira eficiente e segura Evolução histórica: desenvolvimento

Leia mais

Projeto. Observatório Nacional de Clima e Saúde

Projeto. Observatório Nacional de Clima e Saúde Projeto Observatório Nacional de Clima e Saúde Coordenação Técnica Institucional: Fiocruz e INPE Coordenação Nacional CGVAM- Coordenação Geral de Vigilância Ambiental Secretaria de Vigilância em Saúde

Leia mais

Apresentação: Karen da Silva Figueiredo

Apresentação: Karen da Silva Figueiredo Sistemas Multi-agentes Andamento do Trabalho Apresentação: Karen da Silva Figueiredo 1 Introdução Área de Interesse: Modelagem e validação de Normas Estudo realizado: normas para SMA, linguagens de modelagem

Leia mais

5 Processo de Reificação e de Desenvolvimento com ACCA

5 Processo de Reificação e de Desenvolvimento com ACCA Uma Arquitetura para a Coordenação e a Composição de Artefatos de Software 53 5 Processo de Reificação e de Desenvolvimento com ACCA Resumo Este capítulo visa esclarecer e descrever atividades existentes

Leia mais

Arquiteturas. Capítulo 2

Arquiteturas. Capítulo 2 Arquiteturas Capítulo 2 Agenda Estilos Arquitetônicos Arquiteturas de Sistemas Arquiteturas Centralizadas Arquiteturas Descentralizadas Arquiteturas Híbridas Arquiteturas e Middleware Sistemas Distribuídos

Leia mais

Engenharia de Software e Gerência de Projetos Prof. Esp. André Luís Belini Bacharel em Sistemas de Informações MBA em Gestão Estratégica de Negócios

Engenharia de Software e Gerência de Projetos Prof. Esp. André Luís Belini Bacharel em Sistemas de Informações MBA em Gestão Estratégica de Negócios Engenharia de Software e Gerência de Projetos Prof. Esp. André Luís Belini Bacharel em Sistemas de Informações MBA em Gestão Estratégica de Negócios Cronograma das Aulas. Hoje você está na aula Semana

Leia mais

SISTEMAS DISTRIBUÍDOS ARQUITETURAS. Slides cedidos pela Professora Aline Nascimento

SISTEMAS DISTRIBUÍDOS ARQUITETURAS. Slides cedidos pela Professora Aline Nascimento SISTEMAS DISTRIBUÍDOS ARQUITETURAS Slides cedidos pela Professora Aline Nascimento INTRODUÇÃO A organização dos SDs trata em grande parte dos componentes de software que constituem o sistema Os componentes

Leia mais

Plataformas de Distribuição de Objetos

Plataformas de Distribuição de Objetos Plataformas de Distribuição de Objetos Denominações Equivalentes: Modelos de Componentes Modelos de Integração de Objetos Motivação: Reuso de objetos Redução do Tempo e do Custo de Desenvolvimento de Software

Leia mais

Objetos e Componentes Distribuídos: EJB e CORBA

Objetos e Componentes Distribuídos: EJB e CORBA : EJB e CORBA Sistemas Distribuídos Mauro Lopes Carvalho Silva Professor EBTT DAI Departamento de Informática Campus Monte Castelo Instituto Federal de Educação Ciência e Tecnologia do Maranhão Objetivos

Leia mais

UNIVERSIDADE FEDERAL DE SANTA CATARINA CAMPUS ARARANGUÁ - ARA PLANO DE ENSINO SEMESTRE TURMAS TEÓRICAS TURMAS PRÁTICAS Presencial

UNIVERSIDADE FEDERAL DE SANTA CATARINA CAMPUS ARARANGUÁ - ARA PLANO DE ENSINO SEMESTRE TURMAS TEÓRICAS TURMAS PRÁTICAS Presencial I. IDENTIFICAÇÃO DA DISCIPLINA: UNIVERSIDADE FEDERAL DE SANTA CATARINA CAMPUS ARARANGUÁ - ARA PLANO DE ENSINO SEMESTRE 2017.2 CÓDIGO NOME DA DISCIPLINA N O DE HORAS-AULA SEMANAIS TEÓRICAS PRÁTICAS TOTAL

Leia mais

SEMÂNTICA. Rogério Rocha. rode = program simples = var x : int := 3 in x := x + 5 end.

SEMÂNTICA. Rogério Rocha. rode = program simples = var x : int := 3 in x := x + 5 end. SEMÂNTICA program simples = var x : int := 3 in x := x + 5 end. rode =? Rogério Rocha Roteiro Introdução Sintaxe Semântica Dinâmica (Métodos formais) Operacional Axiomática Denotacional Estática Conclusão

Leia mais

INE5421 LINGUAGENS FORMAIS E COMPILADORES

INE5421 LINGUAGENS FORMAIS E COMPILADORES INE5421 LINGUAGENS FORMAIS E COMPILADORES PLANO DE ENSINO Objetivo geral Conhecer a teoria das linguagens formais visando sua aplicação na especificação de linguagens de programação e na construção de

Leia mais

PMR3507 Fábrica digital

PMR3507 Fábrica digital LSA Laboratório de Sistemas de Automação www.pmrlsa.poli.usp.br PMR3507 Fábrica digital Empresas Virtuais Escola Politécnica da Universidade de São Paulo Departamento de Engenharia Mecatrônica e de Sistemas

Leia mais

Sistemas Operacionais. Estrutura do Sistema Operacional

Sistemas Operacionais. Estrutura do Sistema Operacional Sistemas Operacionais Estrutura do Sistema Operacional Sumário 1. Introdução 2. Funções do Núcleo 3. Modo Acesso 4. Mecanismos de Proteção 5. Grupos de Funções 6. Terminologia e Portabilidade 7. Linguagem

Leia mais

Aula 13 Modelagem da Arquitetura

Aula 13 Modelagem da Arquitetura Aula 13 Modelagem da Arquitetura Alessandro Garcia LES/DI/PUC-Rio Setembro 2017 Especificação Objetivos dessa aula Notação de modelagem da arquitetura Realizar exercício: definição da arquitetura do programa

Leia mais

Desenvolvimento de Software Baseado em Componentes. Paulo C. Masiero

Desenvolvimento de Software Baseado em Componentes. Paulo C. Masiero Desenvolvimento de Software Baseado em Componentes Paulo C. Masiero 1 Introdução Frustração com as promessas da Orientação a objetos em relação ao reuso de classes. Frameworks são uma solução para um domínio

Leia mais

Aula 11 Modelagem da Arquitetura. Alessandro Garcia LES/DI/PUC-Rio Abril 2016

Aula 11 Modelagem da Arquitetura. Alessandro Garcia LES/DI/PUC-Rio Abril 2016 Aula 11 Modelagem da Arquitetura Alessandro Garcia LES/DI/PUC-Rio Abril 2016 Especificação Objetivos dessa aula Revisar notação de modelagem da arquitetura Realizar exercício: definição da arquitetura

Leia mais

Ferramenta para Desenvolvimentode Sistemas EmbarcadosUtilizando Linguagem de Alto Nível p.1/25

Ferramenta para Desenvolvimentode Sistemas EmbarcadosUtilizando Linguagem de Alto Nível p.1/25 Universidade Federal do Rio Grande do Sul Escola de Engenharia - Instituto de Informática Graduação em Engenharia de Computação Ferramenta para Desenvolvimento de Sistemas Embarcados Utilizando Linguagem

Leia mais

2 Fidedignidade de Sistemas Multiagentes Abertos

2 Fidedignidade de Sistemas Multiagentes Abertos 20 2 Fidedignidade de Sistemas Multiagentes Abertos Neste capítulo serão apresentados os principais conceitos sobre software dependability [16][17], e sua importância para sistemas multiagentes abertos.

Leia mais

Bancos de Dados Aula #2 - Modelos Conceituais de Dados

Bancos de Dados Aula #2 - Modelos Conceituais de Dados Bancos de Dados Aula #2 - Modelos Conceituais de Dados Prof. Eduardo R. Hruschka * Slides baseados no material elaborado pelas professoras: Cristina D. A. Ciferri Elaine P. M. de Souza Motivação Objetivo

Leia mais

3 Trabalhos Relacionados

3 Trabalhos Relacionados 3 Trabalhos Relacionados As propostas para ambientes de apresentação declarativos compatíveis com sistemas que implementem o GEM são relativamente recentes. A própria especificação MHP, como já mencionado,

Leia mais

Algoritmos Computacionais

Algoritmos Computacionais UNIDADE 1 Processador e instruções Memórias Dispositivos de Entrada e Saída Software ARQUITETURA BÁSICA UCP Unidade central de processamento MEM Memória E/S Dispositivos de entrada e saída UCP UNIDADE

Leia mais

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPI JOÃO CÂMARA RATIONAL UNIFIED PROCESS - RUP

INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPI JOÃO CÂMARA RATIONAL UNIFIED PROCESS - RUP 1 INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE CAMPI JOÃO CÂMARA RATIONAL UNIFIED PROCESS - RUP Nickerson Fonseca Ferreira nickerson.ferreira@ifrn.edu.br Introdução 2 Modelo

Leia mais

Aula 4 Encapsulamento e Relacionamento Cleverton Hentz

Aula 4 Encapsulamento e Relacionamento Cleverton Hentz Aula 4 Encapsulamento e Relacionamento Cleverton Hentz Sumário } Encapsulamento } Propriedades } Relacionamentos } Composição } Herança 2 O que é encapsulamento? } O que vocês entendem por encapsular?!

Leia mais

ENGENHARIA DE SOFTWARE

ENGENHARIA DE SOFTWARE EMENTA ENGENHARIA DE SOFTWARE DISCIPLINA: Estrutura e Fluxo de Informação EMENTA: A disciplina Estrutura e Fluxo de Informação se propõe a capacitar o aluno sobre os fundamentos da Gestão da Informação

Leia mais

Linguagens de Programação Funcional

Linguagens de Programação Funcional Linguagens de Programação Funcional Conceitos de Linguagens de Programação Pedro Libório Setembro de 2013 2 Roteiro Introdução Funções matemáticas Fundamentos das linguagens de programação funcionais A

Leia mais

Campus Capivari Análise e Desenvolvimento de Sistemas (ADS) Prof. André Luís Belini /

Campus Capivari Análise e Desenvolvimento de Sistemas (ADS) Prof. André Luís Belini   / Campus Capivari Análise e Desenvolvimento de Sistemas (ADS) Prof. André Luís Belini E-mail: prof.andre.luis.belini@gmail.com / andre.belini@ifsp.edu.br MATÉRIA: ENGENHARIA DE SOFTWARE Aula N : 06 Tema:

Leia mais

Middleware para trilhas sonoras dinâmicas. em jogos digitais

Middleware para trilhas sonoras dinâmicas. em jogos digitais Middleware para trilhas sonoras dinâmicas em jogos digitais Nome: Lucas Dário Supervisor: Prof. Dr. Marcelo Queiroz MAC0499 - Trabalho de Conclusão de Curso Abril, 2015 1 1 Introdução Com o desenvolvimento

Leia mais

Introdução. descrever os tipos de interfaces e linguagens oferecidas por um SGBD. mostrar o ambiente de programas dos SGBD s

Introdução. descrever os tipos de interfaces e linguagens oferecidas por um SGBD. mostrar o ambiente de programas dos SGBD s Introdução Contribuição do Capítulo 2: discutir modelos de dados definir conceitos de esquemas e instâncias descrever os tipos de interfaces e linguagens oferecidas por um SGBD mostrar o ambiente de programas

Leia mais

Exemplos de Estilos Arquiteturais. Estilos Arquiteturais. Estilos Arquiteturais. Estilo: Pipe e Filtros

Exemplos de Estilos Arquiteturais. Estilos Arquiteturais. Estilos Arquiteturais. Estilo: Pipe e Filtros Estilos Arquiteturais Em geral sistemas seguem um estilo, ou padrão, de organização estrutural Os estilos diferem: nos tipos de componentes que usa na maneira como os componentes interagem com os outros

Leia mais

Sistemas Distribuídos

Sistemas Distribuídos Sistemas Distribuídos Arquitetura de Sistemas Distribuídos Gustavo Reis gustavo.reis@ifsudestemg.edu.br 1 - Arquitetura Em sistemas distribuídos a meta é separar aplicações das plataformas subjacentes,

Leia mais

Desenvolvimento de Sistemas Orientados a Objetos com UML UP/RUP: Projeto

Desenvolvimento de Sistemas Orientados a Objetos com UML UP/RUP: Projeto Desenvolvimento de Sistemas Orientados a Objetos com UML UP/RUP: Projeto Engenharia de Software I Informática 2006 Profa. Dra. Itana Gimenes RUP: Projeto Artefatos Modelo de Projeto: Lista de classes de

Leia mais

Um estudo de caso usando o método formal Z para especificação de um

Um estudo de caso usando o método formal Z para especificação de um Um estudo de caso usando o método formal Z para especificação de um sistema Bruno Biribio Woerner Orientado por José Roque Voltolini da Silva Roteiro da apresentação Introdução Objetivos Fundamentação

Leia mais

Engenharia de Software

Engenharia de Software Engenharia de Software Requisitos de Software Professor: Charles Leite Engenharia de requisitos Os requisitos de um sistema são as descrições do que o sistema deve fazer, os serviços que oferece e as restrições

Leia mais

Banco de Dados. SGBDs. Professor: Charles Leite

Banco de Dados. SGBDs. Professor: Charles Leite Banco de Dados SGBDs Professor: Charles Leite Sistemas de BD Vimos que um BANCO DE DADOS representa uma coleção de dados com algumas propriedades implícitas Por exemplo, um BD constitui os dados relacionados

Leia mais

POLÍTICA INFORMACIONAL DO REPOSITÓRIO INSTITUCIONAL DA UNIVERSIDADE FEDERAL DE ITAJUBÁ

POLÍTICA INFORMACIONAL DO REPOSITÓRIO INSTITUCIONAL DA UNIVERSIDADE FEDERAL DE ITAJUBÁ POLÍTICA INFORMACIONAL DO REPOSITÓRIO INSTITUCIONAL DA UNIVERSIDADE FEDERAL DE ITAJUBÁ 1 O Repositório Institucional da UNIFEI é um conjunto de serviços oferecidos pela Biblioteca Mauá para a gestão e

Leia mais

5 Impactos Econômicos do Sistema Proposto

5 Impactos Econômicos do Sistema Proposto 5 Impactos Econômicos do Sistema Proposto Neste capítulo são avaliados o impacto econômico e as vantagens resultantes da utilização da tecnologia RFID proposta, implementada na camada óptica física, atuando

Leia mais

UTILIZAÇÃO DO FRAMEWORK HIBERNATE NA CONSTRUÇÃO DE UM SISTEMA DE INFORMAÇÃO

UTILIZAÇÃO DO FRAMEWORK HIBERNATE NA CONSTRUÇÃO DE UM SISTEMA DE INFORMAÇÃO UTILIZAÇÃO DO FRAMEWORK HIBERNATE NA CONSTRUÇÃO DE UM SISTEMA DE INFORMAÇÃO Anderson Carlos Lopes 1, Luiz Fernando Braga Lopes 1 Universidade Paranaense (UNIPAR) Paranavaí - PR Brasil andersoncarloslopes@hotmail.com,

Leia mais

Agenda. Introdução. Introdução. Sistemas Gerenciadores de Workflow. Fábio Bezerra

Agenda. Introdução. Introdução. Sistemas Gerenciadores de Workflow. Fábio Bezerra Sistemas Gerenciadores de Agenda Fábio Bezerra fbezerra@amazon.com.br 1. Introdução 2. WfMC 3. Definições 1. 2. Sistema Gerenciador de 4. Modelo 5. s Ad hoc 6. Referência Introdução Introdução! Necessidade

Leia mais

3 Uma Arquitetura Distribuída via WEB

3 Uma Arquitetura Distribuída via WEB 24 3 Uma Arquitetura Distribuída via WEB Neste capítulo será apresentada a Arquitetura de Ambiente Distribuído no qual está implementado o Gerador VRML (VRMLGer) e o fluxo de dados que há entre as diferentes

Leia mais

Visões Arquiteturais. Arquitetura de Software Thaís Batista

Visões Arquiteturais. Arquitetura de Software Thaís Batista Visões Arquiteturais Separar diferentes aspectos em visões separadas com o objetivo de gerenciar complexidade. Cada visão descreve diferentes conceitos da Engenharia. Visões permitem reduzir a quantidade

Leia mais

Arquitetura e Protocolos de Rede TCP/IP

Arquitetura e Protocolos de Rede TCP/IP Arquitetura e Protocolos de Rede TCP/IP Modelo Arquitetural Prof. Sales Filho Agenda Motivação Objetivos Histórico Família de protocolos TCP/IP Modelo de Interconexão Arquitetura

Leia mais

Programação Distribuída. Arquiteturas

Programação Distribuída. Arquiteturas Programação Distribuída Arquiteturas Programação Distribuída A arquitetura de um Sistema Distribuído diferencia entre a organização de componentes de software e a realização física. A organização de sistema

Leia mais

Atributos e Métodos Estáticos

Atributos e Métodos Estáticos Atributos e Métodos Estáticos Universidade Católica de Pernambuco Ciência da Computação Prof. Márcio Bueno poonoite@marciobueno.com Fonte: Material da Profª Karina Oliveira Atributos Estáticos Atributos

Leia mais

Sistemas Distribuídos

Sistemas Distribuídos Sistemas Distribuídos LICENCIATURA EM COMPUTAÇÃO Prof. Adriano Avelar Site: www.adrianoavelar.com Email: eam.avelar@gmail.com 1. Que são sistemas abertos? É um sistema que oferece serviços de acordo com

Leia mais

132 6 Conclusão 6.1. Contribuições da Tese

132 6 Conclusão 6.1. Contribuições da Tese 132 6 Conclusão Esta tese teve como objetivo principal o estudo da aplicação de transformações para manter a rastreabilidade de um sistema de software. Esta abordagem permite a captura automática das informações

Leia mais

Inteligência Artificial Agentes Inteligentes

Inteligência Artificial Agentes Inteligentes Inteligência Artificial Jarley P. Nóbrega, Dr. Faculdade Nova Roma Bacharelado em Ciência da Computação jpn@jarley.com Semestre 2018.2 Jarley P. Nóbrega, Dr. (Nova Roma) Inteligência Artificial Semestre

Leia mais

Apresentação do Capítulo 4 MDA (Model-Driven Archtecture) ALUNO: DOMENICO SCHETTINI FILHO NÚMERO USP:

Apresentação do Capítulo 4 MDA (Model-Driven Archtecture) ALUNO: DOMENICO SCHETTINI FILHO NÚMERO USP: Apresentação do Capítulo 4 MDA (Model-Driven Archtecture) ALUNO: DOMENICO SCHETTINI FILHO NÚMERO USP: 8429016 Definição de MDA OMG (Object Management Group) propôs uma aplicação abrangente das práticas

Leia mais

DIAGRAMAS DE CLASSE UML

DIAGRAMAS DE CLASSE UML DIAGRAMAS DE CLASSE UML Projeto Detalhado de Software (PDS) Profa. Cynthia Pinheiro Antes de mais nada... Calendário de Reposições Aula 1: 27/10/2017, 8h-10h, Sala 8 Aula 2: A verificar Aula 3: A verificar

Leia mais

Invocação Remota. Prof. Leonardo Barreto Campos. 1/29

Invocação Remota. Prof. Leonardo Barreto Campos.   1/29 Invocação Remota Prof. Leonardo Barreto Campos 1/29 Sumário Introdução Chamada de Procedimento Remoto Invocação a Método Remoto Leitura Complementar Bibliografia 2/29 Introdução Essa aula trata como os

Leia mais

Gerência de Redes Turma : N

Gerência de Redes Turma : N Gerência de Redes Turma : 20172.5.01405.1N SNMP Introdução Prof. Thiago Dutra Agenda n Histórico n Arquitetura SNMP n Estação de Gerenciamento n Agente de Gerenciamento n Base

Leia mais

Paradigmas de Programação

Paradigmas de Programação Paradigmas de Programação Sintaxe e semântica Aula 4 Prof.: Edilberto M. Silva http://www.edilms.eti.br Prof. Edilberto Silva / edilms.eti.br Sintaxe A sintaxe de uma linguagem de programação é a forma

Leia mais

Documento de Visão Sistema de Apostas Palpite Certo

Documento de Visão Sistema de Apostas Palpite Certo Documento de Visão Sistema de Apostas Palpite Certo Versão do documento: 1.2 Data de atualização: 02 de Março de 2012 Sumário 1 INTRODUÇÃO... 3 1.1 RESUMO... 3 1.2 ESCOPO... 3 2 REQUISITOS... 4 2.1 REQUISITOS

Leia mais

Arquitetura Cliente-Servidor Generalizada com identificação de tiers. Arquitetura Cliente-Servidor Generalizada com identificação de tiers

Arquitetura Cliente-Servidor Generalizada com identificação de tiers. Arquitetura Cliente-Servidor Generalizada com identificação de tiers Projeto de Sistemas Distribuídos Prof João Paulo A Almeida (@infufesbr) Projeto de Sistemas Distribuídos Até agora consideramos apenas a infraestrutura para a construção de aplicações distribuídas (middleware)

Leia mais

4 Arquitetura BDI Belief Desire Intention

4 Arquitetura BDI Belief Desire Intention 4 Arquitetura BDI Belief Desire Intention Entre os diversos seguimentos da Inteligência Artificial (IA), alguns são dedicados ao estudo de arquiteturas de agentes deliberativos baseadas em estados mentais.

Leia mais

Smart Grids ALGORITMO DISTRIBUÍDO PARA AUTORRECUPERAÇÃO DE UTILIZANDO UM SISTEMA MULTIAGENTE REATIVO. laai.ufpa.br. Filipe Saraiva

Smart Grids ALGORITMO DISTRIBUÍDO PARA AUTORRECUPERAÇÃO DE UTILIZANDO UM SISTEMA MULTIAGENTE REATIVO. laai.ufpa.br. Filipe Saraiva U N I V E R S I D A D E F E D E R A L D O P A R Á F A C U L D A D E D E C O M P U T A Ç Ã O ALGORITMO DISTRIBUÍDO PARA AUTORRECUPERAÇÃO DE Smart Grids UTILIZANDO UM SISTEMA MULTIAGENTE REATIVO Italo Ramon

Leia mais

Servidor DHCP Dynamic Host Configuration Protocol

Servidor DHCP Dynamic Host Configuration Protocol Servidor DHCP Dynamic Host Configuration Protocol IFSC UNIDADE DE SÃO JOSÉ CURSO TÉCNICO SUBSEQUENTE DE TELECOMUNICAÇÕES! Prof. Tomás Grimm DHCP Numa rede de Arquitetura TCP/IP, todo computador tem que

Leia mais

Programação procedimental

Programação procedimental Prof. André Backes Programação procedimental Também chamada de programação procedural Contêm um conjunto de passos computacionais a serem executados Problemas são decompostos em sub-problemas Modularização

Leia mais

Um Serviço Escalável e Robusto para Gerenciamento de Membros em Grades Computacionais de Grande Escala*

Um Serviço Escalável e Robusto para Gerenciamento de Membros em Grades Computacionais de Grande Escala* Um Serviço Escalável e Robusto para Gerenciamento de Membros em Grades Computacionais de Grande Escala* Fernando Castor Filho 1, Rodrigo Castro 2, Augusta Marques 2, Francisco M. Soares-Neto 2, Raphael

Leia mais

Rede de computadores Cliente- servidor. Professor Carlos Muniz

Rede de computadores Cliente- servidor. Professor Carlos Muniz Rede de computadores Professor Carlos Muniz Definição Cliente-servidor é um modelo computacional que separa clientes e servidores, sendo interligados entre si geralmente utilizando-se uma rede de computadores.

Leia mais

Gossip Protocol utilizando GEMS. Alunos: João Batista, Lucas Eugênio, Vinícius Coelho

Gossip Protocol utilizando GEMS. Alunos: João Batista, Lucas Eugênio, Vinícius Coelho Gossip Protocol utilizando GEMS Alunos: João Batista, Lucas Eugênio, Vinícius Coelho Gossip-protocol - Confiavel, escalavel, rápido; - Usado para detecção de falhas; - Consenso distribuído de falhas, entre

Leia mais

Estrutura do SO. Prof. Paulo Cesar F. de Oliveira, BSc, PhD

Estrutura do SO. Prof. Paulo Cesar F. de Oliveira, BSc, PhD Estrutura do SO Prof. Paulo Cesar F. de Oliveira, BSc, PhD 1 Seção 1.1 Introdução 2 Usuários Aplicações Utilitários Linguagem de Comandos Núcleo do Sistema ou kernel Rotinas do Sistema Operacional Hardware

Leia mais

Engenharia de Requisitos

Engenharia de Requisitos Engenharia de Requisitos Introdução a Engenharia de Requisitos Professor: Ricardo Argenton Ramos Engenharia de Software I 2013.2 Slide 1 Objetivos Introduzir a noção de requisitos do sistema e o processo

Leia mais

Gerenciamento Baseado em Políticas

Gerenciamento Baseado em Políticas Gerenciamento Baseado em Políticas Motivação Situação do gerenciamento padrão Redes heterogêneas Número de equipamentos elevado Número de serviços elevado Muitas informações de gerenciamento! Motivação

Leia mais