Especificação Formal da Sintaxe Abstrata do Guaraná DSL
|
|
- Cármen Covalski Meneses
- 8 Há anos
- Visualizações:
Transcrição
1 Projeto de Mestrado Mestrando: Mauri Klein UNIJUI Especificação Formal da Sintaxe Abstrata do Guaraná DSL Grupo de pesquisa em Computação Aplicada Orientador: Prof. Dr. Sandro Sawicki Coorientadora: Profa. Dra. Fabricia Roos Frantz Ijui, RS - Brasil Maio de 2014
2 Contextualização Fonte: Frantz et al, 2011
3 Contextualização Integração de Aplicações Empresariais (Linthicum, 1999), (Hohpe e Woolf, 2003);
4 Contextualização Tecnologias para geração de Soluções de integração: (Dossot e D'Emic, 2009) (Ibsen e Anstey, 2010) (Fisher et al., 2010); Guaraná (Frantz et al., 2011).
5 Contextualização Tolerância a Falhas e suas etapas (Frantz et al, 2012); Event Reporting Error Monitoring Error Diagnosing Error Recovery
6 Tecnologia Guaraná (Frantz et al, 2011) Proposta inovadora; Guaraná DSL é uma linguagem específica de domínio (DSL - Domain-Specific Language) para projetar soluções de Integração de Aplicações Empresariais em um alto nível de abstração. Facilidade de uso; Construção gráfica de soluções; Processamento assíncrono de tarefas; Utilização de Buffers com liberação das tarefas; Reutilização dos projetos; Independentes de plataforma; Soluções de integração executáveis para diferentes tecnologias;
7 Processo de Construção do Guaraná Fonte: Frantz et al., 2011
8 Motivação... Apesar de existir um mecanismo de Tolerância a Falhas, as regras que o compõe são inseridas manualmente por engenheiros de software; Cada nova Solução de Integração corresponde a novas regras;
9 Motivação... como garantir que estas regras estejam corretas?
10 Motivação... Como GERÁ-LAS automaticamente? E como VALIDÁ-LAS?
11 Motivação... FORMALIZAÇÃO!!!
12 Métodos Formais Técnicas que utilizam modelos matemáticos rigorosamente especificados para construir Software. Utilizam a prova matemática como complemento de teste de sistema;
13 Métodos Formais Testes mostram em que situação o sistema não falhará (Bentley, 1989); Verificação formal não elimina os testes (Bowen e Hinchey, 1995) (Kling, 1995);
14 Etapas do Processo de Formalização... (Menezes, 2008) Especificação Formal; Define com muito rigor as especificidades do sistema e consegue expressar com maior clareza as mesmas (Kling, 1995); Verificação; Forte ênfase na Correção e clareza; Através de ferramentas; Implementação; Especificação em código;
15 Etapas do Processo de Formalização... (Menezes, 2008) Especificação Formal; Define com muito rigor as especificidades do sistema e consegue expressar com maior clareza as mesmas (Kling, 1995); Verificação; Forte ênfase na Correção e clareza; Através de ferramentas; Implementação; Especificação em código;
16 Objetivo Geral Propor um modelo com a especificação formal da sintaxe abstrata do Guaraná DSL.
17 Objetivos Específicos Contextualizar os ambientes empresariais; Apresentar os conceitos de tolerância a falhas; Apresentar as especificidades do Guaraná DSL; Estudar os métodos formais e destacar aqueles com características desejáveis; Validar a Especificação Formal da Sintaxe Abstrata do Guaraná DSL;
18 ICEIS... Proposta inicial da Especificação Formal da sintaxe abstrata do Guaraná DSL foi aceita para o ICEIS. Para esta proposta foi utilizado o método formal denominado notação Z.
19 Tipos e Restrições... Metamodelo UML (Fonte: Frantz et al., 2011) [Name, Script] (1) Type::= Task Port Slot Process Application Link (2) A type1, type2 : Type type1.name = type2.name type1=type2 (3)
20 Esquemas e Relacionamentos...
21 Esquemas e Relacionamentos...
22 Esquemas e Relacionamentos...
23 Cronograma de Atividades Atividades M A M J J A S O N D J F M Contexto da pesquisa (background) Integração de Aplicações Empresariais;Tolerância a Falhas;Guaraná DSL e Guaraná FT; Formalização e Validação Escrita do projeto de dissertação 13 Entrega do projeto de dissertação para os orientadores 13 Prévia da defesa do projeto de dissertação 09 Defesa do projeto de dissertação 12 Estudo dos métodos formais a partir da literatura 15 Extrair as características que contemplam o contexto do problema 15 Identificar os métodos formais com base no contexto do problema 01 Seminário de Andamento (GCA) 01 Trabalhos relacionados que utilizam os métodos formais identificados 01 Elaborar um glossário de termos envolvidos na pesquisa 01 Framework de comparação 01 Seminário de Andamento (GCA) 01 Com base na comparação do item anterior, escolher dois métodos formais a serem utilizados na dissertação Elaboração do modelo 10 Validação do modelo 01 Escrita de artigo 15 Prévia 1 da defesa de dissertação (GCA) 22 Entrega da primeira versão completa da dissertação para revisão pelos orientadores 05 Entrega da versão final da dissertação (corrigida) 17 Escrita de proposta de capítulo de livro 24 Prévia 2 da defesa de dissertação (GCA) 26 Defesa da dissertação M A M J J A S O N D J F M
24 Contribuições... Classificação: Qualis B1
25 Bibliografia... Alonso, G., Hagen, C., Divyakant, D., Abbadi, A. E., and Mohan C.(2000). Enhancing the fault tolerance of workflow management systems. IEEE Concurrency, 8(3): Anderson, T., Lee, P. A. (1981). Fault tolerance -principles and practice. Englewood Cliffs, Prentice-Hall. Avizienis, A., Laprie, J.-C., Randell, B., and Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. on Depend. and Secure Comp., 1(1):11 33, Jan-Mar 2004 Baresi, L., Guinea, S., Kazhamiakin, R., and Pistore, M. (2008). An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations. In Towards a Service-Based Internet, volume 5377 of LNCS, pages Springer. Borrego, D., Gasca, R. M., Gómez-López, M. T., and Parody, L. (2010). Contract based diagnosis for business process instances using business compliance rules. In Proc. 21th Int l Workshop on Principles of Diagnosis (DX 10) Bowen, J. P., and Hinchey, M. G. (1995). Seven more myths of formal methods, IEEE Software, 12(4): 34-41, July. Bowen, J. P., and Stavridou, V. (1993). Safety-critical systems, formal methods and standards, IEE/BCS Software Engineering Journal, 8(4): , July. Campbell, R., and Randell, B. (1986). Error recovery in asynchronous systems. IEEE Trans. Soft. Eng., 12(8): Channabasavaiah, K., Holley, K., Tuggle, Jr., and Edward, M. (2004). Migrating to a service-oriented architecture. IBM DeveloperWorks. New York: [s.n.]. Disponível em: <ftp:// /software/info/openenvironment/g _Final.pdf>. Chen, M., Accardi, A., Kiciman, E., Lloyd, J., Patterson, D., Fox, A., and Brewer, E. (2004). Path-based failure and evolution management. In Proc. Int l Symp. Netw. Syst. Des. and Impl., page 23. Dossot, D. and D Emic, J. (2009). Mule in Action. Manning. Fisher, M., Partner, J., Bogoevici, M., and Fuld, I. (2010). Spring Integration in Action. Manning. Frantz, R. Z. (2012). Enterprise Application Integration. Doctoral Dissertation. University of Seville. February, Frantz, R. Z., Corchuelo, R., and Molina-Jiménez, C. (2012). A proposal to detect errors in Enterprise Application Integration solutions. Journal of Systems and Software, 85(3):
26 Frantz, R. Z., Quintero, A.M. R., and Corchuelo, R. (2011). A Domain-Specific Language to Design Enterprise Application Integration Solutions. Int. J. Cooperative Inf. Syst., 20(2): Gaudel, M.-C. (1995). Testing Can Be Formal, Too. In TAPSOFT 95: Theory and Practice of Software Development, 6 th International Joint Conference CAAP/FASE, volume 915 of Lecture Notes in Computer Science, pages 82 96, Aarhus, Denmark, Maio Springer. Hagen C., and Alonso G. (2000). Exception handling in workflow management systems. IEEE Trans. Softw. Eng., 26(10): Hohpe, G. (2002). Enterprise Application Integration. In Proc. 9th Conf. on Pattern Language of Programms, page #14. Hohpe, G. and Woolf, B. (2003). Enterprise Integration Patterns - Designing, Build ing, and Deploying Messaging Solutions. Addison-Wesley. Ibsen, C. and Anstey, J. (2010). Camel in Action. Manning. Kling, R. (1995). Systems safety, normal accidents, and social vulnerability. In Computerization and controversy (2nd ed.), Rob Kling (Ed.). Academic Press, Inc., Orlando, FL, USA Laprie, J. C. (1998) Dependability: von concepts to limits. In: Proceedings of the IFIP International Workshop on Dependable Computing and its Applications. DCIA 98, Johannesburg, South Africa, January p Li, L., Hadjicostis, C., and Sreenivas, R. (2008). Designs of bisimilar petri net controllers with fault tolerance capabilities. IEEE Trans. Syst. Man Cybern. Part A: Syst. Humans, 38(1): Linthicum, D. S. (1999). Enterprise Application Integration. 1. ed. [S.l.]: Wesley, Publisher Addison. p Menezes, P. B. (2008). Linguagens formais e autômatos. 5. ed. Porto Alegre: Bookmann: Instituto de Informática da UFRGS. Messerschmitt D. and Szyperski C. A. (2003). Software Ecosystem: Understanding an Indispensable Technology and Industry. MIT Press.
27 Moura, A. V. (2001). Especificações em Z: uma introdução. Campinas, SP: Editora da Unicamp. Pradhan, D. K. (1996). Fault-Tolerant System Design. Prentice Hall, New Jersey. Rainer Jr, R. K. e Cegielski, C. (2012) Introdução a Sistemas de Informação, 3ª Ed. Rio de Janeiro. Editora Elsevier Brasil. Singh, S. (2008). O Último Teorema de Fermat. Tradução de Jorge Luiz Calife. 14ª Ed. Rio de Janeiro: Record, Sommerville, I. (2003). Engenharia de Software. São Paulo. Pearson Addison Wesley. Tonsig, S. L. (2008). Engenharia de Software. Análise e Projeto de Sistemas. Rio de Janeiro. Editora Ciência Moderna Ltda. van Lamsweerde, A. (2000). Formal specification: a roadmap. In ICSE - Future of SE Track, pages Weiss, J. (2005). Aligning relationships: Optimizing the value of strategic outsourcing, Technical report, IBM. Wu, Q., Pu, C., and Sahai, A. (2006). DAG synchronization contraint language for business process. In IEEE Int l Conf. on Commerce and Enterprise Computing (CEC 09). IEEE Computer Society. Yan, Y., and Dague, P. (2007). Modeling and diagnosing orchestrated web service processes. In Proc. IEEE Int l Conf. on Web Serv. (ICWS 2007), pages 51 59, July 9-13, Salt Lake City, Utah. IEEE Computer Society.
28 Obrigado!!! Grupo de pesquisa em Computação Aplicada Gratuidade Capes-Prosup Mauri Klein Site:
MODELAGEM DE UMA SOLUÇÃO DE INTEGRAÇÃO PARA O PROCESSO DE REMATRÍCULA DA UNIVERSIDADE UNIJUÍ 1
MODELAGEM DE UMA SOLUÇÃO DE INTEGRAÇÃO PARA O PROCESSO DE REMATRÍCULA DA UNIVERSIDADE UNIJUÍ 1 Igor G. Haugg 2, Rafael Z. Frantz 3, Fabricia Roos-Frantz 4, Sandro Sawicki 5. 1 Pesquisa de Iniciação em
Leia maisRumo a Implantação de Soluções de Integração na Nuvem
Rumo a Implantação de Soluções de Integração na Nuvem Igor Haugg Bolsista PIBITI/CNPq Curso de Ciências da Computação Área de Pesquisa Integração de Aplicações Empresariais Computação em Nuvem Projeto
Leia maisModelagem Conceitual de uma Solução de Integração para o Processo de Rematrícula da Universidade Unijuí
Modelagem Conceitual de uma Solução de Integração para o Processo de Rematrícula da Universidade Unijuí Igor G. Haugg Bolsista PIBITI/CNPq Orientador: Dr. Rafael Z. Frantz Área de Pesquisa [ GCA Prof.
Leia maisUMA PROPOSTA PARA COMPARAÇÃO DE PROVEDORES DE COMPUTAÇÃO EM NUVEM DESDE UMA PERSPECTIVA DE INTEGRAÇÃO DE APLICAÇÕES 1
UMA PROPOSTA PARA COMPARAÇÃO DE PROVEDORES DE COMPUTAÇÃO EM NUVEM DESDE UMA PERSPECTIVA DE INTEGRAÇÃO DE APLICAÇÕES 1 Igor G. Haugg 2, Rafael Z. Frantz 3, Fabricia Roos-Frantz 4, Sandro Sawicki 5. 1 Pesquisa
Leia maisANÁLISE DA MÉDIA DOS TEMPOS DE EXECUÇÃO DE TAREFAS DA TECNOLOGIA GUARANÁ 1 ANALYSIS OF THE AVERAGE EXECUTION TIMES OF GUARANÁ TECHNOLOGY TASKS
ANÁLISE DA MÉDIA DOS TEMPOS DE EXECUÇÃO DE TAREFAS DA TECNOLOGIA GUARANÁ 1 ANALYSIS OF THE AVERAGE EXECUTION TIMES OF GUARANÁ TECHNOLOGY TASKS Félix Hoffmann Sebastiany 2, Sandro Sawicki 3 1 Projeto de
Leia maisFRAMEWORK DE COMPARAÇÃO DA EVOLUÇÃO DO APACHE CAMEL VISANDO A COMPLEXIDADE DE SEU GRAU DE MANUTENÇÃO 1. Matheus H. Rehbein 2, Fabricia Roos-Frantz 3.
FRAMEWORK DE COMPARAÇÃO DA EVOLUÇÃO DO APACHE CAMEL VISANDO A COMPLEXIDADE DE SEU GRAU DE MANUTENÇÃO 1 Matheus H. Rehbein 2, Fabricia Roos-Frantz 3. 1 Pesquisa de Iniciação Científica desenvolvida no Grupo
Leia maisTable 1. Dados do trabalho
Título: Desenvolvimento de geradores de aplicação configuráveis por linguagens de padrões Aluno: Edison Kicho Shimabukuro Junior Orientador: Prof. Dr. Paulo Cesar Masiero Co-Orientadora: Prof a. Dr. Rosana
Leia maisDependabilidade em Sistemas Computacionais
Dependabilidade em Sistemas Computacionais 1 Objetivo Dependabilidade (do termo Dependability em inglês) é a propriedade que define a capacidade dos sistemas computacionais de prestar um serviço que se
Leia maisANÁLISE DO MOTOR DE EXECUÇÃO DA TECNOLOGIA GUARANÁ 1 ANALYSIS OF THE RUNTIME ENGINE OF GUARANÁ TECHNOLOGY
ANÁLISE DO MOTOR DE EXECUÇÃO DA TECNOLOGIA GUARANÁ 1 ANALYSIS OF THE RUNTIME ENGINE OF GUARANÁ TECHNOLOGY Ivan E. M. Kühne 2, Rafael Z. Frantz 3 1 Projeto de Iniciação Científica desenvolvido no Grupo
Leia maisCiência da Computação ENGENHARIA DE SOFTWARE. Análise dos Requisitos de Software
Ciência da Computação ENGENHARIA DE SOFTWARE Análise dos Requisitos de Software Prof. Claudinei Dias email: prof.claudinei.dias@gmail.com Roteiro Introdução Tipos de requisitos Atividades Princípios da
Leia maisEvento: XXV SEMINÁRIO DE INICIAÇÃO CIENTÍFICA
INTEGRAÇÃO DE APLICAÇÕES APLICADA À EXTRAÇÃO E QUALIFICAÇÃO AUTOMÁTICA DE PUBLICAÇÕES DE PESQUISADORES: UM CASO BASEADO NO CURRÍCULO LATTES 1 APPLICATION INTEGRATION APPLIED TO AUTOMATIC EXTRACTION AND
Leia maisUm Framework para definição de processos de testes de software que atenda ao nível 3 do TMM-e
JEANE MENDES DA SILVA SANTOS Um Framework para definição de processos de testes de software que atenda ao nível 3 do TMM-e Plano de Trabalho de Conclusão de Curso apresentado à Universidade Federal de
Leia maisModelagem Flexível para Processos de Negócio. Resultados de um Estudo Experimental
Modelagem Flexível para Processos de Negócio Resultados de um Estudo Experimental Fabiane Albino Aluna Mestrado Prof. Ricardo Massa Orientador Cenário Atual Modelagem de Processos de Negócio de maneira
Leia maisUm Simulador para Avaliação da Antecipação de Tarefas em Sistemas Gerenciadores de Workflow
Um Simulador para Avaliação da Antecipação de Tarefas em Sistemas Gerenciadores de Workflow Resumo. A fim de flexibilizar o fluxo de controle e o fluxo de dados em Sistemas Gerenciadores de Workflow (SGWf),
Leia maisGestão de Projectos de Software - 1
Gestão de Projectos de Software Licenciaturas de EI / IG 2012/2013-4º semestre msantos@ispgaya.pt http://paginas.ispgaya.pt/~msantos Gestão de Projectos de Software - 1 Objectivos da Disciplina de Gestão
Leia maisMODELAGEM MATEMÁTICA E COMPUTACIONAL DE UM PROBLEMA DE INTEGRAÇÃO NA ÁREA DE PUBLICIDADE E PROPAGANDA UTILIZANDO REDES DE PETRI ESTOCÁSTICAS 1
MODELAGEM MATEMÁTICA E COMPUTACIONAL DE UM PROBLEMA DE INTEGRAÇÃO NA ÁREA DE PUBLICIDADE E PROPAGANDA UTILIZANDO REDES DE PETRI ESTOCÁSTICAS 1 Francine Freddo 2, Sandro Sawicki 3, Rafael Z Frantz 4. 1
Leia maisECOSSISTEMAS DE SOFTWARE
ECOSSISTEMAS DE SOFTWARE MODELOS E REUTILIZAÇÃO EM ECOSSISTEMAS DE SOFTWARE Alunos: Felyppe Rodrigues da Silva (Mestrado) Gabriella Castro Barbosa Costa (Doutorado) Professor: Toacy Cavalcante de Oliveira
Leia maisFase 1: Engenharia de Produto
Fase 1: Engenharia de Produto Disciplina: Análise de Requisitos DURAÇÃO: 44 h O objetivo principal da disciplina é realizar uma análise das necessidades e produzir um escopo do produto. Representará os
Leia maisUsando RDL para Derivação de Produtos em uma Linha de Produtos de Software
Usando RDL para Derivação de Produtos em uma Linha de Produtos de Software Juliano Dantas Santos Universidade Federal do Rio de Janeiro COPPE - Instituto Alberto Luiz Coimbra de Pós-Graduação e Pesquisa
Leia maisUniversidade Federal de Pernambuco
Universidade Federal de Pernambuco GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA 201 1. 2 Sistema de Gestão de Processos de Negócio Baseado em Modelos Declarativos Proposta de Trabalho de Graduação
Leia maisProgramação Orientada a Objetos
Stream de Dados + Pipe & Filter André Santanchè Laboratory of Information Systems LIS Instituto de Computação UNICAMP Maio 2015 Picture by Moyan Brenn [http://www.flickr.com/photos/aigle_dore/6225536653/]
Leia maisSoftware para Sistemas Críticos
Software para Sistemas Críticos Nuno Silva, Engineering Manager Encontro Nacional Colégio Informática da Ordem dos Engenheiros, 16-09-2005 Dependable Technologies for Critical Systems Copyright Critical
Leia maisAnálise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso
Análise qualitativa do processo de workflow da ouvidoria do IFMG campus Bambuí: um estudo de caso Estefânia Paula da SILVA¹; Lígia Maria SOARES PASSOS² ¹ Aluna do curso de Engenharia de Produção do IFMG
Leia maisMestranda: Márcia Maria Horn. Orientador: Prof. Dr. Sandro Sawicki
Universidade Regional do Noroeste do Estado do Rio Grande do Sul Departamento de Ciências Exatas e Engenharias Programa de Mestrado em Modelagem Matemática Grupo de Pesquisa em Computação Aplicada Temática:
Leia maisPlanejamento da disciplina: Modelagem de processos de negócio
UNIVERSIDADE FEDERAL DE MINAS GERAIS / INSTITUTO DE CIÊNCIAS EXATAS DEPARTAMENTO DE CIÊNCIA DA COMPUTAÇÃO Planejamento da disciplina: Modelagem de processos de negócio Professor: Clarindo Isaías Pereira
Leia maisUNIVERSIDADE PRESBITERIANA MACKENZIE Faculdade de Computação e Informática EMENTAS DA 3ª. ETAPA
EMENTAS DA 3ª. ETAPA Núcleo Temático: PROGRAMAÇÃO Disciplina: ESTRUTURA DE DADOS 108 há ( 72 ) Teóricas ( 36 ) Práticas Tipos abstratos de dados. Estudo das estruturas lineares: pilhas, filas e listas
Leia maisUniversidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB
Universidade Federal de Goiás Instituto de Informática Sistemas de Informação Código da Matriz Curricular: 109P1NB Plano de Disciplina Ano Letivo: 2013-1 º Semestre Dados da Disciplina Código Disc. Nome
Leia maisInstituto de Computação, Universidade Federal do Amazonas (UFAM) Manaus-AM, Brasil
Elicitação de Requisitos a partir de Modelos de Processos de Negócio e Modelos Organizacionais: Uma pesquisa para definição de técnicas baseadas em heurísticas Marcos A. B. de Oliveira 1, Sérgio R. C.
Leia maisESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS
ESPECIFICAÇÃO DO AMBIENTE EXPSEE SEGUNDO O MÉTODO CATALYSIS RESUMO Este artigo apresenta a especificação de um sistema gerenciador de workflow, o ExPSEE, de acordo com a abordagem de desenvolvimento baseado
Leia maisUma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow
Uma Arquitetura de Linha de Produto Baseada em Componentes para Sistemas de Gerenciamento de Workflow Itana M. S. Gimenes 1 itana@din.uem.br Fabrício R. Lazilha 2 fabricio@cesumar.br Edson A. O. Junior
Leia maisDESENVOLVIMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DE APLICAÇÕES PARA AUTOMATIZAR RESERVAS DE VIAGEM 1
DESENVOLVIMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DE APLICAÇÕES PARA AUTOMATIZAR RESERVAS DE VIAGEM 1 Edinaldo Gaspar Da Silva 2, Fabricia Roos Frantz 3, Rafael Z. Frantz 4, Sandro Sawicki 5. 1 Projeto de pesquisa
Leia maisProposta de abordagem de desenvolvimento de software orientado a modelos para empresas
Proposta de abordagem de desenvolvimento de software orientado a modelos para empresas Tânia Eiko Eishima 1, Jandira Guenka Palma 1 1 Departamento de Computação Universidade Estadual de Londrina (UEL)
Leia maisSistemas de Informação
5º semestre Licenciatura de EI 2011/2012 msantos@ispgaya.pt cramos@ispgaya.pt / Carlos Ramos 1 Objectivos da Disciplina de Sistemas de Informação da Licenciatura de EI Complementar a formação em bases
Leia maisUma Proposta de Framework de Comparação de Provedores de Computação em Nuvem
Uma Proposta de Framework de Comparação de Provedores de Computação em Nuvem Igor G. Haugg Bolsista PIBITI/CNPq Orientador: Dr. Rafael Z. Frantz Área de Pesquisa Integração de Aplicações Empresariais Computação
Leia maisUniversidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação. Proposta Trabalho de Graduação
Universidade Federal de Pernambuco Centro de Informática Graduação em Ciência da Computação Proposta Trabalho de Graduação Um Mecanismo de Monitoramento e Seleção de Serviços Baseado em Atributos de Qualidade
Leia maisDesenvolvimento de software orientado a características e dirigido por modelos
Desenvolvimento de software orientado a características e dirigido por modelos Universidade Federal de Uberlândia Rodrigo Reis Pereira Prof. Dr. Marcelo Almeida Maia Agenda Motivação Introdução Modelagem
Leia maisUm Arcabouço open source em Python para DBC com
Um Arcabouço open source em Python para DBC com Suporte à Evolução Dinâmica não Antecipada Yguaratã C. Cavacanti 1, Hyggo Oliveira de Almeida 1, Evandro Costa 2 1 Instituto de Computação Universidade Federal
Leia maisDAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial
DAS6607 - Inteligência Artificial Aplicada à Controle de Processos e Automação Industrial Aluno: André Faria Ruaro Professores: Jomi F. Hubner e Ricardo J. Rabelo 29/11/2013 1. Introdução e Motivação 2.
Leia maisFundamentos de Tolerância a Falhas. Graduação: CIC e ECP Taisy Silva Weber 2002
Fundamentos de Tolerância a Falhas Graduação: CIC e ECP Taisy Silva Weber 2002 Bibliografia básica Pradhan, D. K. Jalote, P. Fault-Tolerant System Design. Prentice Hall, New Jersey, 1996. Fault tolerance
Leia maisLISTA DE TEMAS PARA CONCURSO DE PROFESSOR ADJUNTO EDITAL 90/2010 ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA * * * * * *
ÁREA DE ANATOMIA VEGETAL GERAL, COM ÊNFASE EM ANATOMIA ECOLÓGICA 1. Sistema de formação. 2. Sistema de revestimento (de proteção). 3. Tecidos fundamentais (parênquima, colênquima e esclerênquima). 4. Sistema
Leia maisSpider-PM: Uma Ferramenta de Apoio à Modelagem de Processos de Software
Spider-PM: Uma Ferramenta de Apoio à Modelagem de Processos de Software Renan Sales Barros 1, Sandro Ronaldo Bezerra Oliveira 1 1 Faculdade de Computação Instituto de Ciências Exatas e Naturais (ICEN)
Leia maisEspecificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos
Especificação de Testes Funcionais usando Redes de Petri a Objetos para Softwares Orientados a Objetos Autor(a): Liliane do Nascimento Vale 1 Orientador: Stéphane Júlia 1 1 Universidade Federal de Uberlândia
Leia maisUma Abordagem Dinâmica de Linha de Produto para Gestão de Processos de Negócio
Uma Abordagem Dinâmica de Linha de Produto para Gestão de Processos de Negócio Trabalho de Mestrado Roberto dos Santos Rocha (Aluno), Marcelo Fantinato (Orientador) Programa de Pós-graduação em Sistemas
Leia maisAvaliação de Modelos i* com o Processo AIRDoc-i*
Avaliação de Modelos i* com o Processo AIRDoc-i* Cleice Souza 1, Cláudia Souza 1, Fernanda Alencar 2, Jaelson Castro 1, Paulo Cavalcanti 1, Monique Soares 1, Gabriela Guedes 1, Eduardo Figueiredo 3 1 Centro
Leia maisLicenciatura de EI 2010/2011. msantos@ispgaya.pt. Mário Santos / Carlos Ramos
5º semestre Licenciatura de EI 2010/2011 msantos@ispgaya.pt cramos@ispgaya.ptpt / Carlos Ramos 1 Objectivos da Disciplina de Sistemas de Informação da Licenciatura de EI Complementar a formação em bases
Leia maisSIMULAÇÃO DO COMPORTAMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DESENVOLVIDA PARA A ÁREA DE VENDA HOSPITALAR UTILIZANDO A FERRAMENTA ARENA 1
SIMULAÇÃO DO COMPORTAMENTO DE UMA SOLUÇÃO DE INTEGRAÇÃO DESENVOLVIDA PARA A ÁREA DE VENDA HOSPITALAR UTILIZANDO A FERRAMENTA ARENA 1 Gabriel Freytag 2, Sandro Sawicki 3, Rafael Z. Frantz 4, Fabricia Roos-Frantz
Leia maisUm modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI
Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Um modelo para o gerenciamento de múltiplos projetos de software aderente ao CMMI PROPOSTA DE TRABALHO DE GRADUAÇÃO
Leia maisUniversidade Federal de Goiás Instituto de Informática Engenharia de Software Código da Matriz Curricular: 105P1NB
Universidade Federal de Goiás Instituto de Informática Engenharia de Software Código da Matriz Curricular: 105P1NB Plano de Disciplina Ano Letivo: 2013-1 º Semestre Dados da Disciplina Código Disc. Nome
Leia mais2. Sistemas Multi-Agentes (Multi-Agent System - MAS)
AORML uma linguagem para modelagem de uma aplicação Multiagentes: Uma Aplicação no Sistema Expertcop. Hebert de Aquino Nery, Daniel Gonçalves de Oliveira e Vasco Furtado. Universidade de Fortaleza UNIFOR
Leia maisGEE051 - Banco de Dados (BD) Plano de Curso. Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/bd UFU/FACOM - 2011/2
GEE051 - Banco de Dados (BD) Plano de Curso Ilmério Reis da Silva ilmerio@facom.ufu.br www.facom.ufu.br/~ilmerio/bd UFU/FACOM - 2011/2 Motivação Problemas reais encontrados por engenheiros exigem uma visão
Leia maisAnálise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais
UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA Análise dos Sistemas de Medição do Consumo de Energia Elétrica em Plantas Industriais Proposta de Trabalho
Leia maisEXPSEE: UM AMBIENTE EXPERIMENTAL DE ENGENHARIA DE SOFTWARE ORIENTADO A PROCESSOS
EXPSEE: UM AMBIENTE EXPERIMENTAL DE ENGENHARIA DE SOFTWARE ORIENTADO A PROCESSOS Edson Alves de Oliveira Junior (1) Igor Fábio Steinmacher (2) eaojunio@bol.com.br ifsteinm@din.uem.br Edna Tomie Takano
Leia maisProposta de um processo de construção da arquitetura de software para aprendiz
Proposta de um processo de construção da arquitetura de software para aprendiz Vinícius Fernandes de Jesus 1, Jandira Guenka Palma 1 1 Departamento de Computação Universidade Estadual de Londrina (UEL)
Leia maisFicha da Unidade Curricular
ESCOLA SUPERIOR DE TECNOLOGIA E GESTÃO DE FELGUEIRAS CURSO Licenciatura em Engenharia Informática U.C. ENGENHARIA DE SOFTWARE I Ficha da Unidade Curricular Horas presenciais / Ano 56 Ano Lectivo 2010 /
Leia maisAdriano Machado Pereira (adrianoc@dcc.ufmg.br) Orientador: Wagner Meira Jr. (meira@dcc.ufmg.br) Co-orientador: Sérgio Campos (scampos@dcc.ufmg.
Adriano Machado Pereira (adrianoc@dcc.ufmg.br) Orientador: Wagner Meira Jr. (meira@dcc.ufmg.br) Co-orientador: Sérgio Campos (scampos@dcc.ufmg.br) Universidade Federal de Minas Gerais Departamento de Ciência
Leia maisEm Busca de uma Arquitetura de Referência para Frameworks de Aplicação Dirigidos por Modelos para Sistemas de Informação
Em Busca de uma Arquitetura de Referência para Frameworks de Aplicação Dirigidos por Modelos para Sistemas de Informação Valdemar Vicente GRACIANO NETO 1 ; Juliano Lopes DE OLIVEIRA 1 1 Instituto de Informática
Leia maisM O D E L O E U R O P E U D E
M O D E L O E U R O P E U D E C U R R I C U L U M V I T A E INFORMAÇÃO PESSOAL Nome Morada MANUEL DIAS FERREIRA LIMA, RUI 50, Rua José Maria Rodrigues, 4710-080 BRAGA, Gualtar, PORTUGAL Telefone +351 939741239
Leia maisFrancisca Raquel de Vasconcelos Silveira Gustavo Augusto Lima de Campos Mariela Inés Cortés
Francisca Raquel de Vasconcelos Silveira Gustavo Augusto Lima de Campos Mariela Inés Cortés Introdução Trabalhos Relacionados Abordagem Proposta Considerações Finais Conclusão Trabalhos Futuros 2 Agentes
Leia maisUm Componente de Gerenciamento de Execução de Workflow Segundo a Abordagem de Linha de Produto de Software
Um Componente de Gerenciamento de Execução de Workflow Segundo a Abordagem de Linha de Produto de Software Itana M. S. Gimenes 1 itana@din.uem.br Radames J. Halmeman 1 radames@cm.cefetpr.br Fabrício R.
Leia maisIntrodução. Uma Arquitetura de Testes para Validação de Sistemas de Bordo. Sistemas Embarcados
Uma Arquitetura de Testes para Validação de Sistemas de Bordo Cláudia Santos da Silva Orientadores: Eliane Martins (Unicamp) Nandamudi L. Vijaykumar Sistemas Embarcados Introdução Característica Confiabilidade
Leia maisUm Framework para Desenvolvimento de Aplicações Móveis Orientadas a Serviços
UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM ENGENHARIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA Um Framework para Desenvolvimento de Aplicações Móveis Orientadas a Serviços PROPOSTA DE TRABALHO DE GRADUAÇÃO
Leia maisRequisitos de Ferramentas Especializadas de Gestão de Configuração de Software
Requisitos de Ferramentas Especializadas de Gestão de Configuração de Software Ricardo Terra 1 1 Departamento de Ciência da Computação Universidade Federal de Minas Gerais (UFMG) Campus da Pampulha 31.270-010
Leia maisIN0997 - Redes Neurais
IN0997 - Redes Neurais Aluizio Fausto Ribeiro Araújo Universidade Federal de Pernambuco Centro de Informática - CIn Departamento de Sistemas da Computação aluizioa@cin.ufpe.br Conteúdo Objetivos Ementa
Leia maisIntegrando UML e Métodos Formais
Universidade Federal de Pernambuco Graduação em Ciência da Computação Centro de Informática Proposta de Trabalho de Graduação Integrando UML e Métodos Formais Aluno: Orientador: Co-orientador: Rafael Magalhães
Leia maisProposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental
Proposta de um método para auditoria de projetos de desenvolvimento de software iterativo e incremental Francisco Xavier Freire Neto 1 ; Aristides Novelli Filho 2 Centro Estadual de Educação Tecnológica
Leia maisEtapas da Elaboração de um Projeto de Banco de Dados
Etapas da Elaboração de um Projeto de Banco de Dados Apresentar os modelos de dados em rede, hierárquicos, relacionais e orientados a objetos. Demonstrar as etapas de desenvolvimento de um projeto de banco
Leia maisSISTEMA DE GESTÃO DE PROJETOS DE SOFTWARE - SGPS
SISTEMA DE GESTÃO DE PROJETOS DE SOFTWARE - SGPS Lilian R. M. Paiva, Luciene C. Oliveira, Mariana D. Justino, Mateus S. Silva, Mylene L. Rodrigues Engenharia de Computação - Universidade de Uberaba (UNIUBE)
Leia maisVerificação e Validação de Sistemas de Software para Projetos Espaciais
Verificação e Validação de Sistemas de Software para Projetos Espaciais Coordenador: Carlos H.N. Lahoz Equipe: Miriam C. B. Alves Martha A. D. Abdala Luciene Bianca Alves (bolsista DTI) Tópicos: 1- Objetivo
Leia mais8 Bibliografia. ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534.
Bibliografia 88 8 Bibliografia ACEAUME, E. et al. On The Formal Specification of Group Membership Services. INRIA, 1995, 15 p. Relatório Técnico TR95-1534. AMBRIOLA, V.; TORTORA, G. Advances in Software
Leia maisUNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Pólo de Viseu Instituto Universitário de Desenvolvimento e Promoção Social
UNIVERSIDADE CATÓLICA PORTUGUESA Centro Regional das Beiras Pólo de Viseu Instituto Universitário de Desenvolvimento e Promoção Social DISCIPLINA Controlo Informático da Gestão LICENCIATURA Informática
Leia maisFrameworks. Pasteur Ottoni de Miranda Junior
Frameworks Pasteur Ottoni de Miranda Junior 1-Definição Apesar do avanço das técnicas de desenvolvimento de software, a construção de software ainda é um processo extremamente complexo.a reutilização tem
Leia maisPLANO DE ENSINO. CURSO: Sistemas de Informação PERÍODO LETIVO: 2009-1 SEMESTRE: 4º. C/H SEMANAL Análise, Projeto e Implementação de Sistemas I
1 PLANO DE ENSINO CURSO: Sistemas de Informação PERÍODO LETIVO: 2009-1 SEMESTRE: 4º CÓDIGO DISCIPLINA HORÁRIO C/H SEMESTRAL C/H SEMANAL Análise, Projeto e Implementação de Sistemas I 3CD-4AB 80h 04h PROFESSOR(A):
Leia maisUNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO. PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o
UNIVERSIDADE ESTADUAL DO OESTE DO PARANÁ PRÓ-REITORIA DE GRADUAÇÃO PLANO DE ENSINO - PERÍODO LETIVO/ANO 2008 ANO DO CURSO: 5 o Curso: Informática Modalidade: Bacharelado Turno: Integral Centro: Centro
Leia maisOntologia de Domínio da Biodisponibilidade de Ferro: Uma Experiência no Projeto Nutri-Fuzzy-Orixás
Ontologia de Domínio da Biodisponibilidade de Ferro: Uma Experiência no Projeto Nutri-Fuzzy-Orixás Alessandra Brito F. Oliveira 1; Vera Maria Benjamim Werneck 1 ; Regina Serrão Lanzillotti 1 ; Haydée Serrão
Leia maisINF2135 Processos e Ambientes de Engenharia de Software
INF2135 Processos e Ambientes de Engenharia de Software Arndt von Staa arndt at inf.puc-rio.br Departamento de Informática 2014/1 site: www.inf.puc-rio.br/~inf2135 Objetivo Capacitar os alunos a avaliar,
Leia maisEngenharia de Ontologias Seminário UPON
Engenharia de Ontologias Seminário UPON Núcleo de Estudos em Modelagem Conceitual e Ontologias Bruno Nandolpho Machado Vinícius Soares Fonseca Professor: Ricardo de Almeida Falbo Agenda RUP Método UPON
Leia maisAlexsandro Queiroz Lencina 2, Fabricia Roos-Frantz 3.
AS REDES DE PETRI COMO INSTRUMENTO PARA MODELAGEM MATEMÁTICA DE UM PROBLEMA DE INTEGRAÇÃO DO SISTEMA DE CURRÍCULOS DA AGÊNCIA NACIONAL E TECNOLOGIA DE PORTUGAL 1 Alexsandro Queiroz Lencina 2, Fabricia
Leia maisImportância da Arquitetura de Sistemas Baseados em Componentes para os Testes por Injeção de Falhas
Importância da Arquitetura de Sistemas Baseados em Componentes para os Testes por Injeção de Falhas Regina Lúcia de Oliveira Moraes Universidade Estadual de Campinas (UNICAMP) Centro Superior de Educação
Leia maisATENAS: Um Sistema Gerenciador de Regras de Negócio
1. Introdução ATENAS: Um Sistema Gerenciador de Regras de Negócio Geraldo Zimbrão da Silva (IM/UFRJ) Victor Teixeira de Almeida (COPPE/UFRJ) Jano Moreira de Souza (COPPE/UFRJ) Francisco Gonçalves Pereira
Leia maisPesquisa desenvolvida no Mestrado de Modelagem Matemática, pertencente ao Grupo de Pesquisa em Computação Aplicada (GCA) 2
MODELAGEM MATEMÁTICA E SIMULAÇÃO NO CONTEXTO DOS MOTORES DE EXECUÇÃO DAS PLATAFORMAS DE INTEGRAÇÃO: UM ESTUDO EXPLORATÓRIO. 1 MATHEMATICAL MODELING AULAS QUILO ND SIMULATION IN THE CONTEXT OF RUNTIME ENGINES
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular OPÇÃO IV - TÓPICOS AVANÇADOS DE BASES DE DADOS Ano Lectivo 2010/2011
Programa da Unidade Curricular OPÇÃO IV TÓPICOS AVANÇADOS DE BASES DE DADOS Ano Lectivo 2010/2011 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Informática 3. Ciclo de Estudos
Leia maisIntrodução ao Design
Introdução ao Design João Arthur e Guilherme Germoglio Coordenação de Pós-graduação em Informática - COPIN 16/10/2008 João Arthur e Guilherme Germoglio 1/ 33 Roteiro 1 Introdução Objetivos 2 Definições
Leia maisMODELO DE SIMULAÇÃO DE UMA SOLUÇÃO DE INTEGRAÇÃO USANDO TEORIA DAS FILAS 1 SIMULATION MODEL OF AN INTEGRATION SOLUTION USING QUEUE THEORY
MODELO DE SIMULAÇÃO DE UMA SOLUÇÃO DE INTEGRAÇÃO USANDO TEORIA DAS FILAS 1 SIMULATION MODEL OF AN INTEGRATION SOLUTION USING QUEUE THEORY Félix Hoffmann Sebastiany 2, Sandro Sawicki 3 1 Projeto de pesquisa
Leia maisExperiências de Avaliação (alunos) online
Experiências de Avaliação (alunos) online II Fórum de práticas e-learning na UM Colabora2012 Henrique Dinis Santos (hsantos@dsi.uminho.pt) Universidade do Minho Braga, 20 de Junho, 2012 A teacher is one
Leia maisONTOLOGIA E SUAS APLICAÇÕES EM MODELAGEM CONCEITUAL PARA BANCO DE DADOS PROPOSTA DE TRABALHO DE GRADUAÇÃO
UNIVERSIDADE FEDERAL DE PERNAMBUCO GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO CENTRO DE INFORMÁTICA ONTOLOGIA E SUAS APLICAÇÕES EM MODELAGEM CONCEITUAL PARA BANCO DE DADOS PROPOSTA DE TRABALHO DE GRADUAÇÃO Grasielle
Leia maisLINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS
LINGUAGEM DE ESPECIFICAÇÃO E DESCRIÇÃO (SDL) APLICADA AO PROCESSO DE VERIFICAÇÃO E VALIDAÇÃO DE SISTEMAS REATIVOS Fabiana Fraga Ferreira Bacharelanda em Sistemas de Informação Bolsista de Iniciação Científica
Leia maisEngenharia de Software: Introdução. Mestrado em Ciência da Computação 2008 Profa. Itana Gimenes
Engenharia de Software: Introdução Mestrado em Ciência da Computação 2008 Profa. Itana Gimenes Programa 1. O processo de engenharia de software 2. UML 3. O Processo Unificado 1. Captura de requisitos 2.
Leia maisLinguagem Formais e Autômatos
Linguagem Formais e Autômatos Apresentação da disciplina, metodologia de ensino, conteúdos, avaliações e bibliografia Prof. MSc. Hugo Vieira L. Souza Este documento está sujeito a copyright. Todos os direitos
Leia maisDesenvolvimento de um Modelo de Simulação baseado em uma Solução de Integração Teórica utilizando a Ferramenta PRISM
1 Desenvolvimento de um Modelo de Simulação baseado em uma Solução de Integração Teórica utilizando a Ferramenta PRISM Guilherme Henrique Schiefelbein Arruda Orientador: Dr. Sandro Sawicki 2 Roteiro Enterprise
Leia maisTransformação de um Modelo de Empresa em Requisitos de Software
Transformação de um Modelo de Empresa em Requisitos de Software Fábio Levy Siqueira 1 and Paulo Sérgio Muniz Silva 2 1 Programa de Educação Continuada da Poli-USP, São Paulo, Brazil 2 Escola Politécnica
Leia maisGUIA DE FUNCIONAMENTO DA UNIDADE CURRICULAR
Curso Engenharia Informática Ano letivo 2012/2013 Unidade Curricular Engenharia de Software II ECTS 6 Regime Obrigatório Ano 3º Semestre 1º sem Horas de trabalho globais Docente Maria Clara Silveira Total
Leia maisPontifícia Universidade Católica do Rio Grande do Sul FACULDADE DE INFORMÁTICA
DEPARTAMENTO: Fundamentos da Computação CURSO: Bacharelado em Ciência da Computação DISCIPLINA: Sistemas Embarcados CÓDIGO: 4613R CRÉDITOS: 04 CARGA HORÁRIA: 60 horas-aula VALIDADE: a partir de 2008/2
Leia maisUNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMÉRCIO ELECTRÓNICO Ano Lectivo 2014/2015
Programa da Unidade Curricular COMÉRCIO ELECTRÓNICO Ano Lectivo 2014/2015 1. Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Marketing e Publicidade 3. Ciclo de Estudos 1º 4. Unidade
Leia maisProcessos de Desenvolvimento de Software
Processos de Desenvolvimento de Software Gerenciamento de Projetos Mauro Lopes Carvalho Silva Professor EBTT DAI Departamento de Informática Campus Monte Castelo Instituto Federal de Educação Ciência e
Leia maisControle de Célula de Produção de Tempo Real com DMIs
Controle de Célula de Produção de Tempo Real com DMIs Leandro Azevedo Cassol, Avelino Francisco Zorzo {cassol, zorzo}@inf.pucrs.br FACIN - PUCRS - Av. Ipiranga, 6681-90619-900 - Porto Alegre - RS Abstract.
Leia maisDiagrama de Caso de Uso e Diagrama de Sequência
Diagrama de Caso de Uso e Diagrama de Sequência Milena Alexandre dos Santos Baesso (Mestranda em Engenharia Elétrica) Agenda Ciclo de Vida de um Sistema A Fase de Análise Análise Orientada à Objetos Diagramas
Leia maisCiência da Computação ENGENHARIA DE SOFTWARE. UML-Unified Modeling Language Linguagem de Modelagem Unificada
Ciência da Computação ENGENHARIA DE SOFTWARE UML-Unified Modeling Language Linguagem de Modelagem Unificada Prof. Claudinei Dias email: prof.claudinei.dias@gmail.com Roteiro Introdução a linguagem UML
Leia mais