José Dihego da Silva Oliveira

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• Dihego, José ; Sampaio, Augusto ; OLIVEIRA, MARCEL . A refinement checking based strategy for component-based systems evolution. JOURNAL OF SYSTEMS AND SOFTWARE , v. 167, p. 110598, 2020.

• Dihego, José ; Sampaio, Augusto . Aspect-Oriented Development of Trustworthy Component-based Systems. Lecture Notes in Computer Science. 1ed.: Springer International Publishing, 2015, v. , p. 425-444.

• Dihego, José ; Antonino, Pedro ; Sampaio, Augusto . Algebraic Laws for Process Subtyping. Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2013, v. , p. 4-19.

• Dihego, José ; Sampaio, Augusto ; OLIVEIRA, MARCEL . Constructive extensibility of trustworthy component-based systems. In: the 30th Annual ACM Symposium, 2015, Salamanca. Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15. New York: ACM Press. p. 1808.

• Dihego, José ; Braga, A. B ; RAMOS, R. T. ; SA, E. ; SAMPAIO, A. C. A ; BARAIS, O. . Architectural Refactorings through Model Transformations. In: Tenth International Conference on Computer Applications (ICCA 2012), 2012, Yangon. Tenth International Conference on Computer Applications (ICCA 2012), 2012.

• Dihego, José . Inheritance and refinement of trustworthy component-based systems. In: 20th International Symposium on Formal Methods ( Doctoral Symposium of Formal Methods 2015), 2015, Oslo. Proceedings of the Doctoral Symposium of Formal Methods 2015. Oslo: UiO - Department of Informatics - University of Oslo, 2015. p. 27-31.

• Dihego, José ; SAMPAIO, A. C. A ; OLIVEIRA, M. . Constructive extensibility of trustworthy component-based systems. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• Dihego, José ; SAMPAIO, A. C. A . Aspect-Oriented Development of Trustworthy Component-based Systems. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• Dihego, José . Inheritance and refinement of trustworthy component-based systems. 2015. (Apresentação de Trabalho/Conferência ou palestra).

• Dihego, José ; ANTONINO, P. ; SAMPAIO, A. C. A . Algebraic Laws for Process Subtyping - Extended Version. 2013. (Apresentação de Trabalho/Conferência ou palestra).

Outras produções

Projetos de pesquisa

• 2024 - Atual

  SMART NAV: Framework de suporte a navegação e rastreabilidade de pacientes com câncer de mama, Descrição: Framework de suporte a navegação e rastreabilidade de pacientes com câncer de mama. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Dihego da Silva Oliveira - Coordenador / Allan Edgard Silva Freitas - Integrante.

• 2024 - Atual

  SMART NAV: Framework de suporte a navegação e rastreabilidade de pacientes com câncer de mama, Descrição: Framework de suporte a navegação e rastreabilidade de pacientes com câncer de mama. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: José Dihego da Silva Oliveira - Coordenador / Allan Edgard Silva Freitas - Integrante.

• 2013 - Atual

  Modelagem, Verificação e Teste Composicional de Sistemas com Aplicações na Indústria Aeronáutica, Descrição: Neste projeto, propomos a sistematização de vários aspectos do projeto de grandes sistemas, particularmente, com ênfase em Sistemas de Sistemas (SoS, Systems of Sytems). O escopo inclui modelagem (semiformal e formal), verificação (análise formal de propriedades) e teste de tais sistemas. Utilizamos a linguagem SysML para descrever requisitos e os modelos de análise e projeto (design) de um SoS. SysML é uma linguagem semiformal, amplamente utilizada na indústria, com uma semântica definida em linguagem natural e através do uso de meta-modelos, também semiformais. Portanto, ambiguidades nos modelos SysML podem induzir a erros de implementação. No processo proposto, o modelo em SysML é traduzido (automaticamente) para um modelo descrito na linguagem formal Circus, que integra a álgebra de processos CSP, para expressar os aspectos reativos, a linguagem baseada em modelos Z, para expressar os aspectos de dados e a linguagem de comandos guardados de Dijkstra, fazendo de Circus não apenas uma linguagem de especificação, mas também de programação. Como segunda etapa do processo proposto, o modelo Circus será verificado com o objetivo de se garantir a preservação de propriedades de interesse. Isto permitirá, inicialmente, verificar a consistência, tanto individual, como integrada, dos diagramas SysML do sistema. Um outro aspecto da análise é o desenvolvimento de uma estratégia que garanta, por construção, a ausência de problemas clássicos como deadlock no SoS, a partir da verificação da ausência de deadlock em seus componentes. O desafio desta análise é escalabilidade. Como terceira e última etapa do processo, complementar à verificação, será desenvolvida uma estratégia automática de geração de vetores de teste a partir da especificação em Circus. Finalmente, o escopo do projeto inclui uma avaliação, em um ambiente industrial, com o apoio da Embraer, da eficácia dos métodos de modelagem, análise e teste propostos, através da aplicação na área de aviação e na arquitetura IMA (Integrated Modular Avionics) em particular. Este projeto inclui um breve relato das metas atingidas no período anterior. Alguns resultados, restritos a aspectos de controle em CSP e testados em exemplos pequenos, serão estendidos para um formalismo multiparadigma (Circus) e validados em aplicações reais de IMA... , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: José Dihego da Silva Oliveira - Integrante / Augusto Cezar Alves Sampaio - Coordenador / Marcel Oliveira - Integrante / Pedro Antonino - Integrante / Marcio Cornelio - Integrante / Lucas Lima - Integrante / Iyoda, Juliano - Integrante / Gustavo Carvalho - Integrante.

• 2012 - 2015

  COMPASS, Descrição: The target of our research is the integration of well-founded engineering notations, methods and tools to support developers in building models of SoSs and analysing the global SoS-level properties of these models. These integrated techniques are intended to allow the comparison of alternative architectures and allocations of responsibilities to constituent subsystems.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Dihego da Silva Oliveira - Integrante / Augusto Cezar Alves Sampaio - Coordenador.

• 2008 - 2009

  AlgebRA - Álgebras de Refinamento e Aplicações, Descrição: Tem havido uma forte tendência de integração de modelos de concorrência com formalismos orientados a objetos (como é o caso da combinação de álgebras de processos com extensões orientadas a objetos de métodos baseados em modelos). Além de uma gramática (sintaxe) coerente, alguns desafios relacionados ao projeto de formalismos que integram paradigmas são a definição de uma semântica formal, noções de refinamento e leis de transformação para a linguagem integrada. Linguagens de modelagem semi-formais, como UML, também têm avançado nesta direção. Vários profiles de UML, como UML para tempo real (UML-RT) incluem construções de mais de um paradigma. Estas linguagens também podem se beneficiar de uma semântica formal e de regras de transformação. Na realidade, Model driven Engineering , que propõe o desenvolvimento de sistemas com base na transformação progressiva de modelos, é exatamente um esforço recente nesta direção, apesar do foco da literatura atual ser essencialmente em regras que sistematizam o processo, mas sem uma base formal. O objetivo fundamental do nosso projeto tem sido o desenvolvimento de um formalismo multiparadigma, com ênfase na integração de orientação a objetos, concorrência e aspectos temporais. A integração envolve a definição de sintaxe, semântica formal, noções de refinamento e regras de transformação algébricas. Um requisito importante é que a semântica seja extremamente modular, tanto para permitir a integração dos diversos paradigmas, como para facilitar as provas das regras de transformação. Temos explorado a integração de modelos teóricos de concorrência, especificamente a álgebra de processos CSP, com extensões orientadas a objetos da linguagem Z. A experiência já obtida com o tratamento algébrico de cada paradigma, separadamente, tem servido de base para a investigação de leis algébricas para a integração. Um resultado importante foi a proposta de um formalismo orientado a objetos e concorrente (OhCircus) e a proposição de leis algébri. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) / Doutorado: (1) . , Integrantes: José Dihego da Silva Oliveira - Integrante / Augusto Cezar Alves Sampaio - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.

• 2006 - 2008

  JaTS, Descrição: O objetivo do projeto é validar um método para a implementação de aplicações complexas orientadas a objetos de modo que estas sejam rapidamente implementadas, testadas a adaptadas.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: José Dihego da Silva Oliveira - Integrante / Paulo Henrique Monteiro Borba - Coordenador.

Prêmios