João Paulo Andrade Almeida
João Paulo A. Almeida é professor titular no Departamento de Informática da Universidade Federal do Espírito Santo. Possui graduação em Engenharia de Computação pela Universidade Federal do Espírito Santo (1999), mestrado em Telemática (com louvor) pela Universidade de Twente, Holanda (2001) e doutorado em Ciência da Computação pela mesma universidade (2006). Tem experiência em Modelagem Conceitual e Ontologias, Modelagem de Organizações e Processos de Negócio, Desenvolvimento Orientados a Modelos e Arquiteturas Orientadas a Serviços.
É membro do editorial board do periódico internacional Applied Ontology, membro do steering committee da conferência internacional EDOC, do TEAR (Trends in Enterprise Architecture Research Workshop) e membro do comitê de programa de vários eventos internacionais e revisor para vários periódicos internacionais. Foi pesquisador principal de projeto CNPq/FAPES PRONEX, serviu como chair do steering committee da conferência IEEE EDOC, general chair da 14th IEEE International EDOC Enterprise Computing Conference (EDOC 2010), Vitória, ES. Atuou como PC chair de diversas conferências internacionais (EDOC 2022, ISWC 2022 In-Use Track, IEEE CBI 2021, IEEE EDOC 2009.) Atuou como Coordenador do Programa de Pós-Graduação em Informática da UFES de ago/2011 a out/2013.
Recebeu os prêmios de melhor artigo nas conferências ER 2022 (Legal Power-Subjection Relations: Ontological Analysis and Modeling Pattern), ER 2019 (Events as Entities in Ontology-Driven Conceptual Modeling), IEEE EDOC 2017 (From an Ontology of Service Contracts to Contract Modeling in Enterprise Architecture), ER 2015 (Extending the Foundations of Ontology-based Conceptual Modeling with a Multi-Level Theory), IEEE EDOC 2013 (Towards a Commitment-Based Reference Ontology for Services), IEEE CogSIMA 2013 (A Rule-Based Platform for Situation Management), IFIP I3E 2013 (Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review) e IEEE EDOC 2011 (An Ontology-Based Semantics for the Motivation Extension to ArchiMate). Artigos em co-autoria com doutorandos receberam Best Student Paper Award nas conferências ER 2018 e IEEE EDOC 2015. Recebeu o prêmio de melhor apresentação na ER 2020.
Informações coletadas do Lattes em 18/06/2023
Acadêmico
Formação acadêmica
Doutorado em Ph.D. Computer Science
2001 - 2006
University of Twente
Título: Model-Driven Design of Distributed Applications
Orientador: Chris A. Vissers
Bolsista do(a): University of Twente, UT, Holanda. Palavras-chave: Desenvolvimento Orientado a Modelos; Desenvolvimento Orientado a Serviços; Engenharia de Software; Sistemas Distribuídos.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Sistemas de Informação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação / Especialidade: Teleinformática.
Mestrado em M.Sc. Telematics
1999 - 2001
University of Twente
Título: Dynamic Reconfiguration of Object-Middleware-based Distributed Systems, Ano de Obtenção: 2001
Orientador: Bart Nieuwenhuis
Bolsista do(a): University of Twente, UT, Holanda. Palavras-chave: Sistemas Distribuídos; Middleware; Reconfiguração Dinâmica.Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software.
Graduação em Engenharia de Computação
1994 - 1999
Universidade Federal do Espírito Santo
Título: Um Sistema de Controle Distribuído Microprocessado para Elevador Hidráulico
Orientador: Paulo Faria Santos Amaral
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Italiano
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Francês
Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.
Holandês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Sistemas de Informação.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Teleinformática.
Organização de eventos
Almeida, João Paulo A. ; MONTALI, M. ; PROPER, H. A. ; GUIZZARDI, G. . 23rd IEEE International Conference on Business Informatics (IEEE CBI 2021). 2021. (Congresso).
ALMEIDA, J. P. A. ; MILOSEVIC, Z. ; GUIZZARDI, G. . 25th IEEE International EDOC Conference (IEEE EDOC 2021). 2021. (Congresso).
ALMEIDA, J. P. A. ; SCHREFL, M. . 39th International Conference on Conceptual Modeling (ER 2020). 2020. (Congresso).
ALMEIDA, J. P. A. ; WIMMER, M. ; RUTLE, A. . 6th International Workshop on Multi-Level Modeling (MULTI) at MoDELS 2019. 2019. (Congresso).
ALMEIDA, J. P. A. ; ABEL, M. . 12th Seminar on Ontology Research in Brazil (Ontobras 2019). 2019. (Congresso).
ALMEIDA, J. P. A. ; FRANK, U. ; KUHNE, T. . Dagstuhl Seminar Multi-Level Modeling. 2017. (Outro).
ALMEIDA, J. P. A. ; Guizzardi, Giancarlo ; GRUNINGER, M. . 9th International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE). 2017. (Congresso).
ALMEIDA, J. P. A. ; Guizzardi, Giancarlo ; BARCELLOS, M. P. ; FALBO, R. A. ; SOUZA, V. E. S. . 2nd IAOA Interdisciplinary Summer School on Ontological Analysis. 2014. (Outro).
ALMEIDA, J. P. A. ; EKSTEDT, M. ; LAPALME, J. . TEAR 2013 - 8th Trends in Enterprise Architecture Research Workshop. 2013. (Congresso).
ALMEIDA, J. P. A. ; FERRARIO, R. ; ZOUAQ, A. . 7th International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE 2012) at IEEE EDOC 2012. 2012. (Congresso).
MATTHES, F. ; ALMEIDA, J. P. A. ; PROPER, E. . 6th Trends in Enterprise Architecture Research (TEAR 2011) Workshop. 2011. (Congresso).
ALMEIDA, J. P. A. . 14th IEEE International EDOC Conference. 2010. (Congresso).
ALMEIDA, J. P. A. ; DOBBIE, G. . 13th IEEE International EDOC Conference. 2009. (Congresso).
ALMEIDA, J. P. A. ; RUIZ, D. D. ; TOLEDO, M. B. F. ; SANTORO, F. ; ARAUJO, R. . WBPM 2009 - 3rd Workshop on Business Process Management (in conjunction with WebMedia 2009). 2009. (Congresso).
ALMEIDA, J. P. A. ; TOLEDO, M. B. F. ; RUIZ, D. D. . WBPM 2008 - 2nd Workshop on Business Process Management (in conjunction with WebMedia 2008). 2008. (Congresso).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; RAÚL ROMERO, J. ; WOOD, B. . 5th International Workshop on ODP for Enterprise Computing (WODPEC 2008). 2008. (Congresso).
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. ; STEEN, M. W. . International Workshop on Models and Model-driven Methods for Enterprise Computing (3M4EC). 2008. (Congresso).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; WOOD, B. ; VALLECILLO, A. . Workshop on Open Distributed Processing for Enterprise Computing (WODPEC 2007). 2007. (Congresso).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; TANAKA, A. ; WOOD, B. . Workshop on Open Distributed Processing for Enterprise Computing (WODPEC 2006). 2006. (Congresso).
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA 2006). 2006. (Congresso).
ALMEIDA, J. P. A. ; STEEN, M. W. ; LANKHORST, M. M. ; van SINDEREN, M. ; IACOB, M.E. ; COSTA, P. D. . 9th IEEE International EDOC Conference. 2005. (Congresso).
ALMEIDA, J. P. A. ; DIEZ, A. G. ; FERREIRA PIRES, L. ; GAVRAS, A. ; van SINDEREN, M. . First European Workshop on Model Driven Architecture with Emphasis on Industrial Application. 2004. (Congresso).
Participação em eventos
ER 2021. Membro do Comitê de Programa. 2021. (Congresso).
FASE 2021. Membro do Comitê de Programa. 2021. (Congresso).
IEEE EDOC 2021. Membro do Comitê de Programa. 2021. (Congresso).
2nd Workshop on Conceptual Modeling, Ontologies and (Meta)data Management for Findable, Accessible, Interoperable and Reusable (FAIR) Data (CMOMM4FAIR). Membro do Comitê de Programa. 2020. (Congresso).
7th International Workshop on Multi-Level Modeling (MULTI 2020). Membro do Comitê de Programa. 2020. (Congresso).
BPMDS 2020. Membro do Comitê de Programa. 2020. (Congresso).
CoopIS 2020. Membro do Comitê de Programa. 2020. (Congresso).
ER 2020. Membro do Comitê de Programa. 2020. (Congresso).
FOIS 2020. Membro do Comitê de Programa. 2020. (Congresso).
FOUST IV - Foundational Ontology at JOWO 2020. Membro do Comitê de Programa. 2020. (Congresso).
IEEE EDOC 2020. Membro do Comitê de Programa. 2020. (Congresso).
IV Doctoral and Masters Consortium on Ontologies (WTDO 2020). Membro do Comitê de Programa. 2020. (Congresso).
PoEM 2020. Membro do Comitê de Programa. 2020. (Congresso).
2nd International Workshop on Bad or Good Ontology at JOWO 2019. Membro do Comitê de Programa. 2019. (Congresso).
BPMDS 2019. Membro do Comitê de Programa. 2019. (Congresso).
CoopIS 2019. Membro do Comitê de Programa. 2019. (Congresso).
ER 2019. Membro do Comitê de Programa. 2019. (Congresso).
IEEE EDOC 2019. Membro do Comitê de Programa. 2019. (Congresso).
PoEM 2019. Membro do Comitê de Programa. 2019. (Congresso).
TEAR 2019. Membro do Comitê de Programa. 2019. (Congresso).
1st International Workshop on Multi-Level Process Modelling (MLPM 2018). Membro do Comitê de Programa. 2018. (Congresso).
5th International Workshop on Multi-Level Modeling (MULTI 2018). Membro do Comitê de Programa. 2018. (Congresso).
BOG : BadOntoloGy at JOWO 2018. Membro do Comitê de Programa. 2018. (Congresso).
BPMDS 2018. Membro do Comitê de Programa. 2018. (Congresso).
EEWC 2018. Membro do Comitê de Programa. 2018. (Congresso).
ER 2018. Membro do Comitê de Programa. 2018. (Congresso).
FOIS 2018. Membro do Comitê de Programa. 2018. (Congresso).
IEEE EDOC 2018. Membro do Comitê de Programa. 2018. (Congresso).
PoEM 2018. Membro do Comitê de Programa. 2018. (Congresso).
TEAR 2018. Membro do Comitê de Programa. 2018. (Congresso).
4th International Workshop on Multi-Level Modeling (MULTI 2017). Membro do Comitê de Programa. 2017. (Congresso).
BPMDS 2017. Membro do Comitê de Programa. 2017. (Congresso).
ER 2017. Membro do Comitê de Programa. 2017. (Congresso).
Formal Ontologies Meet Industry at JOWO 2017. Membro do Comitê de Programa. 2017. (Congresso).
IEEE EDOC 2017. Membro do Comitê de Programa. 2017. (Congresso).
PoEM 2017. Membro do Comitê de Programa. 2017. (Congresso).
SoEA4EE 2017. Membro do Comitê de Programa. 2017. (Congresso).
TEAR 2017. Membro do Comitê de Programa. 2017. (Congresso).
1st Workshop on Workshop on Business Process Management and Ontologies. Membro do Comitê de Programa. 2016. (Congresso).
2nd International Workshop on Process Engineering (IWPE 2016). Membro do Comitê de Programa. 2016. (Congresso).
3rd International Workshop on Multi-Level Modeling (MULTI 2016). Membro do Comitê de Programa. 2016. (Congresso).
FOIS 2016. Membro do Comitê de Programa. 2016. (Congresso).
IEEE EDOC 2016. Membro do Comitê de Programa. 2016. (Congresso).
SoEA4EE 2016. Membro do Comitê de Programa. 2016. (Congresso).
TEAR 2016. Membro do Comitê de Programa. 2016. (Congresso).
28th Symposium On Applied Computing (Enterprise Engineering Track) (ACM SAC 2013). Membro de Comitê de Programa. 2013. (Congresso).
9th Asian-Pacific Conference on Conceptual Modelling (APCCM 2013). Membro de Comitê de Programa. 2013. (Congresso).
16th IEEE International EDOC Conference (IEEE EDOC 2012). Membro do Comitê de Programa. 2012. (Congresso).
27th Symposium On Applied Computing (Enterprise Engineering track) (ACM SAC 2012).Membro de Comitê de Programa. 2012. (Simpósio).
2nd International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA 2012).Membro de Comitê de Programa. 2012. (Simpósio).
4th Practice-driven Research on Enterprise Transformation Working Conference (PRET@CAiSE2012). Membro de Comitê de Programa. 2012. (Congresso).
7th Workshop on Trends in Enterprise Architecture Research / The 5th Workshop on Practice-driven Research on Enterprise Transformation.Membro de Comitê de Programa. 2012. (Oficina).
12th Business Process Modeling, Development, and Support (BPMDS?11) Working Conference,. Membro de Comitê de Programa. 2011. (Congresso).
13th IEEE Conference on Commerce and Enterprise Computing (IEEE CEC 2011). Membro de Comitê de Programa. 2011. (Congresso).
15th IEEE International EDOC Conference (IEEE EDOC 2011). Membro do Comitê de Programa. 2011. (Congresso).
23rd International Conference on Advanced Information Systems Engineering (CAiSE'11) Forum. Membro de Comitê de Programa. 2011. (Congresso).
26th Symposium On Applied Computing (Enterprise Engineering track) (ACM SAC 2011).Membro de Comitê de Programa. 2011. (Simpósio).
2nd International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2011).Membro de Comitê de Programa. 2011. (Oficina).
3rd International Workshop on Service-oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE 2011).Membro de Comitê de Programa. 2011. (Oficina).
5th International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2011),. Membro de Comitê de Programa. 2011. (Congresso).
The International IFIP Working Conference on Enterprise Interoperability. Membro de Comitê de Programa. 2011. (Congresso).
14th IEEE International EDOC Conference (IEEE EDOC 2010). Membro do Comitê de Programa. 2010. (Congresso).
25th Symposium On Applied Computing (Enterprise Engineering track) (ACM SAC 2010).Membro de Comitê de Programa. 2010. (Simpósio).
11th IEEE Conference on Commerce and Enterprise Computing (IEEE CEC 2009). Membro de Comitê de Programa. 2009. (Congresso).
13th International IEEE EDOC Conference (IEEE EDOC 2009).Panel on Semantic Services. 2009. (Outra).
24th Symposium on Applied Computing (Enterprise Information Systems track) (ACM SAC 2009).Membro de Comitê de Programa. 2009. (Simpósio).
Reunião E-PING, Grupos de Trabalho 4 e 5.Palestra: O Papel do Conceito de Serviços no Governo Eletrônico. 2009. (Outra).
V Simpósio Brasileiro de Sistemas de Informação.Minicurso: Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços. 2009. (Outra).
23rd Annual ACM Symposium on Applied Computing (Enterprise Information Systems track) (ACM SAC 2008).Membro de Comitê de Programa. 2008. (Simpósio).
ECOOP 2003 Workshop on Communication Abstractions for Distributed Systems.Interaction Systems Design and the Protocol- and Middleware-centred Paradigms in Distributed Application Development. 2003. (Oficina).
Participação em bancas
BARCELLOS, M. P.; CAMPOS, M. L. M.;ALMEIDA, J. P. A.. Uma Visão Ontológica de Aspectos Comportamentais e Estruturais da Medição. 2021. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
DUARTE, J. C.; CAVALCANTI, M. C. R.; CORDEIRO, K. F.; CAMPOS, M. L. M.;ALMEIDA, J. P. A.. DEFESA: uma Metodologia para Análise de Incidentes de Segurança da Informação. 2020. Dissertação (Mestrado em Sistemas e Computação) - Instituto Militar de Engenharia.
GONCALVES, E. J. T.;Almeida, João Paulo A.; SOUZA, V. E. S.. GORO: uma ontologia sobre requisitos orientados a objetivos. 2020. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
CANEDO, E. D.; RODRIGUES, G. N.;Almeida, João Paulo A.Guizzardi, Giancarlo. Um Modelo Adaptativo de Objetos para Modelos Conceituais Baseados em UFO. 2019. Dissertação (Mestrado em Informática) - Universidade de Brasília.
IOCHPE, C.; OLIVEIRA, J. P. M.; THOM, L. H.;ALMEIDA, J. P. A.. Identificando Fontes de Dados em Modelos de Processos de Negócio com base em Elementos de BPMN. 2017. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.
MOREIRA, J. L. R.;ALMEIDA, JOAO PAULO A.; SAMPAIO, J. O.; SILVEIRA, P. M.; CAMPOS, M. L. M.. Ontowarehousing Multidimensional Design for Heterogeneous Data Supported by Foundational Ontology: A Temporal Perspective. 2014. Dissertação (Mestrado em Informática) - Universidade Federal do Rio de Janeiro.
ALMEIDA, J. P. A.; ARAUJO, R.; SANTORO, F. M.; CAPPELLI, C.. Uma abordagem de Design Rationale para captura e representação de raciocínios e decisões tomadas na análise de processos de negócio. 2012. Dissertação (Mestrado em Informática) - Universidade Federal do Estado do Rio de Janeiro.
GRACAS, A. P.;GUIZZARDI, G.GUIZZARDI, R. S. S.ALMEIDA, J. P. A.. Suporte Automatizado para Construção de Modelos Conceituais Bem Fundamentados. 2010. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo.
ALMEIDA, J. P. A.; BAIAO, F. A.;FALBO, R. A.GUIZZARDI, G.. Construção de Ontologias de Tarefa e sua Reutilização na Engenharia de Requisitos. 2009. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.
ALMEIDA, J. P. A.; FONSECA, F. T.;GUIZZARDI, G.; PEREIRA FILHO, J. G.. An Ontological Theory of the Electrocardiogram with Applications. 2009. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.
COSTA, R. G.; BARBOSA, A. C. P.;ALMEIDA, J. P. A.; BORTOLON, S.. Uma Infraestrutura Baseada em Grid para Interoperabilidade de PACS Distribuídos e Heterogêneos. 2008. Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo.
GUIZZARDI, G.; SALES, T. P.;ALMEIDA, J. P. A.BARCELLOS, M. P.; CAMPOS, M. L. M.; FONSECA, CLAUDENIR M.. Ontology-Based Complexity Management in Conceptual Modeling. 2022. Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo.
BARCELLOS, M. P.; SOUZA, V. E. S.;ALMEIDA, J. P. A.; ZAINA, L. A. M.; PEREIRA, R.. An Ontology Network to support Knowledge Representation and Semantic Interoperability in the HCI Domain. 2022. Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo.
CAMPOS, M. L. M.; POELS, G.; LOOY, A. V.; GAILLY, F.;GUIZZARDI, G.ALMEIDA, J. P. A.. Ontology-Based Design of Visual Languages. 2017. Tese (Doutorado em Faculty of Economics and Business Administration) - Ghent University.
GAMA, N. F. P.; ABREU, F. M. P. C. B. E.; BORBINHA, J. L. B.; SILVA, M. L. B. M.;ALMEIDA, J. P. A.. Integrating Enterprise Architecture and IT Service Management. 2014. Tese (Doutorado em Engenharia Informática e de Computadores) - Universidade de Lisboa.
SZIMANSKI, F.; GHEDINI, C.; SANTORO, F. M.;ALMEIDA, J. P. A.. Melhoria de Modelos de Processo de Negocio com Mineracao de Processos e Simulacao Baseada em Agentes. 2013. Tese (Doutorado em Informática) - Universidade de Brasília.
ALMEIDA, J. P. A.; ATKINSON, C.; HOLMGREN, .; SODER, L.; OVASKA, E.. Analysis of enterprise IT service availability. 2012. Tese (Doutorado em Industrial Information and Control Systems) - Royal Institute of Technology.
ALMEIDA, J. P. A.; van SINDEREN, M.; VALLECILLO, A.; TARKOMA, S.. A Model-Driven Approach to Service Ecosystem Engineering. 2012. Tese (Doutorado em Computer Science) - University of Helsinki.
ALMEIDA, J. P. A.; ALVES, C. F.; FERRAZ, C. A. G.; MOURA, H. P.; RAMALHO, F. S.; ROBIN, J. P. L.. Model-Driven Graphical User Interface Engineering. 2009. Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal de Pernambuco.
NUNES, V. T.;ALMEIDA, J. P. A.; WERNER, C. M. L.; SANTORO, F. M.; SOUZA, J. M.. Adaptação Dinâmica de Processos: Uma Abordagem Orientada a Contexto. 2011. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.
ALMEIDA, J. P. A.COSTA, P. D.; PEREIRA, I.; MIELKE, I. T.. Drools Situation: uma Abordagem Baseada em Regras para Detecção de Situações. 2012. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.
CALHAU, R. F.;FALBO, R. A.ALMEIDA, J. P. A.GUIZZARDI, G.. GCS-ODE: Uma Ferramenta de Apoio à Gerência de Configuração de Software Integrada ao Ambiente ODE. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.
MOREIRA, M. D.; FREITAS, S. A.;ALMEIDA, J. P. A.; MARTINELLO, M.. Planejamento de capacidade de máquinas virtuais criadas através da plataforma de virtualização Xen. 2009. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.
GUIZZARDI, G.ALMEIDA, J. P. A.; SOUZA, V. E. S.. Suporte Computacional Baseado em Modelos para Representação Visual de Regras URML em Modelos Conceituais Ontologicamente Bem-fundamentados. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.
PEREIRA FILHO, J. G.; MARTINELLO, M.;ALMEIDA, J. P. A.GOMES, R. L.. TCP-ECAP: An Embedded TCP Path Capacity Estimation. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.
CARDOSO, E. C. S.GUIZZARDI, G.ALMEIDA, J. P. A.GUIZZARDI, R. S. S.. Uma Comparação entre Requisitos de Sistema Gerados por Técnicas de Modelagem de Processos com Requisitos de Sistema Gerados por Técnicas Convencionais de Engenharia de Requisitos. 2007. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo.
FELHBERG, G.;GUIZZARDI, G.ALMEIDA, J. P. A.GUIZZARDI, R. S. S.. Interoperabilidade Semântica de Aplicações Comercialmente Disponíveis Usando Ontologias de Domínio. 2007. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo.
FREITAS, S. A.;ALMEIDA, J. P. A.AZEVEDO, R. J.. Concurso para Professor Assistente (CEUNES, Universidade Federal do Espírito Santo). 2009. Universidade Federal do Espírito Santo.
ALMEIDA, J. P. A.; PEREIRA FILHO, J. G.; ROSA, P. F.; GARCIA, A. S.. Concurso para Professor Adjunto (Centro Tecnológico, Universidade Federal do Espírito Santo). 2008. Universidade Federal do Espírito Santo.
Orientou
Archetypal Entities in Ontology-based Enterprise Modeling; Início: 2022; Dissertação (Mestrado profissional em Informática) - Universidade Federal do Espírito Santo; (Orientador);
Ontology-based Data-Oriented Software Engineering; Início: 2021; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo; (Orientador);
Ontologies for Archival Science; Início: 2021; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo; (Coorientador);
Ontologias Legais; Início: 2020; Dissertação (Mestrado profissional em Informática) - Universidade Federal do Espírito Santo; (Orientador);
Towards Ontology-based Competence Modeling and Management; Início: 2020; Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo; (Orientador);
; Ontologias e Metodologias Ágeis de Desenvolvimento; Início: 2019; Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo; (Coorientador);
Uma Aplicação Web para Visualização de Ontologias; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; (Orientador);
Geração de Código a partir de Sintaxe Textual; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; (Orientador);
Uma Extensão do VS Code para Especificação de Ontologias; Início: 2022; Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; (Orientador);
Visualização Diagramática de Modelos Produzidos em uma Linguagem Textual de Modelagem de Ontologias; Início: 2022; Iniciação científica (Graduando em Engenharia de Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo a Pesquisa no Espírito Santo; (Orientador);
Ontologically Correct Taxonomies by Construction: A Graph Grammar-Based Approach; 2022; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Paulo Andrade Almeida;
Designing a Network of Reference Ontologies for the Integration of Water Quality Data; 2019; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Paulo Andrade Almeida;
Integração de Dados Governamentais de Despesas Públicas com base em uma Ontologia de Referência; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
ML2: An Expressive Multi-Level Modeling Language; 2017; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Paulo Andrade Almeida;
Modeling Stories for Conceptual Model Validation; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Representation of Multi-Level Domains on the Web; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Representacao de Capacidades Organizacionais em Frameworks de Defesa: Uma Abordagem Baseada em Analise Ontologica; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
A Model-Driven Approach to the Conceptual Modeling of Situations: From Specification to Validation; 2015; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Uma abordagem baseada em modelos para especificação e detecção de situações em sistemas sensíveis ao contexto; 2013; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: João Paulo Andrade Almeida;
An Ontology-Based Semantics for the Motivation Extension to ArchiMate; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
A Framework to Support the Assignment of Active Structure and Behavior in Enterprise Modeling Approaches; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
Separating Ontological and Informational Concerns: A Model-driven Approach for Conceptual Modeling; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundação de Amparo a Pesquisa no Espírito Santo; Orientador: João Paulo Andrade Almeida;
Representing Organizational Structures in Enterprise Architecture: An Ontology-Based Approach; 2012; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Paulo Andrade Almeida;
A Model-Based graphical editor for supporting the creation, verification and validation of OntoUML conceptual models; 2010; Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Fundo de Apoio à Ciência e Tecnologia do Município de Vitória; Coorientador: João Paulo Andrade Almeida;
On the Alignment between Goal Models and Enterprise Models with an Ontological Account; 2009; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
Uma Abordagem de Desenvolvimento Baseada em Modelos de Arquitetura Organizacional de TI: da Semântica ao Desenvolvimento de Sistemas; 2009; Dissertação (Mestrado em Mestrado em Informática) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
Evaluation of current tool support for the Model Driven Architecture; 2004; Dissertação (Mestrado em M; Sc; Telematics) - University of Twente,; Coorientador: João Paulo Andrade Almeida;
A model-driven approach to the control and management of audio and video streams; 2003; Dissertação (Mestrado em M; Sc; Telematics) - University of Twente,; Coorientador: João Paulo Andrade Almeida;
Transforming Ontology-Based Conceptual Models into Relational Schemas; 2023; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
EArly-OE: Atividades Iniciais de Engenharia de Ontologias Apoiadas em Modelos de Arquitetura Organizacional; 2019; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
UFO-L: Uma Ontologia Núcleo de Aspectos Jurídicos Construída sob a Perspectiva das Relações Jurídicas; 2018; Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: João Paulo Andrade Almeida;
Incorporating Enterprise Strategic Plans into Enterprise Architecture; 2017; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: João Paulo Andrade Almeida;
Foundations for Ontology-based Multi-level Conceptual Modeling; 2016; Tese (Doutorado em Doutorado em Ciência da Computação) - Universidade Federal do Espírito Santo,; Orientador: João Paulo Andrade Almeida;
A Commitment-Based Reference Ontology for Service: Harmonizing Service Perspectives; 2014; Tese (Doutorado em Informática) - Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: João Paulo Andrade Almeida;
2018; Universidade Federal do Espírito Santo, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; João Paulo Andrade Almeida;
2017; Universidade Federal do Espírito Santo, Fundação de Amparo a Pesquisa no Espírito Santo; João Paulo Andrade Almeida;
Uma Aplicação Web para Apresentação de Dados de Qualidade de Água do Rio Doce; 2022; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
An OntoUML 2; 0 to Alloy transformation for the OntoUML Server; 2021; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Uma Abordagem para Geração de Narrativas Interativas Utilizando Linguagem Específica de Domínio; 2019; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Um plug-in para a ferramenta Visual Paradigm para edição de modelos OntoUML; 2018; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Estudo de Caso em Modelagem de Processos: Processos de Concessão de Auxílios a Programas de Pós-Graduação na UFES; 2017; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
CLIFO: A Textual Editor for OntoUMLPrime with CLIF constraints; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Suporte à Visualização de Modelos Conceituais OntoUML a partir de Modelos Textuais; 2016; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Incorporando Avanços em OntoUML através de uma Revisão de UFO-A; 2015; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Suporte a Workflow Resource Patterns em jBPM: Avaliação e Extensão baseada em Regras; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Validação de modelos OntoUML enriquecidos com restrições OCL; 2012; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Cognitive effective instance diagram design; 2011; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
A Modeling Infrastructure for OntoUML; 2010; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Integrando Modelagem de Processos à Modelagem Conceitual Estrutural; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Acesso a Modelos do ARIS Toolset: Uma Abordagem Orientada a Modelos para Arquitetura Organizacional de TI; 2009; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Modelagem Organizacional: O Caso do Departamento de Informática da UFES; 2008; Trabalho de Conclusão de Curso; (Graduação em Engenharia de Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
An ECORE Metamodel for the Archimate Language; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Modelagem de processos de negócio em diferentes níveis de abstração: Estudo de caso real; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Enriquecendo a Semântica de Modelos de Processos de Negócio com Modelos Conceituais em OntoUML; 2008; Trabalho de Conclusão de Curso; (Graduação em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Experimenting with the Model-Driven Architecture; 2002; Trabalho de Conclusão de Curso; (Graduação em Computer Science) - University of Twente, European Community Action Scheme for the Mobility of University Students; Orientador: João Paulo Andrade Almeida;
Suporte a uma Linguagem Textual de Modelagem de Ontologias; 2022; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Avaliação da Plataforma Wikidata com base em Ontologias; 2020; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Enriquecendo uma Abordagem de Modelagem Conceitual Multi-Nível com Suporte a Regras; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Tratamento Semântico de Dados de Qualidade de Água na Bacia do Rio Doce; 2019; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Analise de Modelos Conceituais Multi-Niveis com o Metodo Formal Alloy; 2018; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Avaliação e Extensão de Plataforma Colaborativa de Representação de Ontologias na Web Semântica; 2016; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Modelagem Conceitual do Domínio de Serviços; 2014; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Avaliação e Extensão de Ferramental de Modelagem Conceitual; 2013; Iniciação Científica; (Graduando em Engenharia de Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Validação de Modelos Conceituais Orientados a Regras; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Suporte aos Padrões de Workflow em Ferramenta de Software Livre para Gestão de Processos de Negócio; 2011; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Aplicando Ferramentas de Análise para o Desenvolvimento e Validação de Modelos Conceituais Orientados a Regras; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Modelagem Conceitual Orientada a Regras; 2010; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Aplicando Ferramentas de Análise para o Desenvolvimento e Validação de Modelos Conceituais de Domínio; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Uso de Linguagem Natural Estruturada para a Documentação e Validação de Modelos Conceituais de Domínio; 2009; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Projeto de Transformações de Modelos: Transformando Modelos de Processos e Composições de Serviços; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Técnicas para Modelagem de Processos de Negócio e Arquiteturas Organizacionais Orientadas a Serviço com Visões; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Ferramentas de Análise para o Desenvolvimento de Modelos Conceituais de Domínio; 2008; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Federal do Espírito Santo, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: João Paulo Andrade Almeida;
Construção de Ferramenta para Visualização de Situações; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Suporte Avançado à Visualização de Instâncias de Modelos Conceituais OntoUML no Núcleo de Estudos em Modelagem Conceitual e Ontologias; 2014; Orientação de outra natureza; (Ciência da Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Suporte à Visualização de Modelos Conceituais OntoUML no Núcleo de Estudos em Modelagem Conceitual e Ontologias; 2013; Orientação de outra natureza; (Engenharia de Computação) - Universidade Federal do Espírito Santo, Fundação de Amparo à Pesquisa do Espírito Santo; Orientador: João Paulo Andrade Almeida;
Produções bibliográficas
-
GRIFFO, CRISTINE ; ARAUJO, LAURO CÉSAR ; MEIRA BRASIL, SAMUEL ; MARQUES, MAMEDE-LIMA ; Guizzardi, Giancarlo ; Almeida, João Paulo A. . Modeling the dynamics of contractual relations. Frontiers In Artificial Intelligence , v. 6, p. 1042319, 2023.
-
GUIZZARDI, G. ; SALES, TIAGO PRINCE ; ALMEIDA, J. P. A. ; POELS, G. . UFO: Unified Foundational Ontology. APPLIED ONTOLOGY (ONLINE) , v. 17, p. 167-210, 2022.
-
BATISTA, JEFERSON O. ; Almeida, João Paulo A. ; ZAMBON, EDUARDO ; Guizzardi, Giancarlo . Ontologically correct taxonomies by construction. DATA & KNOWLEDGE ENGINEERING , v. 139, p. 102012, 2022.
-
GUIDONI, G. ; Almeida, João Paulo A. ; Guizzardi, Giancarlo . Preserving conceptual model semantics in the forward engineering of relational schemas. Frontiers In Computer Science , v. 4, p. 1-20, 2022.
-
SANTOS JR., P. S. ; BARCELLOS, MONALESSA P. ; FALBO, RICARDO A. ; ALMEIDA, JOAO PAULO A. . From a Scrum Reference Ontology to the Integration of Applications for Data-Driven Software Development. INFORMATION AND SOFTWARE TECHNOLOGY , v. 136, p. 106570, 2021.
-
LIMA, J. A. O. ; GRIFFO, C. L. ; ALMEIDA, JOAO PAULO ANDRADE ; Guizzardi, Giancarlo ; ARANHA, M. I. . CASTING THE LIGHT OF THE THEORY OF OPPOSITION ONTO HOHFELD'S FUNDAMENTAL LEGAL CONCEPTS. Legal Theory (Print) , v. 27, p. 2-35, 2021.
-
FONSECA, CLAUDENIR M. ; Almeida, João Paulo A. ; Guizzardi, Giancarlo ; CARVALHO, VICTORIO A. . Multi-level conceptual modeling: Theory, language and application. DATA & KNOWLEDGE ENGINEERING , v. 134, p. 101894, 2021.
-
Guizzardi, Giancarlo ; FONSECA, CLAUDENIR M. ; Almeida, João Paulo A. ; SALES, TIAGO PRINCE ; BENEVIDES, A. B. ; PORELLO, D. . Types and taxonomic structures in conceptual modeling: A novel ontological theory and engineering support. DATA & KNOWLEDGE ENGINEERING , v. 134, p. 101891, 2021.
-
Guizzardi, Giancarlo ; SALES, TIAGO PRINCE ; ALMEIDA, J. P. A. ; POELS, G. . Automated conceptual model clustering: a relator-centric approach. Software and Systems Modeling , v. 1, p. 1, 2021.
-
CAMPOS, P. M. C. ; REGINATO, C. C. ; ALMEIDA, J. P. A. ; FALBO, R. A. ; BARCELLOS, MONALESSA P. ; SOUZA, V. E. S. ; GUIZZARDI, G. . Finding reusable structured resources for the integration of environmental research data. ENVIRONMENTAL MODELLING & SOFTWARE , v. 133, p. 104813, 2020.
-
BENEVIDES, A. B. ; BOURGUET, J. ; GUIZZARDI, G. ; PENALOZA, R. ; ALMEIDA, J. P. A. . Representing a reference foundational ontology of events in SROIQ. APPLIED ONTOLOGY (ONLINE) , v. 14, p. 293-334, 2019.
-
GRIFFO, C. L. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. ; NARDI, J. C. . Service contract modeling in Enterprise Architecture: An ontology-based approach. INFORMATION SYSTEMS , p. 101454, 2019.
-
ALMEIDA, J. P. A. ; FRANK, U. ; KUHNE, T. . Multi-Level Modelling (Dagstuhl Seminar 17492). DAGSTUHL REPORTS , v. 7, p. 18-49, 2018.
-
DETONI, A. A. ; FONSECA, L. B. ; ALMEIDA, J. P. A. ; FALBO, R. A. . Uma Ontologia de Referência para Autorização Orçamentária e Execução da Despesa Pública. iSys - Revista Brasileira de Sistemas de Informação , v. 11, p. 4-53, 2018.
-
CARVALHO, V. A. ; ALMEIDA, J. P. A. ; FONSECA, CLAUDENIR MORAIS ; Guizzardi, Giancarlo . Multi-level ontology-based conceptual modeling. DATA & KNOWLEDGE ENGINEERING , v. 109, p. 3-24, 2017.
-
CARVALHO, V. A. ; ALMEIDA, J. P. A. . Toward a well-founded theory for multi-level conceptual modeling. Software and Systems Modeling (Print) , p. 1-27, 2016.
-
CESAR NARDI, JULIO ; DE ALMEIDA FALBO, RICARDO ; Almeida, João Paulo A. ; Guizzardi, Giancarlo ; PIRES, LUÍS FERREIRA ; VAN SINDEREN, MARTEN J. ; GUARINO, NICOLA ; FONSECA, CLAUDENIR MORAIS . A commitment-based reference ontology for services. Information Systems (Oxford) , v. 54, p. 263-288, 2015.
-
AZEVEDO, CARLOS L.B. ; IACOB, MARIA-EUGENIA ; Almeida, João Paulo A. ; VAN SINDEREN, MARTEN ; PIRES, LUÍS FERREIRA ; Guizzardi, Giancarlo . Modeling resources and capabilities in enterprise architecture: A well-founded ontology-based proposal for ArchiMate. Information Systems (Oxford) , v. 54, p. 235-262, 2015.
-
Guizzardi, Giancarlo ; WAGNER, GERD ; Almeida, João Paulo Andrade ; Guizzardi, Renata S.S. . Towards ontological foundations for conceptual modeling: The unified foundational ontology (UFO) story. Applied Ontology (Online) , v. 10, p. 259-271, 2015.
-
SÉRGIO SANTOS, PAULO ; Almeida, João Paulo A. ; Guizzardi, Giancarlo . An ontology-based analysis and semantics for organizational structure modeling in the ARIS method. Information Systems (Oxford) , v. 38, p. 690-708, 2013.
-
ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . An Ontological Analysis of the Notion of Community in the RM-ODP Enterprise Language. Computer Standards & Interfaces , v. 34, p. 1, 2012.
-
Cardoso, Evellin C.S. ; ALMEIDA, J. P. A. ; Guizzardi, Renata S.S. . Analysing the relations between strategic and operational aspects of an enterprise: towards an ontology-based approach. International Journal of Organisational Design and Engineering , v. 2, p. 271, 2012.
-
SANTOS JR., P. S. ; ALMEIDA, J. P. A. ; PIANISSOLLA, T. L. . Uncovering the organisational modelling and business process modelling languages in the ARIS method. International Journal of Business Process Integration and Management (Online) , v. 5, p. 130-143, 2011.
-
CARDOSO, E. C. S. ; GUIZZARDI, R. S. S. ; ALMEIDA, J. P. A. . Aligning goal analysis and business process modelling: a case study in healthcare. International Journal of Business Process Integration and Management (Online) , v. 5, p. 144-158, 2011.
-
BENEVIDES, A. B. ; GUIZZARDI, G. ; BRAGA, B.F.B. ; ALMEIDA, J. P. A. . Validating Modal Aspects of OntoUML Conceptual Models Using Automatically Generated Visual World Structures. Journal of Universal Computer Science (Print) , v. 16, p. 2904-2933, 2011.
-
CARDOSO, E. C. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, R. S. S. ; GUIZZARDI, G. . A Method for Eliciting Goals for Business Process Models based on Non-Functional Requirements Catalogues. International Journal of Information System Modeling and Design , v. 2, p. 1-18, 2011.
-
ALMEIDA, J. P. A. . Editorial Preface to the Special Issue on Business Process Management. International Journal of Business Process Integration and Management (Print) , v. 5, p. 107-108, 2011.
-
van SINDEREN, M. ; ALMEIDA, J. P. A. . Empowering enterprises through next-generation enterprise computing. Enterprise Information Systems (Print) , v. 5, p. 1-8, 2011.
-
BRAGA, B.F.B. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. ; BENEVIDES, A. B. . Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method. Innovations in Systems and Software Engineering (Print) , v. 6, p. 1-13, 2010.
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. ; STEEN, M. W. . Editorial Preface to the Special issue on Model-Driven Service-Oriented Architectures. International Journal of Business Process Integration and Management (Online) , v. 4, p. 1-4, 2009.
-
ALMEIDA, J. P. A. ; GUIZZARDI, G. ; SANTOS JR., P. S. . Applying and Extending a Semantic Foundation for Role-Related Concepts in Enterprise Modelling. Enterprise Information Systems (Print) , v. 3, p. 253-277, 2009.
-
ALMEIDA, J. P. A. ; IACOB, M.E. ; van ECK, P. . Requirements Traceability in Model-Driven Development: Applying Model and Transformation Conformance. Information Systems Frontiers (Print) , v. 9, p. 327-342, 2007.
-
ALMEIDA, J. P. A. ; DIJKMAN, R. ; FERREIRA PIRES, L. ; QUARTEL, D. ; van SINDEREN, M. . Model Driven Design, Refinement and Transformation of Abstract Interactions. International Journal of Cooperative Information Systems (Singapore) , v. 15, p. 599-632, 2006.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; QUARTEL, D. ; FERREIRA PIRES, L. . Designing Interaction Systems for Distributed Applications. IEEE Distributed Systems Online , v. 6, p. 1-17, 2005.
-
ALMEIDA, J. P. A. ; KARASTOYANOVA, D. (Org.) ; GUIZZARDI, G. (Org.) ; MONTALI, M. (Org.) ; MAGGI, F. M. (Org.) ; FONSECA, CLAUDENIR M. (Org.) . Enterprise Design, Operations, and Computing 26th International Conference, EDOC 2022, Bozen-Bolzano, Italy, October 3?7, 2022, Proceedings. 1. ed. Cham: Springer, 2022. v. 1.
-
SATTLER, U. (Org.) ; HOGAN, A. (Org.) ; KEET, M. (Org.) ; PRESUTTI, V. (Org.) ; ALMEIDA, J. P. A. (Org.) ; TAKEDA, H. (Org.) ; MONNIN, P. (Org.) ; PIRRO, G. (Org.) ; D'AMATO, C. (Org.) . The Semantic Web - ISWC 2022 - 21st International Semantic Web Conference, Proceedings. 1. ed. Cham: Springer, 2022. v. 1.
-
ALMEIDA, J. P. A. ; BORK, D. (Org.) ; Guizzardi, Giancarlo (Org.) ; MONTALI, M. (Org.) ; PROPER, H. A. (Org.) ; SALES, TIAGO PRINCE (Org.) . 23rd IEEE Conference on Business Informatics, CBI 2021. 1. ed. Los Alamitos: IEEE, 2021. v. 2. 220p .
-
ALMEIDA, J. P. A. ; GUIZZARDI, G. . Engineering Ontologies & Ontologies for Engineering: Celebrating Ricardo Falbo's Career. 1. ed. Oklahoma City: Draft2Digital, 2020. v. 1. 150p .
-
AVEIRO, D. (Org.) ; PERGL, R. (Org.) ; Guizzardi, Giancarlo (Org.) ; ALMEIDA, J. P. A. (Org.) ; MAGALHAES, R. (Org.) ; LEKKERKERK, H. (Org.) . Advances in Enterprise Engineering XI: 7th Enterprise Engineering Working Conference, EEWC 2017. 1. ed. Heidelberg: Springer, 2017. v. 1. 235p .
-
ALMEIDA, J. P. A. . 2010 14th IEEE International EDOC Conference Proceedings. 1. ed. Los Alamitos, CA: IEEE Computer Society Press, 2010. v. 1. 258p .
-
ALMEIDA, J. P. A. . 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW). 1. ed. Los Alamitos, CA: IEEE Computer Society Press, 2010. v. 1. 400p .
-
ALMEIDA, J. P. A. ; LININGTON, P. F. (Org.) ; RAÚL ROMERO, J. (Org.) ; WOOD, B. (Org.) . Proceedings of the 5th International Workshop on ODP for Enterprise Computing (WODPEC 2008). 1. ed. Málaga: University of Málaga, 2008. v. 1. 58p .
-
van SINDEREN, M. (Org.) ; ALMEIDA, J. P. A. (Org.) ; FERREIRA PIRES, L. (Org.) ; STEEN, M. W. (Org.) . Proceedings of the Workshop on Models and Model-Driven Methods for Enterprise Computing (3M4EC 2008). 1. ed. Enschede, Holanda: Centre for Telematics and Information Technology, 2008. v. 1. 42p .
-
ALMEIDA, J. P. A. ; FARIAS, C. R. G. (Org.) ; PEREIRA FILHO, J. G. (Org.) . WebMedia 2008 - XIV Simpósio Brasileiro de Sistemas Multimídia e Web - ANAIS ARTIGOS RESUMIDOS E ARTIGOS DE WORKSHOPS. Porto Alegre, RS: Sociedade Brasileira de Computação ? SBC, 2008. v. 1. 395p .
-
ALMEIDA, J. P. A. ; LININGTON, P. F. (Org.) ; VALLECILLO, A. (Org.) ; WOOD, B. (Org.) . Proceedings of the Workshop on ODP for Enterprise Computing (WODPEC 2007). Los Alamitos, CA: IEEE Computer Society Press, 2007. v. 1. 70p .
-
ALMEIDA, J. P. A. ; LININGTON, P. F. (Org.) ; TANAKA, A. (Org.) ; WOOD, B. (Org.) . Proceedings of the Workshop on ODP for Enterprise Computing (WODPEC 2006). Los Alamitos, CA: IEEE Computer Society Press, 2006. v. 1. 40p .
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. (Org.) ; van SINDEREN, M. (Org.) . Proceedings of the European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA 2006). Enschede: Centre for Telematics and Information Technology (CTIT), 2006. v. 1. 118p .
-
ALMEIDA, J. P. A. . Model-Driven Design of Distributed Applications. 1. ed. Enschede: Telematica Instituut, 2006. v. 1. 223p .
-
GUIZZARDI, G. ; ALMEIDA, J. P. A. . Engineering Ontologies and Ontologies for Engineering. In: Almeida, J.P.A. AND Guizzardi, G.. (Org.). Engineering Ontologies and Ontologies for Engineering: Celebrating Ricardo Falbo's Career. 1ed.Oklahoma City: Draft2Digital, 2020, v. , p. 1-22.
-
COSTA, PATRÍCIA DOCKHORN ; Almeida, João Paulo A. ; Pereira, Isaac S. A. ; VAN SINDEREN, MARTEN ; PIRES, LUÍS FERREIRA . Rule-Based Support for Situation Management. Fusion Methodologies in Crisis Management. 1ed.: Springer International Publishing, 2016, v. , p. 341-364.
-
Belaunde, Mariano ; Falcarin, Paolo ; Almeida, João Paulo A. . Model-Driven Service Creation for a Telecom Service Platform. In: Paulo Alencar; Donald Cowan. (Org.). Handbook of Research on Mobile Software Engineering. 1ed.Hershey, PA, USA: IGI Global, 2012, v. , p. 124-137.
-
Almeida, João Paulo A. ; IACOB, MARIA-EUGENIA ; Jonkers, Henk ; Lankhorst, Marc ; van Leeuwen, Diederik . An Integrated Model-driven Service Engineering Environment. In: Doumeingts, G.; Müller, J.; Morel, G.; Vallespir, B.. (Org.). Enterprise Interoperability. 1ed.Heidelberg: Springer London, 2007, v. , p. 79-89.
-
GUIZZARDI, G. ; DIJKMAN, R. ; ALMEIDA, J. P. A. ; COSTA, P. D. . Visserian Metaphysics. In: FERREIRA PIRES, L.; van SINDEREN, M.. (Org.). Architectural Design of Open Distributed Systems: From Interface to Telematics. Enschede: Telematica Instituut, 2006, v. , p. 27-40.
-
van SINDEREN, M. ; ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; QUARTEL, D. . Designing Enterprise Applications Using Model-Driven Service-Oriented Architectures. In: QIU, R.. (Org.). Enterprise Service Computing: From Concept to Deployment. Hershey, PA: Idea Group Publishing, 2006, v. , p. 132-155.
-
PIRES, LUÍS FERREIRA ; VAN SINDEREN, MARTEN ; de Farias, Cléver Ricardo Guareis ; Almeida, João Paulo Andrade . Use of Models and Modelling Techniques for Service Development. In: MENDES, M. J.; SUOMI, R.; PASSOS, C.. (Org.). IFIP International Federation for Information Processing. 1ed.: Springer US, 2004, v. 139, p. 441-456.
-
ALMEIDA, J. P. A. ; RAMLIE, Y. A. ; PRAS, A. . Overzicht Ntop (Network Top). In: HENGEVELD P.; LIMPENS J.; MELLINK E.; PRAS A.; THEUNISSEN J.. (Org.). Handboek Netwerkmanagement. Haia: TenHagenStam, 2000, v. 30, p. 45101-45113.
-
CALHAU, RODRIGO F. ; ALMEIDA, J. P. A. . Zooming in on Competences in Ontology-Based Enterprise Architecture Modeling. In: Trends in Enterprise Architecture Research, 2023, Bolzano. Enterprise Design, Operations, and Computing. EDOC 2022 Workshops, Lecture Notes in Business Information Processing. Cham: Springer, 2022. v. 466. p. 198-213.
-
GRIFFO, C. L. ; SALES, TIAGO PRINCE ; GUIZZARDI, G. ; ALMEIDA, J. P. A. . Legal Power-Subjection Relations: Ontological Analysis and Modeling Pattern. In: 41st International Conference on Conceptual Modeling (ER 2022), 2022, Hyderabad, India. Conceptual Modeling - 41st International Conference, {ER} 2022, Hyderabad, India, October 17-20, 2022, Proceedings. Cham: Springer, 2022. v. 13607. p. 65-81.
-
FONSECA, C. M. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. ; SALES, T. P. ; PORELLO, D. . Incorporating Types of Types in Ontology-Driven Conceptual Modeling. In: 41st International Conference on Conceptual Modeling (ER 2022), 2022, Hyderabad, India. Conceptual Modeling - 41st International Conference, {ER} 2022, Hyderabad, India, October 17-20, 2022, Proceedings. Cham: Springer, 2022. v. 13607. p. 18-34.
-
OLIVEIRA, I. ; SALES, T. P. ; Almeida, João Paulo A. ; BARATELLA, R. ; FUMAGALLI, M. ; GUIZZARDI, G. . Ontological Analysis and Redesign of Security Modeling in ArchiMate. In: IFIP Working Conference on The Practice of Enterprise Modeling, 2022, London. The Practice of Enterprise Modeling. Cham: Springer, 2022. v. 456. p. 82-98.
-
OLIVEIRA, J. B. ; ALMEIDA, J. P. A. ; ZAMBON, EDUARDO ; GUIZZARDI, G. . Building Correct Taxonomies with a Well-Founded Graph Grammar. In: Research Challenges in Information Science. RCIS 2021, 2021, Virtual. Research Challenges in Information Science. RCIS 2021. LNBIP. Cham: Springer, 2021. v. 415. p. 506-522.
-
GUIDONI, G. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Forward Engineering Relational Schemas and High-Level Data Access from Conceptual Models. In: 40th International Conference on Conceptual Modeling (ER 2021), 2021, St. John's. 40th International Conference on Conceptual Modeling (ER 2021). Cham: Springer, 2021.
-
CALHAU, RODRIGO F. ; AZEVEDO, CARLOS L. B. ; ALMEIDA, JOAO PAULO A. . Towards Ontology-based Competence Modeling in Enterprise Architecture. In: 2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC), 2021, Gold Coast. 2021 IEEE 25th International Enterprise Distributed Object Computing Conference (EDOC), 2021. p. 71.
-
FONSECA, C. M. ; SALES, TIAGO PRINCE ; VIOLA, V. ; FONSECA, L. B. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. . Ontology-Driven Conceptual Modeling as a Service. In: Joint Ontology Workshops 2021. FOMI 2021: 11th International Workshop on Formal Ontologies meet Industry, 2021, Bolzano. Proceedings of the Joint Ontology Workshops 2021. FOMI 2021: 11th International Workshop on Formal Ontologies meet Industry. Aachen: CEUR-WS.org, 2021. v. 2969.
-
ALMEIDA, JOAO PAULO A. ; CARVALHO, VICTORIO A. ; FONSECA, CLAUDENIR M. ; Guizzardi, Giancarlo . A Note on Properties in Multi-Level Modeling. In: 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELSC), 2021, Fukuoka. 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2021. p. 497.
-
GRIFFO, CRISTINE ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Legal Theories and Judicial Decision-Making: An Ontological Analysis. In: Formal Ontology in Information Systems, 2020. Formal Ontology in Information Systems, 2020. v. 330. p. 63-76.
-
GUIDONI, G. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Transformation of Ontology-Based Conceptual Models into Relational Schemas. In: 39th International Conference on Conceptual Modeling (ER 2020), 2020, Vienna. 39th International Conference on Conceptual Modeling (ER 2020). Cham: Springer, 2020. p. 315-330.
-
JEUSFELD, MANFRED A. ; Almeida, João Paulo A. ; CARVALHO, VICTORIO A. ; FONSECA, CLAUDENIR M. ; NEUMAYR, BERND . Deductive reconstruction of MLT for multi-level modeling. In: MODELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020, Virtual Event Canada. Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York: ACM, 2020. p. 1.
-
AMARAL, G. ; SALES, TIAGO PRINCE ; Guizzardi, Giancarlo ; ALMEIDA, J. P. A. ; PORELLO, D. . Modeling Trust in Enterprise Architecture: A Pattern Language for ArchiMate. In: The Practice of Enterprise Modeling (PoEM 2020), 2020. The Practice of Enterprise Modeling (PoEM 2020). Cham: Springer, 2020. v. 400.
-
Guizzardi, Giancarlo ; SALES, TIAGO PRINCE ; POELS, G. ; ALMEIDA, J. P. A. . Relational Contexts and Conceptual Model Clustering. In: Practice of Enterprise Modeling (PoEM 2020), 2020. Practice of Enterprise Modeling (PoEM 2020). Cham: Springer, 2020. v. 400.
-
GUIZZARDI, G. ; Almeida, João Paulo A. . Stability Patterns in Ontology-Driven Conceptual Modeling. In: Seminar on Ontology Research in Brazil (ONTOBRAS 2020), 2020, Vitória. Proceedings of the XIII Seminar on Ontology Research in Brazil and IV Doctoral and Masters Consortium on Ontologies (ONTOBRAS 2020), 2020. v. 2728. p. 148-160.
-
GRIFFO, C. L. ; Teixeira, M.G.S. ; João Paulo Almeida ; GAILLY, F. ; Guizzardi, Giancarlo . LawV: Towards an Ontology-Based Visual Modeling Language in the Legal Domain. In: XIII Seminar on Ontology Research in Brazil (ONTOBRAS 2020), 2020, Vitória. Proceedings of the XIII Seminar on Ontology Research in Brazil and IV Doctoral and Masters Consortium on Ontologies (ONTOBRAS 2020), 2020. v. 2728. p. 75-88.
-
ALMEIDA, J. P. A. ; MUSSO, F. A. ; CARVALHO, V. A. ; FONSECA, CLAUDENIR MORAIS ; GUIZZARDI, G. . Preserving Multi-Level Semantics in Conventional Two-Level Modeling Techniques. In: International Workshop on Multi-Level Modelling (MULTI 2019), 2019, Munique. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019. p. 142-151.
-
ALMEIDA, J. P. A. ; RUTLE, A. ; WIMMER, M. ; KUHNE, T. . The Multi Process Challenge. In: 6th International Workshop on Multi-Level Modelling (MULTI 2019), 2019, Munique. 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2019. p. 164-167.
-
ALMEIDA, J. P. A. ; FALBO, R. A. ; GUIZZARDI, G. . Events as Entities in Ontology-Driven Conceptual Modeling. In: ER 2019, 2019, Salvador. 38th International Conference on Conceptual Modeling (ER 2019), LNCS, 2019. v. 11788. p. 1-16.
-
FONSECA, C. M. ; PORELLO, D. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. ; GUARINO, N. . Relations in Ontology-Driven Conceptual Modeling. In: ER 2019, 2019, Salvador. 38th International Conference on Conceptual Modeling (ER 2019), LNCS, 2019. v. 11788. p. 1-15.
-
BENEVIDES, A. B. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Towards a Unified Theory of Endurants and Perdurants: UFO-AB. In: FOUST III: Workshop on Foundational Ontology, 2019, Graz. FOUST III: Workshop on Foundational Ontology, The Joint Ontology Workshops (JOWO 2019), 2019.
-
CAMPOS, P. M. C. ; REGINATO, C. C. ; ALMEIDA, J. P. A. . Towards a core ontology for scientific research activities. In: FAIR Workshop ER, 2019, Salvador. ER 2019 Workshops FAIR, MREBA, EmpER, MoBiD, OntoCom, and ER Doctoral Symposium Papers. Cham: Springer, 2019. v. 11787. p. 3-12.
-
ALMEIDA, JOAO PAULO A. ; COSTA, PATRICIA DOCKHORN ; Guizzardi, Giancarlo . Towards an Ontology of Scenes and Situations. In: 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA), 2018, Boston. 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA), 2018. p. 29-10.
-
BALDI, ALESSANDRO M. ; COSTA, PATRICIA DOCKHORN ; ZAMBON, EDUARDO ; ALMEIDA, JOAO PAULO A. . Situations in Simulations: An Initial Appraisal. In: 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA), 2018, Boston. 2018 IEEE Conference on Cognitive and Computational Aspects of Situation Management (CogSIMA), 2018. p. 90.
-
Almeida, João Paulo A. ; CARVALHO, V. A. ; BRASILEIRO, F. ; FONSECA, CLAUDENIR MORAIS ; Guizzardi, Giancarlo . Multi-Level Conceptual Modeling: Theory and Applications. In: XI Seminar on Ontology Research in Brazil, 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies. Aachen: CEUR, 2018. v. 2228. p. 26-41.
-
CORTELETTE JR, M. ; ALMEIDA, J. P. A. . Toward an Ontological Analysis of Archetypal Entities in the Marketing Domain: Personas and Related Concepts. In: XI Seminar on Ontology Research in Brazil (Ontobras), 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies. Aachen: CEUR, 2018. v. 2228. p. 173-184.
-
SANTOS, L. A. ; MIRANDA, G. M. ; CAMPOS, S. L. ; FALBO, R. A. ; BARCELLOS, M. P. ; SOUZA, V. E. S. ; Almeida, João Paulo A. . Using an Ontology Network for Data Integration: A Case in the Public Security Domain. In: XI Seminar on Ontology Research in Brazil (Ontobras 2018), 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies. Aachen: CEUR, 2018. v. 2228. p. 209-220.
-
FONSECA, CLAUDENIR MORAIS ; ALMEIDA, JOAO PAULO ANDRADE ; Guizzardi, Giancarlo ; CARVALHO, V. A. . Multi-level Conceptual Modeling: From a Formal Theory to a Well-Founded Language. In: 37th International Conference, ER 2018, 2018, Xi'an. Conceptual Modeling - 37th International Conference, ER 2018, 2018. v. 11157. p. 409-423.
-
SALES, TIAGO PRINCE ; BAIAO, F. A. ; Guizzardi, Giancarlo ; Almeida, João Paulo A. ; GUARINO, NICOLA ; MYLOPOULOS, J. . The Common Ontology of Value and Risk. In: 37th International Conference, ER 2018, 2018, Xi'an. Conceptual Modeling - 37th International Conference, ER 2018. Cham: Springer, 2018. v. 11157. p. 121-135.
-
Guizzardi, Giancarlo ; FONSECA, CLAUDENIR MORAIS ; Benevides, Alessander B. ; Almeida, João Paulo A. ; PORELLO, D. ; SALES, TIAGO PRINCE . Endurant Types in Ontology-Driven Conceptual Modeling: Towards OntoUML 2.0. In: 37th International Conference, ER 2018, 2018, Xi'an. Conceptual Modeling - 37th International Conference, ER 2018. Cham: Springer, 2018. v. 11157. p. 136-150.
-
GRIFFO, CRISTINE ; Almeida, João Paulo A. ; Guizzardi, Giancarlo . Conceptual Modeling of Legal Relations. In: 37th International Conference, ER 2018, 2018, Xi'an. Conceptual Modeling - 37th International Conference, ER 2018. Cham: Springer, 2018. v. 11157. p. 169-183.
-
PRINCE SALES, TIAGO ; ANDRADE ALMEIDA, JOAO PAULO ; SANTINI, SEBASTIANO ; BAIAO, FERNANDA ; Guizzardi, Giancarlo . Ontological Analysis and Redesign of Risk Modeling in ArchiMate. In: 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), 2018, Stockholm. 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC), 2018. p. 154.
-
POLETAEVA, T. ; Guizzardi, Giancarlo ; ALMEIDA, J. P. A. ; ABDULRAB, H. . Revisiting the DEMO Transaction Pattern with the Unified Foundational Ontology (UFO). In: 7th Enterprise Engineering Working Conference (2017), 2017, Antwerp. Advances in Enterprise Engineering XI, 7th Enterprise Engineering Working Conference (2017). Heidelberg: Springer, 2017. v. 284. p. 181-195.
-
DETONI, ARCHIMEDES A. ; MIRANDA, GABRIEL M. ; RENAULT, LAYLLA D. C. ; FALBO, RICARDO A. ; ALMEIDA, JOAO PAULO A. ; Guizzardi, Giancarlo ; BARCELLOS, MONALESSA P. . Exploring the Role of Enterprise Architecture Models in the Modularization of an Ontology Network: A Case in the Public Security Domain. In: 2017 IEEE 21st International Enterprise Distributed Object Computing Workshop (EDOCW), 2017, Quebec City. 2017 IEEE 21st International Enterprise Distributed Object Computing Workshop (EDOCW), 2017. p. 117-126.
-
GRIFFO, CRISTINE ; ALMEIDA, JOAO PAULO A. ; Guizzardi, Giancarlo ; NARDI, JULIO CESAR . From an Ontology of Service Contracts to Contract Modeling in Enterprise Architecture. In: 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC), 2017, Quebec City. 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC), 2017. p. 40-49.
-
ALMEIDA, J. P. A. ; FONSECA, CLAUDENIR MORAIS ; CARVALHO, V. A. . A Comprehensive Formal Theory for Multi-level Conceptual Modeling. In: 36th International Conference on Conceptual Modeling (ER 2017), 2017, Valencia. 36th International Conference on Conceptual Modeling (ER 2017), 2017. v. 10650.
-
DETONI, A. A. ; MIRANDA, G. ; RENAULT, L. D. C. ; ALMEIDA, J. P. A. ; FALBO, R. A. ; GUIZZARDI, G. ; BAIAO, F. A. ; Guizzardi, Renata S.S. . Where Enterprise Architecture and Early Ontology Engineering Meet: A Case Study in the Public Security Domain. In: Formal Ontologies Meet Industry (FOMI), 2017, Bolzano. Joint Ontology Workshops (JOWO-17), 2017.
-
CARVALHO, V. A. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . Using a Well-Founded Multi-Level Theory to Support the Analysis and Representation of the Powertype Pattern in Conceptual Modeling. In: 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016), 2016, Ljubliana. 28th International Conference on Advanced Information Systems Engineering (CAiSE 2016). Heidelberg: Springer, 2016. v. 9694. p. 309-324.
-
Guizzardi, Giancarlo ; ALMEIDA, J. P. A. ; GUARINO, N. . Ontological Considerations About the Representation of Events and Endurants in Business Models. In: 14th International Conference, BPM 2016, 2016, Rio de Janeiro. 14th International Conference, BPM 2016, Rio de Janeiro, Brazil, September 18-22, 2016. Proceedings, 2016. p. 20-36.
-
BRASILEIRO, F. ; ALMEIDA, J. P. A. ; CARVALHO, V. A. ; Guizzardi, Giancarlo . Applying a Multi-Level Modeling Theory to Assess Taxonomic Hierarchies in Wikidata. In: 25th International Conference Companion on World Wide Web (WWW '16 Companion), 2016, WWW '16 Companion. Proceedings of the 25th International Conference Companion on World Wide Web. Genebra: International World Wide Web Conferences Steering Committee, 2016. p. 975-980.
-
GUERSON, J. ; Almeida, João Paulo A. . Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models. In: EMMSAD 2016 at CAiSE 2016, 2016, Ljubljana, Slovenia. 17th International Conference, BPMDS 2016, 21st International Conference, EMMSAD 2016, Held at CAiSE 2016, Ljubljana, Slovenia, June 13-14,2016 , Proceedings, 2016. v. 248. p. 303-317.
-
BRASILEIRO, F. ; ALMEIDA, J. P. A. ; CARVALHO, V. A. ; Guizzardi, Giancarlo . Expressive Multi-level Modeling for the Semantic Web. In: 15th International Semantic Web Conference, 2016, Kobe. 15th International Semantic Web Conference, Kobe, Japan, October 17?21, 2016, Proceedings, Part I. Heidelberg: Springer, 2016. v. 9981. p. 53-69.
-
NARDI, JULIO CESAR ; ALMEIDA, JOAO PAULO A. ; PEREIRA, MAIARA CANDIDO ; FALBO, RICARDO DE ALMEIDA ; IACOB, MARIA-EUGENIA ; VAN SINDEREN, MARTEN ; PIRES, LUIS FERREIRA . Service Commitments and Capabilities across the ArchiMate Architectural Layers. In: 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW), 2016, Vienna. 2016 IEEE 20th International Enterprise Distributed Object Computing Workshop (EDOCW), 2016. p. 1-10.
-
MIRANDA, G. ; ALMEIDA, J. P. A. ; AZEVEDO, CARLOS L.B. ; Guizzardi, Giancarlo . An Ontological Analysis of Capability Modeling in Defense Enterprise Architecture Frameworks. In: Brazilian Seminar on Ontologies (ONTOBRAS 2016), 2016, Curitiba. Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2016), 2016.
-
SOBRAL, VINICIUS M. ; ALMEIDA, JOAO PAULO A. ; COSTA, PATRÍCIA DOCKHORN . Assessing situation models with a lightweight formal method. In: 2015 IEEE International InterDisciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA), 2015, Orlando. 2015 IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision, 2015. p. 42-48.
-
AZEVEDO, CARLOS L.B. ; ALMEIDA, JOAO PAULO A. ; VAN SINDEREN, MARTEN ; PIRES, LUIS FERREIRA . Towards Capturing Strategic Planning in EA. In: 2015 IEEE 19th International Enterprise Distributed Object Computing Conference (EDOC), 2015, Adelaide. 2015 IEEE 19th International Enterprise Distributed Object Computing Conference. v. 9381. p. 159-133.
-
CARVALHO, VICTORIO ALBANI ; ALMEIDA, JOAO PAULO A. . A Semantic Foundation for Organizational Structures: A Multi-level Approach. In: 2015 IEEE 19th International Enterprise Distributed Object Computing Conference (EDOC), 2015, Adelaide. 2015 IEEE 19th International Enterprise Distributed Object Computing Conference. p. 50-10.
-
BRAGA, B.F.B. ; Almeida, João Paulo A. . Modeling Stories for Conceptual Model Assessment. In: Quality of Models and Models of Quality (QMMQ) ER Workshop, 2015, Estcolmo, Suécia. ER 2015 Workshops, AHA, CMS, EMoV, MoBiD, MORE-BI, MReBA, QMMQ, and SCME Stockholm, Sweden, October 19?22, 2015, Proceedings. Heidelberg: Springer, 2015. v. 9382. p. 293-303.
-
Guizzardi, Giancarlo ; Almeida, João Paulo A. ; GUARINO, NICOLA ; CARVALHO, V. A. . Towards an Ontological Analysis of Powertypes. In: The Joint Ontology Workshops at the International Join Conference on Artificial Intelligence, 2015, Buenos Aires, Argentina. The Joint Ontology Workshops at the International Join Conference on Artificial Intelligence, 2015.
-
CARVALHO, V. A. ; ALMEIDA, J. P. A. ; FONSECA, CLAUDENIR MORAIS ; Guizzardi, Giancarlo . Extending the Foundations of Ontology-Based Conceptual Modeling with a Multi-level Theory. In: 34th International Conceptual Modeling Conference (ER 2015), 2015, Stockholm. 34th International Conceptual Modeling Conference (ER 2015), LNCS. Heidelberg: Springer, 2015. v. 9381. p. 119-133.
-
GRIFFO, C. L. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . Towards a Legal Core Ontology based on Alexy's Theory of Fundamental Rights. In: ICAIL Multilingual Workshop on AI & Law Research (MWAIL2015), 2015, San Diego. MWAIL2015 ICAIL Multilingual Workshop on AI & Law Research. Viena: Österreichische Computer Gesellschaft, 2015. v. 313. p. 89-100.
-
AZEVEDO, CARLOS L.B. ; van SINDEREN, M. ; FERREIRA PIRES, L. ; ALMEIDA, J. P. A. . Aligning Enterprise Architecture with Strategic Planning. In: CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings, 2015, Stockholm, Suécia. CAiSE 2015 International Workshops, Stockholm, Sweden, June 8-9, 2015, Proceedings. Genebra: Springer, 2015. v. 215. p. 426-437.
-
GRIFFO, C. L. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . A Systematic Mapping of the Literature on Legal Core Ontologies. In: Brazilian Ontology Research Seminar, 2015, São Paulo. Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2015). Aachen: CEUR Workshop Proceedings, 2015. v. 1442. p. 1-12.
-
CARVALHO, V. A. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . Using Reference Domain Ontologies to Define the Real-World Semantics of Domain-Specific Languages. In: 26th International CAiSE Conference, 2014, Thessaloniki. Proceedings of the 26th International Conference, CAiSE 2014. Heidelberg: Springer, 2014. p. 488-502.
-
GUERSON, J. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . Support for Domain Constraints in the Validation of Ontologically Well-Founded Conceptual Models. In: 19th International Conference EMMSAD 2014 Held at CAiSE 2014, 2014, Thessaloniki. Proceedings 15th International Conference, BPMDS 2014, 19th International Conference, EMMSAD 2014, Held at CAiSE 2014. Heidelberg: Springer, 2014. p. 302-316.
-
FALBO, R. A. ; RUY, F. B. ; Guizzardi, Giancarlo ; BARCELLOS, M. P. ; ALMEIDA, J. P. A. . Towards an enterprise ontology pattern language. In: 29th Annual ACM Symposium on Applied Computing - Enterprise Engineering Track, 2014, Gyeongju, Korea. Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York: ACM, 2014. p. 323-330.
-
ARPINI, ROMULO H. ; ALMEIDA, JOAO PAULO A. . A Framework to Support the Assignment of the Active Structure and Behavior in Business Process Modeling. In: 2014 IEEE 16th Conference on Business Informatics (CBI), 2014, Geneva. 2014 IEEE 16th Conference on Business Informatics. p. 78-10.
-
MILOSEVIC, ZORAN ; ALMEIDA, JOAO PAULO A. ; NARDI, JULIO C. . Towards Better Semantics for Services in eHealth Standards: A Reference Ontology Approach. In: 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014, Ulm. 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations. p. 276-10.
-
NARDI, JULIO CESAR ; FALBO, RICARDO DE ALMEIDA ; ALMEIDA, JOAO PAULO A. . Revealing Service Commitments in Service-Oriented Enterprise Architecture. In: 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014, Ulm. 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations. p. 286-10.
-
PEREIRA, D. ; ALMEIDA, J. P. A. . Representing Organizational Structures in an Enterprise Architecture Language. In: 6th Workshop on Formal Ontologies meet Industry (FOMI 2014), 2014, Rio de Janeiro. Proceedings of the 6th Workshop on Formal Ontologies meet Industry co-located with 8th International Conference on Formal Ontology in Information Systems. Aachen, Alemanha: Sun SITE Central Europe, 2014. p. 1-10.
-
NARDI, JULIO CESAR ; FALBO, RICARDO DE ALMEIDA ; ALMEIDA, JOAO PAULO A. . An Ontological Analysis of Service Modeling at ArchiMate's Business Layer. In: 2014 IEEE 18th International Enterprise Distributed Object Computing Conference (EDOC 2014), 2014, Ulm. 2014 IEEE 18th International Enterprise Distributed Object Computing Conference. v. 1. p. 92-10.
-
FONSECA, L. B. ; AZEVEDO, CARLOS L.B. ; ALMEIDA, J. P. A. . Mapeando Dados Governamentais com uma Ontologia de Organizações. In: LOD Brasil Linked Open Data, 2014, Florianópolis. LOD Brasil Linked Open Data. Florianópolis: UFSC/EGC, 2014. v. 1. p. 27-42.
-
PEREIRA, I. ; COSTA, P. D. ; ALMEIDA, J. P. A. . A Rule-based Platform for Situation Management. In: IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2013), 2013, San Diego, CA, USA. IEEE International Multi-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support (CogSIMA 2013), 2013. v. 1. p. 83-90.
-
NARDI, J. C. ; FALBO, R. A. ; ALMEIDA, J. P. A. . A Panorama of the Semantic EAI Initiatives and the Adoption of Ontologies by these Initiatives. In: International IFIP Working Conference on Enterprise Interoperability, 2013, Enschede, Holanda. 5th International IFIP Working Conference on Enterprise Interoperability. Heidelberg: Springer, 2013. v. 144. p. 198-211.
-
NARDI, J. C. ; FALBO, R. A. ; ALMEIDA, J. P. A. . Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review. In: The 12th IFIP Conference on e-Business, e-Services, e-Society, 2013, Atenas, Grécia. Proceedings 12th IFIP WG 6.11 Conference on e-Business, e-Services, and e-Society, I3E 2013. Heidelberg: Springer, 2013. v. 399. p. 238-249.
-
NARDI, JULIO CESAR ; FALBO, RICARDO DE ALMEIDA ; ALMEIDA, JOAO PAULO A. ; Guizzardi, Giancarlo ; PIRES, LUIS FERREIRA ; VAN SINDEREN, MARTEN J. ; GUARINO, NICOLA . Towards a Commitment-Based Reference Ontology for Services. In: 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2013), 2013, Vancouver. 2013 17th IEEE International Enterprise Distributed Object Computing Conference. v. 1. p. 175-10.
-
AZEVEDO, CARLOS L.B. ; IACOB, M.E. ; ALMEIDA, J. P. A. ; VAN SINDEREN, MARTEN ; FERREIRA PIRES, L. ; Guizzardi, Giancarlo . An Ontology-Based Well-Founded Proposal for Modeling Resources and Capabilities in ArchiMate. In: 17th IEEE International EDOC Conference (EDOC 2013), 2013, Vancouver, BC. 17th IEEE International EDOC Conference (EDOC 2013). Los Alamitos, CA: IEEE Computer Society Press, 2013. v. 1. p. 39-48.
-
GUIZZARDI, G. ; WAGNER, G. ; FALBO, R. A. ; GUIZZARDI, R. S. S. ; ALMEIDA, J. P. A. . Towards Ontological Foundations for the Conceptual Modeling of Events. In: 32th International ER Conference (ER 2013), 2013, Hong Kong. Proc. 32th International Conference, ER 2013. Heidelberg: Springer, 2013. v. 1. p. 327-341.
-
ARPINI, RÔMULO HENRIQUE ; Almeida, João Paulo A. . On the support for the assignment of active structure and behavior in enterprise modeling approaches. In: the 27th Annual ACM Symposium, 2012, Trento. Proceedings of the 27th Annual ACM Symposium on Applied Computing - SAC '12. v. 2. p. 1686-832.
-
COSTA, PATRICIA DOCKHORN ; MIELKE, IZON THOMAS ; PEREIRA, ISAAC ; ALMEIDA, JOAO PAULO A. . A Model-Driven Approach to Situations: Situation Modeling and Rule-Based Situation Detection. In: 2012 16th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2012), 2012, Beijing. 2012 IEEE 16th International Enterprise Distributed Object Computing Conference. v. 1. p. 154-163.
-
CARRARETTO, ROBERTO ; ALMEIDA, JOAO PAULO A. . Separating Ontological and Informational Concerns: Towards a Two-Level Model-Driven Approach. In: 2012 16th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2012, Beijing. 2012 IEEE 16th International Enterprise Distributed Object Computing Conference Workshops. v. 1. p. 29-37.
-
Almeida, João Paulo A. ; CARDOSO, EVELLIN C. S. . On the elements of an enterprise. In: the 2011 ACM Symposium, 2011, TaiChung. Proceedings of the 2011 ACM Symposium on Applied Computing - SAC '11. New York: ACM Press. p. 323-327.
-
AZEVEDO, CARLOS L.B. ; ALMEIDA, JOAO PAULO A. ; VAN SINDEREN, MARTEN ; QUARTEL, DICK ; Guizzardi, Giancarlo . An Ontology-Based Semantics for the Motivation Extension to ArchiMate. In: 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2011), 2011, Helsinki. 2011 IEEE 15th International Enterprise Distributed Object Computing Conference. p. 1-10.
-
MARTINS, A. F. ; FALBO, R. A. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. . Uso de uma Ontologia de Fundamentação para Dirimir Ambiguidades na Modelagem de Processos de Negócio. In: VI Simpósio Brasileiro de Sistemas de Informação, 2011, Salvador. VI Simpósio Brasileiro de Sistemas de Informação, 2011.
-
SANTOS, PAULO SÉRGIO ; Almeida, João Paulo A. ; Guizzardi, Giancarlo . An ontology-based semantic foundation for ARIS EPCs. In: the 2010 ACM Symposium, 2010, Sierre. Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10. New York: ACM Press. p. 124.
-
ALMEIDA, JOAO PAULO ANDRADE ; CARDOSO, EVELLIN CRISTINE SOUZA ; Guizzardi, Giancarlo . On the Goal Domain in the RM-ODP Enterprise Language: An Initial Appraisal Based on a Foundational Ontology. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2010, Vit ria. 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. p. 382.
-
JR., PAULO SERGIO SANTOS ; ALMEIDA, JOAO PAULO A. ; Guizzardi, Giancarlo . An Ontology-Based Semantic Foundation for Organizational Structure Modeling in the ARIS Method. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2010, Vit ria. 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. p. 272.
-
CARDOSO, EVELLIN CRISTINE SOUZA ; ALMEIDA, JOAO PAULO A. ; Guizzardi, Renata S.S. . On the Support for the Goal Domain in Enterprise Modelling Approaches. In: 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2010, Vit ria. 2010 14th IEEE International Enterprise Distributed Object Computing Conference Workshops. p. 335.
-
CARDOSO, E. C. S. ; SANTOS JR., P. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, R. S. S. ; GUIZZARDI, G. . Semantic Integration of Goal and Business Process Modeling. In: IFIP International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2010), 2010, Natal, RN. IFIP International Conference on Research and Practical Issues of Enterprise Information Systems (CONFENIS 2010), 2010.
-
CARDOSO, E. C. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. ; GUIZZARDI, R. S. S. . Eliciting Goals for Business Process Models with Non-Functional Requirements Catalogues. In: 10th International Workshop, BPMDS 2009 held at CAiSE 2009, 2009, Amsterdam. Enterprise, Business-Process and Information Systems Modeling 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, The Netherlands, June 8-9, 2009.. Berlin: Springer, 2009. v. 29. p. 33-45.
-
SANTOS JR., P. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Uma interpretação para os elementos de EPCs com base em uma ontologia de fundamentação. In: III Workshop Brasileiro em Gestão de Processos de Negócio, 2009, Fortaleza. III Workshop Brasileiro em Gestão de Processos de Negócio, Simpósio Brasileiro de Sistemas Multimídia e Web (Webmedia) 2009, 2009.
-
GUIZZARDI, G. ; ALMEIDA, J. P. A. ; GUIZZARDI, R. S. S. ; FALBO, R. A. . Ontologias de Fundamentação e Modelagem Conceitual. In: II Seminário de Pesquisa em Ontologia no Brasil, 2009, Rio de Janeiro. II Seminário de Pesquisa em Ontologia no Brasil, 2009.
-
BENEVIDES, A. B. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. ; BRAGA, B.F.B. . Assessing Modal Aspects of OntoUML Conceptual Models in Alloy. In: Intl. Workshop on Evolving Theories of Conceptual Modeling (ETheCoM 2009) at ER 2009, 2009, Gramado. Advances in Conceptual Modeling - Challenging Perspectives ER 2009 Workshops CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS, Lecture Notes in Computer Science. Berlin Heidelberg: Springer, 2009. v. 5833. p. 55-64.
-
BRAGA, B.F.B. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. ; BENEVIDES, A. B. . Transforming OntoUML into Alloy: Towards Conceptual Model Validation using a Lightweight Formal Method. In: 2nd IEEE International Workshop UML and Formal Methods (UML&FM 2009) at ICFEM 2009, 2009, Rio de Janeiro. 2nd IEEE International Workshop UML and Formal Methods (UML&FM 2009) at ICFEM 2009, 2009.
-
GUIZZARDI, R. S. S. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. ; CARDOSO, E. C. S. . Ontological Foundations for Agent-Oriented Organizational Modeling. In: Third International i* Workshop, 2008, Recife. CEUR Workshop Proceedings. Aachen: Sun SITE Central Europe, 2008. v. 322. p. 37-41.
-
IACOB, S. ; ALMEIDA, J. P. A. ; IACOB, M.E. . Optimized Dynamic Semantic Composition of Services. In: ACM Symposium on Applied Computing 2008 (ACM SAC 2008), Track on Semantic Web and Applications, 2008, Fortaleza. Proceedings of the 2008 ACM Symposium on Applied Computing. New York: The Association for Computing Machinery, Inc., 2008. p. 2286-2292.
-
ALMEIDA, J. P. A. ; GUIZZARDI, G. . A Semantic Foundation for Role-Related Concepts in Enterprise Modelling. In: 12th IEEE International EDOC Conference (EDOC 2008) - The Enterprise Computing Conference, 2008, Munique, Alemanha. Proc. 12th IEEE International EDOC Conference (EDOC 2008) - The Enterprise Computing Conference. Washington, DC: IEEE Computer Society, 2008. p. 31-40.
-
SANTOS JR., P. S. ; ALMEIDA, J. P. A. ; PIANISSOLLA, T. L. . Escavação, Refatoração e Análise de um Metamodelo para o ARIS Method. In: 3rd Workshop on Ontologies and Metamodels in Software and Data Engineering, 2008, Campinas. 3rd Workshop on Ontologies and Metamodels in Software and Data Engineering. Porto Alegre, RS: Sociedade Brasileira de Computação, 2008. p. 107-118.
-
SANTOS JR., P. S. ; ALMEIDA, J. P. A. . Escavando as Linguagens de Modelagem Organizacional e Modelagem de Processos de Negócio do ARIS Method. In: Workshop em Gerência de Processos de Negócio (WBPM), 2008, Vila Velha, ES. WebMedia 2008 XIV Simpósio Brasileiro de Sistemas Multimídia e Web, Anais Artigos Resumidos e Artigos de Workshops. Vila Velha, ES: Sociedade Brasileira de Computação, 2008. v. 2. p. 225-232.
-
COSTA, PATRICIA DOCKHORN ; ALMEIDA, JOAO PAULO A. ; PIRES, LUIS FERREIRA ; VAN SINDEREN, MARTEN . Evaluation of a Rule-Based Approach for Context-Aware Services. In: , 2008, New Orleans. . p. 1-5.
-
COSTA, P. D. ; ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Situation specification and realization in rule-based context-aware applications. In: 7th IFIP WG6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2007), 2007, Paphos. Distributed Applications and Interoperable Systems (Lecture Notes in Computer Science). Heidelberg: Springer, 2007. v. 4531. p. 32-47.
-
ALMEIDA, J. P. A. ; GUIZZARDI, G. . On the Foundation for Roles in RM-ODP: Contributions from Conceptual Modelling. In: 11th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOC Workshops), 2007, Annapolis. 11th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOC Workshops), 2007. v. 1. p. 205-215.
-
COSTA, P. D. ; GUIZZARDI, G. ; ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Situations in Conceptual Modeling of Context. In: Workshop on Vocabularies, Ontologies, and Rules for the Enterprise (VORTE 2006), 2006, Hong Kong. Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06). Los Alamitos, CA: IEEE Computer Society Press, 2006. p. 1-6.
-
ALMEIDA, J. P. A. ; van ECK, P. ; IACOB, M.E. . Requirements Traceability and Transformation Conformance in Model-Driven Development. In: IEEE International EDOC Conference (EDOC 2006), 2006, Hong Kong. 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06). Los Alamitos, CA: IEEE Computer Society Press, 2006. p. 355-366.
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Abstract Platform and Transformations for Model-Driven Service-Oriented Development. In: Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS 2006), 2006, Paphos, Chipre. Proceedings of the 2nd International Workshop on Model-Driven Enterprise Information Systems (MDEIS 2006). Setúbal, Portugal: INSTICC Press, 2006. p. 49-63.
-
ALMEIDA, J. P. A. ; BARAVAGLIO, A. ; BELAUNDE, M. ; FALCARIN, P. ; KOVACS, E. . Service Creation in the SPICE Service Platform. In: 17th Wireless World Research Forum Meeting (WWRF17), 2006, Heidelberg. Proceedings of the 17th Wireless World Research Forum Meeting (WWRF17). Heidelberg: Wireless World Research Forum, 2006. p. 1-7.
-
ALMEIDA, J. P. A. ; IACOB, M.E. ; JONKERS, H. ; QUARTEL, D. . Model-Driven Development of Context-Aware Services. In: 6th IFIP WG 6.1 International Conference (DAIS 2006), 2006, Bologna, Itália. Distributed Applications and Interoperable Systems (Lecture Notes in Computer Science). Heidelberg: Springer, 2006. v. 4025. p. 213-227.
-
ALMEIDA, J. P. A. ; DIJKMAN, R. ; FERREIRA PIRES, L. ; QUARTEL, D. ; van SINDEREN, M. . Abstract interactions and interaction refinement in model-driven design. In: Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05), 2005, Enschede, Holanda. Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05). Los Alamitos, CA: IEEE Computer Society, 2005. p. 273-286.
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Dependencies between Models in the Model-driven Design of Distributed Applications. In: WSMDEIS 2005 Joint workshop on Web Services and Model-Driven Enterprise Information Systems, 2005, Miami, FL, EUA. WSMDEIS 2005 Joint workshop on Web Services and Model-Driven Enterprise Information Systems. Setúbal: INSTICC Press, 2005. p. 95-109.
-
ALMEIDA, J. P. A. ; DIJKMAN, R. ; van SINDEREN, M. ; FERREIRA PIRES, L. . Platform-Independent Modelling in MDA: Supporting Abstract Platforms. In: European MDA Workshops: Foundations and Applications (MDAFA 2004), 2005, Linköping, Suécia. European MDA Workshops: Foundations and Applications, MDAFA 2003 and MDAFA 2004, Twente, The Netherlands, June 26-27, 2003 and Linköping, Sweden, June 10-11, 2004. Revised Selected Papers (Lecture Notes in Computer Science). Heidelberg: Springer, 2004. v. 3599. p. 174-188.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. . The role of the RM-ODP computational viewpoint concepts in the MDA approach. In: 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), 2004, Enschede, Holanda. Proceedings of the 1st European Workshop on Model-Driven Architecture with Emphasis on Industrial Applications (MDA-IA 2004), CTIT Technical Report TR-CTIT-04-12. Enschede: Centre for Telematics and Information Technology, 2004. p. 43-51.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. . The role of the RM-ODP computational viewpoint concepts in the MDA approach. In: Workshop on ODP for Enterprise Computing (WODPEC 2004), 2004, Monterey, CA. Workshop on ODP for Enterprise Computing (WODPEC 2004). Málaga: Universidad de Málaga, 2004. p. 28-35.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. ; WEGDAM, M. . Platform-independent dynamic reconfiguration of distributed applications. In: IEEE 10th International Workshop on Future Trends in Distributed Computing Systems - FTDCS 2004, 2004, Suzhou, China. IEEE 10th International Workshop on Future Trends in Distributed Computing Systems - FTDCS 2004. Los Alamitos, CA: IEEE Computer Society Press, 2004. p. 286-291.
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Costs and Benefits of Multiple Levels of Models in MDA Development. In: 2nd European Workshop on Model-Driven Architecture with Emphasis on Methodologies and Transformations, 2004, Canterbury, Kent. Proceedings of the 2nd European Workshop on Model-Driven Architecture with Emphasis on Methodologies and Transformations, Technical Report No. 17-04. Canterbury, Kent: Computing Laboratory, University of Kent, 2004. p. 12-20.
-
ALMEIDA, J. P. A. ; DIJKMAN, R. ; van SINDEREN, M. ; FERREIRA PIRES, L. . On the Notion of Abstract Platform in MDA Development. In: 8th IEEE International Enterprise Distributed Object Computing Conference, 2004, Monterrey, USA. Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International. Washington, DC: IEEE Computer Society Press, 2004. p. 253-263.
-
ALMEIDA, J. P. A. . Model-Driven Design of Distributed Applications. In: On the Move to Meaningful Internet Systems 2004: OTM 2004 Ph.D. Symposium, 2004, Agia Napa, Chipre. On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops (Lecture Notes in Computer Science). Heidelberg: Springer, 2004. v. 3292. p. 854-865.
-
GAVRAS, A. ; BELAUNDE, M. ; FERREIRA PIRES, L. ; ALMEIDA, J. P. A. . Towards an MDA-based Development Methodology for Distributed Applications. In: First European Workshop, EWSA 2004, 2004, St Andrews, Reino Unido. Software Architecture (Lecture Notes in Computer Science). Heidelberg: Springer, 2004. v. 3047. p. 230-240.
-
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Web services and seamless interoperability. In: First European Workshop on Object-Orientation and Web Services (at ECOOP 2003), 2003, Darmstadt, Alemanha. Proceedings of the First European Workshop on Object-Orientation and Web Services, IBM Research Report, RA 220 Computer Science, 2003. p. 4-9.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. ; QUARTEL, D. . The role of the service concept in model-driven applications development. In: Workshop on Model-driven Approaches to Middleware Applications Development (MAMAD 2003), 2003, Rio de Janeiro. Middleware 2003 Companion: Proceedings of the Workshop on Model-driven Approaches to Middleware Applications Development (MAMAD 2003). Rio de Janeiro: PUC-Rio, 2003. p. 288-296.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. ; QUARTEL, D. . A systematic approach to platform-independent design based on the service concept. In: Seventh IEEE International Conference on Enterprise Distributed Object Computing (EDOC 2003), 2003, Brisbane, Austrália. Seventh IEEE International Conference on Enterprise Distributed Object Computing (EDOC 2003). Los Alamitos, CA: IEEE Computer Society Press, 2003. p. 112-123.
-
DIJKMAN, R. ; ALMEIDA, J. P. A. ; QUARTEL, D. . Verifying the correctness of component-based applications that support business processes. In: 6th ICSE Workshop on Component-Based Software Engineering ? Automated Reasoning and Prediction at the 6th International Conference on Software Engineering (ICSE), 2003, Portland, OR, EUA. Proceedings of the 6th ICSE Workshop on Component-Based Software Engineering ? Automated Reasoning and Prediction at the 6th International Conference on Software Engineering. Portland, OR: Carnegie Mellon University, 2003. p. 43-48.
-
ALMEIDA, J. P. A. ; WEGDAM, M. ; van SINDEREN, M. ; NIEUWENHUIS, B. . Transparent dynamic reconfiguration for CORBA. In: 3rd International Symposium on Distributed Objects & Applications (DOA 2001), 2001, Roma. Proceedings of the 3rd International Symposium on Distributed Objects & Applications (DOA 2001. Washington, DC: IEEE Computer Society Press, 2001. p. 197-207.
-
COSTA, M. Z. ; GUIZZARDI, G. ; Almeida, João Paulo A. . On Capturing Legal Knowledge in Ontology and Process Models Combined. In: 35th International Conference on Legal Knowledge and Information Systems (JURIX), 2022, Saarbücken. Legal Knowledge and Information Systems. Amsterdam: IOS Press, 2022. v. 362. p. 267-272.
-
DADALTO, A. ; ALMEIDA, J. P. A. ; FONSECA, C. M. ; GUIZZARDI, G. . Type or Individual? Evidence of Large-Scale Conceptual Disarray in Wikidata. In: 40th International Conference on Conceptual Modeling (ER 2021), 2021, St. John's. 40th International Conference on Conceptual Modeling (ER 2021). Cham: Springer, 2021.
-
SANTOS JR., P. S. ; BARCELLOS, MONALESSA P. ; ALMEIDA, J. P. A. . An Ontology-based Approach to Enable Data-Driven Decision-Making in Agile Software Organizations. In: V Doctoral and Masters Consortium on Ontologies (WTDO 2021), 2021, Online. Proceedings of the XIV Seminar on Ontology Research in Brazil (ONTOBRAS 2021) and V Doctoral and Masters Consortium on Ontologies (WTDO 2021). Aachen: CEUR-WS.org, 2021.
-
ALMEIDA, J. P. A. ; MUSSO, F. A. ; CARVALHO, V. A. ; FONSECA, C. M. ; GUIZZARDI, G. . Capturing Multi-level Models in a Two-Level Formal Modeling Technique. In: ER 2019, 2019, Salvador. 38th International Conference on Conceptual Modeling (ER 2019), LNCS, 2019. v. 11788. p. 1-9.
-
CAMPOS, P. M. C. ; REGINATO, C. C. ; ALMEIDA, JOAO PAULO A. ; NARDI, J. C. ; BARCELLOS, M. P. ; FALBO, RICARDO A. ; GUIZZARDI, R. S. S. . Building an Ontology Network to Support Environmental Quality Research: First Steps. In: XI Seminar on Ontology Research in Brazil, 2018, São Paulo. Proceedings of the XI Seminar on Ontology Research in Brazil and II Doctoral and Masters Consortium on Ontologies. Aachen: CEUR, 2018. v. 2228. p. 227-232.
-
FONSECA, L. B. ; DETONI, A. A. ; ALMEIDA, J. P. A. ; FALBO, R. A. . Uma Proposta de Ontologia de Referencia para Autorizacao Orcamentaria e Execucao da Despesa Publica. In: Brazilian Seminar on Ontologies (ONTOBRAS 2016), 2016, Curitiba. Proceedings of the Brazilian Seminar on Ontologies (ONTOBRAS 2016), 2016.
-
GRIFFO, C. L. ; ALMEIDA, J. P. A. ; Guizzardi, Giancarlo . A Pattern for the Representation of Legal Relations in a Legal Core Ontology. In: 29th International Conference on Legal Knowledge and Information Systems, 2016, Antipolis. Legal Knowledge and Information Systems (JURIX 2016). Amsterdam: IOS Press, 2016. v. 294. p. 191-194.
-
GUERSON, JOHN ; SALES, TIAGO PRINCE ; Guizzardi, Giancarlo ; ALMEIDA, JOAO PAULO A. . OntoUML Lightweight Editor: A Model-Based Environment to Build, Evaluate and Implement Reference Ontologies. In: 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop (EDOCW), 2015, Adelaide. 2015 IEEE 19th International Enterprise Distributed Object Computing Workshop, 2015. p. 144.
-
COSTA, P. D. ; ALMEIDA, J. P. A. ; VALE, I. M. ; MIELKE, I. T. . A Model-Driven Approach for Incorporating Reactive Rules in Declarative Interactive TV Applications. In: 2011 IEEE International Symposium on Policies for Distributed Systems and Networks, 2011, Pisa, Itália. 2011 IEEE International Symposium on Policies for Distributed Systems and Networks. Los Alamitos, CA: IEEE Computer Society Press, 2011. p. 165-168.
-
ALMEIDA, J. P. A. . Modelagem de Arquiteturas Organizacionais de TI Orientadas a Serviços. In: V Simpósio Brasileiro de Sistemas de Informação, 2009, Brasília. V Simpósio Brasileiro de Sistemas de Informação. Porto Alegre: Sociedade Brasileira de Computação, 2009.
-
CARDOSO, E. C. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Requirements engineering based on business process models: A case study. In: 13th International IEEE EDOC Conference (EDOC 2009), 2009, Auckland, Nova Zelândia. 13th International IEEE EDOC Conference (EDOC 2009) Workshop and Short-papers. Los Alamitos, CA: IEEE, 2009. p. 320-327.
-
CARDOSO, E. C. S. ; ALMEIDA, J. P. A. ; GUIZZARDI, G. . Uma Experiência com Engenharia de Requisitos baseada em Modelos de Processos. In: Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2008, Recife. Workshop Iberoamericano de Engenharia de Requisitos e Ambientes de Software, 2008. p. 1-6.
-
COSTA, P. D. ; ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; GUIZZARDI, G. ; van SINDEREN, M. . Towards Conceptual Foundations for Context-Aware Applications. In: Modeling and Retrieval of Context 2006, 2006, Boston, MA, EUA. Modeling and Retrieval of Context. Papers from the 2006 AAAI Workshop. Menlo Park, CA, EUA: AAAI Press, 2006. p. 54-58.
-
ALMEIDA, J. P. A. ; van SINDEREN, M. ; FERREIRA PIRES, L. ; WEGDAM, M. . Handling QoS in MDA: a discussion on availability and dynamic reconfiguration. In: Workshop on Model Driven Architecture: Foundations and Application (MDAFA) 2003, 2003, Enschede. Workshop on Model Driven Architecture: Foundations and Application (MDAFA) 2003, Technical Report TR?CTIT?03?27. Enschede: Centre for Telematics and Information Technology, 2003. p. 91-96.
-
ALMEIDA, J. P. A. . The Impact of an Ontological Theory of Relations in Enterprise Modeling. In: International Workshop on Value Modelling and Business Ontologies (VMBO), 2021, Bolzano. Proceedings of the International Workshop on Value Modelling and Business Ontologies Bolzano, Italy, March 4th and 5th, 2021, Bolzano, Italy, 2021.
-
ALMEIDA, J. P. A. ; CARVALHO, V. A. ; BRASILEIRO, F. ; FONSECA, CLAUDENIR MORAIS ; Guizzardi, Giancarlo . Keynote Speech: Multi-Level Conceptual Modeling: Theory and Applications. 2018. (Apresentação de Trabalho/Conferência ou palestra).
Outras produções
ALMEIDA, J. P. A. ; WEGDAM, M. . CORBA Dynamic Reconfiguration Service. 2001.
ALMEIDA, J. P. A. . Parecer para a CAPES como Consultor ad hoc (PAEX). 2011.
ALMEIDA, J. P. A. . Parecer para o CNPq como Consultor ad hoc (diversos editais).. 2009.
ALMEIDA, J. P. A. ; IACOB, M.E. ; IACOB, S. ; LANKHORST, M. M. ; van ECK, P. . Methodological Framework for Freeband Services Development - Version 3 (Freeband/A-MUSE/D2.3c). 2006.
IACOB, S. ; ALMEIDA, J. P. A. . Automatic Composition of Context Information Provisioning Services (Freeband/A-MUSE/D3.14). 2006.
ALMEIDA, J. P. A. ; DIJKMAN, R. ; DIRGAHAYU, T. ; STEEN, M. W. ; QUARTEL, D. ; IACOB, M.E. ; JONKERS, H. . A-MUSE Abstract Platform Definition (Freeband/A-MUSE/D1.14). 2006.
IACOB, M.E. ; JONKERS, H. ; LANKHORST, M. M. ; PRAS, A. ; QUARTEL, D. ; STEEN, M. W. ; STRATING, P. ; ALMEIDA, J. P. A. . Design-Time Modelling Framework for Freeband Services (Freeband/A-MUSE/D1.11). 2006.
ALMEIDA, J. P. A. ; IACOB, M.E. ; JONKERS, H. ; QUARTEL, D. . Platform-Independent Modelling of Service Infrastructure Components: Towards the A-MUSE Abstract Platform (Freeband/A-MUSE/D1.6). 2005.
ALMEIDA, J. P. A. ; IACOB, M.E. ; IACOB, S. ; LANKHORST, M. M. . Methodological Framework for Freeband Services Development version 2 (Freeband/A-MUSE/D2.3b). 2005.
ALMEIDA, J. P. A. ; IACOB, M.E. ; LANKHORST, M. M. ; van der SPEK, J. . Initial Guidelines on the A-MUSE Design Process (Freeband/A-MUSE/D2.4). 2005.
ALMEIDA, J. P. A. ; IACOB, M.E. ; IACOB, S. . Methodological Framework for Freeband Services Development (Freeband/A-MUSE/D2.3a). 2004.
ALMEIDA, J. P. A. ; IGAMBERDIEV, M. ; IACOB, M.E. ; HUTSCHEMAEKER, M. ; PLAS, D.J. . On the Role of MDA in the Development of Freeband Services (Freeband/A-MUSE/D2.2). 2004.
ALMEIDA, J. P. A. ; HUTSCHEMAEKER, M. ; IACOB, M.E. ; IACOB, S. ; IGAMBERDIEV, M. ; PLAS, D.J. . Evaluation of Existing Methods for Freeband Service Development: State-of-the-Art Report (Freeband/A-MUSE/D2.1). 2004.
ALMEIDA, J. P. A. . Oficina - Construcao de modelos de referencia com base em Ontologias: Aplicacao a Compras Governamentais. 2018. (Curso de curta duração ministrado/Outra).
NARDI, JULIO C. ; FONSECA, CLAUDENIR MORAIS ; FALBO, RICARDO A. ; ALMEIDA, J. P. A. . UFO-S Technical Report. 2014. (Relatório de pesquisa).
COSTA, P. D. ; MIELKE, I. T. ; PEREIRA, ISAAC ; ALMEIDA, J. P. A. . Realization of a Model-Driven Approach to Situations: Situation Modeling in Ecore & Rule-Based Situation Detection in Drools. 2012. (Relatório de pesquisa).
ALMEIDA, J. P. A. ; DOBBIE, G. ; WEBER, G. . Proceedings of the 13th IEEE International EDOC Enterprise Computing Conference (EDOC 2009). 2009. (Editoração/Anais).
ALMEIDA, J. P. A. ; FARIAS, C. R. G. ; PEREIRA FILHO, J. G. . WebMedia 2008 - XIV Simpósio Brasileiro de Sistemas Multimídia e Web - ANAIS ARTIGOS RESUMIDOS E ARTIGOS DE WORKSHOPS. 2008. (Editoração/Anais).
van SINDEREN, M. ; ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; STEEN, M. W. . Proceedings of the Workshop on Models and Model-Driven Methods for Enterprise Computing (3M4EC 2008). 2008. (Editoração/Anais).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; RAÚL ROMERO, J. ; WOOD, B. . Proceedings of the 5th International Workshop on ODP for Enterprise Computing (WODPEC 2008). 2008. (Editoração/Anais).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; VALLECILLO, A. ; WOOD, B. . Proceedings of the Workshop on ODP for Enterprise Computing (WODPEC 2007). 2007. (Editoração/Anais).
ALMEIDA, J. P. A. ; LININGTON, P. F. ; TANAKA, A. ; WOOD, B. . Proceedings of the Workshop on ODP for Enterprise Computing (WODPEC 2006). 2006. (Editoração/Anais).
ALMEIDA, J. P. A. ; FERREIRA PIRES, L. ; van SINDEREN, M. . Proceedings of the European Workshop on Milestones, Models and Mappings for Model-Driven Architecture (3M4MDA 2006). 2006. (Editoração/Anais).
Projetos de pesquisa
-
2022 - Atual
Avanços em Tecnologias Semânticas: Contribuições Metodológicas e Aplicações, Descrição: O presente projeto contribuirá para o fortalecimento de grupo de pesquisa líder internacional no desenvolvimento de tecnologias semânticas, tendo nas últimas décadas desenvolvido programa de pesquisa centrado na ontologia de fundamentação UFO (Unified Foundational Ontology) e na linguagem de modelagem conceitual ontológica e cognitivamente bem fundamentada OntoUML, ambos artefatos de grande impacto. O projeto consolidará a colaboração entre o Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO/UFES), diversos pesquisadores atuando em Tecnologias Semânticas no IFES e DTI/UFES, e o grupo de pesquisas SCS (Services and Cybersecurity Semantics) da Universidade de Twente (Holanda) que concentra pesquisadores de renome que mantém um ecossistema de ferramentas semânticas com base em UFO/OntoUML. O grupo proponente investigará avanços nos métodos e ferramentas para engenharia de ontologias, redes de ontologias e sua implementação com tecnologias semânticas. Adicionalmente, investigará o desenvolvimento de métodos e ferramentas para engenharia dos chamados 'data lakes' semânticos (que viabilizam estratégias de 'big data' mantendo a capacidade de interoperabilidade semântica). São previstas no projeto aplicações destas tecnologias em áreas-chave da Transformação Digital, a saber, E-health, Big Data, Data-Driven Software Engineering, e E-government.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (6) / Doutorado: (3) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante / Vítor Estêvão Silva Souza - Integrante / Anilton Salles Garcia - Integrante / Monalessa Perini Barcellos - Integrante / FONSECA, CLAUDENIR M. - Integrante / Tiago Prince Sales - Integrante / Maxwell Eduardo Monteiro - Integrante / Wilian Hiroshi Hisatugu - Integrante / Renato Elias Nunes de Moraes - Integrante / Camila Zacché de Aguiar - Integrante / Veruska Carretta Zamborlini - Integrante / Luiz Olavo Bonino da Silva Santos - Integrante.
-
2021 - Atual
Modelagem de Arquiteturas Corporativas e Sistemas de Informação com base em Ontologias: da Semântica ao Suporte Inteligente, Descrição: Este projeto concentra-se em avanços nas técnicas de modelagem de arquiteturas corporativas e técnicas de modelagem conceitual para sistemas de informação, dando continuidade aos esforços de pesquisa do proponente na última década. Serão definidas ontologias núcleo bem fundamentadas para os aspectos sociais e normativos de arquiteturas corporativas?como confiança (trust), valor e risco?com sua aplicação na avaliação, revisão e extensão de linguagens de modelagem conceitual e de frameworks de arquiteturas corporativas. Serão propostas técnicas de suporte inteligente à modelagem com base na semântica ontológica dos modelos. Em particular, serão consideradas técnicas de detecção de erros semânticos, de identificação de anti-padrões, de reparação automática de modelos, de abstração/visualização de modelos e de transformação automática (com realização de implementações eficientes). Será explorado o uso de máquinas de inferência dedutivas e de estratégias de aprendizado de máquina baseado em lógica (em particular programação lógica indutiva), em combinação com as técnicas já empregadas de verificação formal (model finding) e prova automática de teoremas. Serão também exploradas as técnicas de modelagem multi-nível, com emprego da teoria multi- nível MLT, tanto para modelos conceituais orientados a ontologias quanto para os modelos de arquiteturas corporativas.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Coordenador.
-
2020 - Atual
DSYNE: Digital System Requirements for Natural Resources Engineering, Descrição: O projeto visa desenvolver pesquisa na área de gestão digital de requisitos em projetos de engenharia de grande escala com base em ontologias, e a transferência de conhecimento através do desenvolvimento de material educacional e workshops. Projeto multi-institucional internacional Noruega-Brasil-EUA com financiamento do Norway Research Council.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (1) . , Integrantes: João Paulo Andrade Almeida - Integrante / Vítor Estêvão Silva Souza - Integrante / Guizzardi, Giancarlo - Integrante / Monalessa Perini Barcellos - Integrante / GUIZZARDI, RENATA S.S. - Integrante / David Cameron - Coordenador / Arild Waaler - Integrante / Martin Giese - Integrante / Kristin Falk - Integrante / SATYANARAYANA KOKKULA - Integrante / GERRIT MULLER - Integrante / KARIN BECKER - Integrante / MARA ABEL - Integrante / GINO LIM - Integrante / MO MANSOURI - Integrante / MARTIN G. SKJVELAND - Integrante / MARCELO PIMENTA - Integrante., Financiador(es): Research Council of Norway - Auxílio financeiro.
-
2018 - 2021
Avancos na Modelagem de Arquiteturas Corporativas e Sistemas de Informacao com base em Ontologias, Descrição: Dando continuidade aos esforcos de pesquisa do proponente na ultima decada, este projeto concentra-se em avancos nas tecnicas de modelagem de arquiteturas corporativas e tecnicas de modelagem conceitual para sistemas de informacao. Deseja-se viabilizar o uso dos modelos produzidos nestas tecnicas como ponto de partida para a comunicacao entre stakeholders, assim como para a analise, simulacao, verificacao, integracao semantica e evolucao de arquiteturas corporativas e sistemas de informacao.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2017 - Atual
Uma Infraestrutura de e-Science voltada à Gestão da Qualidade de Água na Bacia do Rio Doce, Descrição: O desastre da Samarco na bacia do Rio Doce criou a necessidade de se avaliar o impacto ambiental e as consequências do evento. Nesse contexto, grupos autônomos de pesquisadores (a partir de suas IES ou organizados em grupos independentes como o GIAIA - Grupo Independente de Avaliação do Impacto Ambiental), e técnicos de órgãos governamentais (SEAMA, ANA, IEMA, IBAMA) começaram a realizar uma série de ações visando avaliar os impactos ambientais decorrentes do desastre, nas diversas dimensões do conhecimento, de forma a obter uma visão abrangente sobre os danos causados e apontar direcionamentos para a recuperação dos ecossistemas e das atividades socioeconômicas. Contudo, as primeiras informações veiculadas sobre a composição química e a toxicidade dos rejeitos carreados para os rios da bacia do Rio Doce eram conflitantes, assim como os efeitos que tais rejeitos poderiam causar à biota e aos ecossistemas aquáticos ao longo da área afetada. Combinar e comparar dados e informações dessas diversas fontes permanece um desafio. A fim de atacar esse desafio e melhorar a infraestrutura de reúso dos dados científicos, este projeto possibilitará a governança de informações sobre a qualidade da água da bacia do Rio Doce e os impactos ambientais causados na biota aquática. Será criada uma infraestrutura de e-science para armazenamento, análise e compartilhamento de dados e informações científicos, criando assim uma plataforma científica-cidadã de conhecimento aberto, livre e participativo.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Julio Cesar Nardi - Integrante / Denis Abessa - Integrante / Renato Campello Cordeiro - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Bolsa.
-
2015 - 2019
Interoperabilidade Semântica de Informações em Segurança Pública, Descrição: Considerando a relevância da disponibilidade de informações de qualidade na elaboração de políticas públicas voltadas para Prevenção, Proteção e Defesa Social, este projeto investigará uma abordagem de governança de informações de Segurança Pública com base em modelos conceituais de referência. Será dada ênfase à interoperabilidade semântica de sistemas de informação heterogêneos, os quais contém informações atualmente desarticuladas (sistemas mantidos pela Secretaria de Segurança Pública e demais secretarias e órgãos do Governo do Estado). A abordagem proposta prevê o alinhamento de fontes heterogêneas de dados com base em ontologias de referência, além da publicação de dados usando formatos abertos em conformidade com tecnologias de Dados Abertos na Web (Web Semântica, W3C), de modo a possibilitar a efetiva integração com Linked Open Data (LOD).. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Integrante / Vítor Estêvão Silva Souza - Coordenador., Financiador(es): Fundação de Amparo a Pesquisa no Espírito Santo - Auxílio financeiro.
-
2015 - 2018
Semântica dos Aspectos Estratégicos de Arquiteturas Corporativas baseada em Ontologias, Descrição: Projeto de Bolsa de Produtividade em Pesquisa. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2015 - 2017
Interoperabilidade Semântica Baseada em Ontologias, Projeto certificado pelo(a) coordenador(a) Monalessa Perini Barcellos em 31/10/2018., Descrição: Edital MCTI/CNPQ/Universal 14/2014 - Faixa A. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Integrante / RENATA SILVA SOUZA GUIZZARDI - Integrante / Vítor Estêvão Silva Souza - Integrante / Guizzardi, Giancarlo - Integrante / Monalessa Perini Barcellos - Coordenador / FALBO, RICARDO A. - Integrante.
-
2013 - 2015
Ontological Foundations of Service Science, Descrição: The present proposal aims at consolidating such previous work, leveraging on the contributions from the Ontology and Conceptual Modeling Research Group (NEMO) of Federal University of Espírito Santo (UFES) concerning the ontological foundations of business modeling, to build a core ontology for services under a value-oriented perspective. Such ontology will address, among other things, the concepts of client and provider roles [Almeida & Guizzardi, 2007]; the activities of description, discovery, service provisioning and usage; the execution of actions related to service provisioning, including the social objects, value exchanges and results of service provisioning; the activities or processes needed for service provisioning; the intentionality aspects (client and provider goals) as well as the normative aspects for service usage and provisioning (commitments, contracts and service-level agreements). The visiting researcher of this project, Nicola Guarino, is the sixth most cited author in Computer Science in Italy, according to the Citeseer classification. He has (according to Google Scholar, nearly 13500 citations, an h-index = 37, i10 = 54). Nicola Guarino is also one of the forefathers of the area of Formal Ontology in Information and one of the most renowned scientists in the field. He is currently the president of the International Association for Ontology and Applications (iaoa.org).. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (3) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante / Ricardo de Almeida Falbo - Integrante / Nicola Guarino - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2013 - 2015
Semantica dos Aspectos Estrategicos de Arquiteturas Corporativas, Descrição: Chamada Pública MCTI/CNPq N 14/2013 - Universal / Universal 14/2013 - Faixa B. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Coordenador / Maria Eugenia Iacob - Integrante / Patricia Dockhorn Costa - Integrante / RENATA SILVA SOUZA GUIZZARDI - Integrante / Vítor Estêvão Silva Souza - Integrante / Ricardo de Almeida Falbo - Integrante / Guizzardi, Giancarlo - Integrante / Monalessa Perini Barcellos - Integrante / Nicola Guarino - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2012 - 2015
Integração Semântica de Arquiteturas Corporativas Orientadas a Serviços, Descrição: Projeto de Produtividade em Pesquisa CNPq. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: João Paulo Andrade Almeida - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2012 - 2015
Interoperabilidade semântica de Dados Abertos Governamentais com Base em Ontologias: contribuições para o W3C Government Linked Data Working Group, Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante., Financiador(es): CGI.br NIC.br W3C Brasil - Bolsa.
-
2011 - 2013
Ontologias de Fundamentação para Interoperabilidade Semântica de Serviços em Governo Eletrônico, Descrição: Este projeto concentra-se em avanços no suporte teórico e prático para a engenharia de ontologias visando sua aplicação ao problema de interoperabilidade semântica. Ênfase será dada à qualidade das linguagens, metodologias e ferramentas utilizadas na definição de ontologias visando o uso de ontologias no problema de interoperabilidade semântica, com aplicação no domínio de Governo Eletrônico. Como pontos de partida serão utilizadas as ontologias de fundamentação: (i) UFO (Unified Foundational Ontology) proposta em [Guizzardi & Herre & Wagner, 2002; Guizzardi, 2005, Guizzardi & Masolo & Borgo, 2006; Guizzardi, 2007; Guizzardi & Wagner, 2008; Guizzardi, 2009; Guizzardi, 2010; Guizzardi & Wagner, 2010a] por pesquisadores do Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO) junto a colaboradores da comunidade internacional de ontologias; e (ii) DOLCE (Descriptive Ontology for Linguistic and Cognitive Engineering) proposta pelo parceiro internacional deste projeto (Laboratory for Applied Ontology (LOA), ISTC, CNR). Estas ontologias incorporam avanços complementares e serão harmonizadas para prover uma fundamentação semântica única para aplicação no problema da interoperabilidade semântica no domínio de Governo Eletrônico. Este projeto de pesquisa fortalecerá o Núcleo de Estudos em Modelagem Conceitual e Ontologias (NEMO) reafirmando a sua posição de excelência no cenário nacional e internacional. Em particular, o projeto permitirá o engajamento de outros pesquisadores nos trabalhos que já vêm sendo realizados, bem como ampliará as possibilidades de colaboração entre os membros do grupo e de outras instituições, notadamente o Departamento de Ciência da Computação (DCC) da Universidade Federal do Rio de Janeiro (UFRJ), o Departamento de Informática da PUC-RJ, o Laboratory for Applied Ontology (LOA) ISTC-CNR e a Brandenburg University of Technology at Cottbus.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (10) / Doutorado: (1) . , Integrantes: João Paulo Andrade Almeida - Integrante / Giancarlo Guizzardi - Coordenador / Patricia Dockhorn Costa - Integrante / RENATA SILVA SOUZA GUIZZARDI - Integrante / Ricardo de Almeida Falbo - Integrante / Monalessa Perini Barcellos - Integrante / Nicola Guarino - Integrante / Marcos Roberto da Silva Borges - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro.
-
2010 - 2012
Ontologias de Fundamentação para Interoperabilidade Semântica de Serviços, Descrição: Este projeto concentra-se em avanços no uso de ontologias de fundamentação para interoperabilidade semântica de serviços desenvolvidos independentemente. O problema de interoperabilidade semântica com base em ontologias é abordado de duas formas complementares. Primeiramente, uma vez que serviços eletrônicos são tipicamente desenvolvidos independentemente, há a necessidade de se capturar a ontologia de domínio subjacente aos processos dos diversos parceiros (clientes e/ou provedores) presentes em um ecossistema de serviços. Adicionalmente, os diversos serviços devem ser descritos, descobertos, compostos e executados. Desta forma, é necessário explicitar as características dos diversos serviços, o que pressupõe a existência de uma ontologia compartilhada de serviços. Neste projeto serão harmonizadas as ontologias de fundamentação UFO e DOLCE, para prover uma base semântica abrangente para categorias ontológicas, relações, conceitos sociais e intencionais que possam ser usados na: (i) definição de uma ontologia de serviços e (ii) na definição de ontologias de domínio para composição (integração) de serviços específicos. Serão priorizadas aplicações dos conceitos no domínio de Governo Eletrônico.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (4) / Doutorado: (2) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante / Patricia Dockhorn Costa - Integrante / RENATA SILVA SOUZA GUIZZARDI - Integrante / Ricardo de Almeida Falbo - Integrante / Monalessa Perini Barcellos - Integrante / Roberta Ferrario - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2009 - 2012
Capturando a Semântica de Arquiteturas Corporativas: Metamodelos, Modelos, Visões e Transformações, Descrição: Este projeto investiga técnicas para a captura e formalização de uma Arquitetura Corporativa de Tecnologia da Informação (Enterprise Architecture) em uma descrição arquitetural para que esta sirva como um veículo para documentação, visualização, análise, manipulação e evolução de uma organização e seus sistemas. São investigadas em particular: (i) conceituações básicas para os diversos domínios de interesse das Arquiteturas Corporativas de TI (formalizadas através de ontologias de fundamentação) e (ii) técnicas para estabelecer a correspondência entre estes domínios de forma sistemática. As técnicas de modelagem de arquiteturas serão investigadas no escopo do Desenvolvimento Orientado a Modelos.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (6) / Mestrado acadêmico: (4) . , Integrantes: João Paulo Andrade Almeida - Coordenador., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
-
2009 - 2011
Princípios Teóricos e Ferramentas Computacionais para Interoperabilidade Semântica baseada em Ontologias, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (10) . , Integrantes: João Paulo Andrade Almeida - Integrante / Giancarlo Guizzardi - Coordenador / RENATA SILVA SOUZA GUIZZARDI - Integrante / Ricardo de Almeida Falbo - Integrante / Fernanda Araújo Baiao - Integrante / Mateus Conrad Barcellos da Costa - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro.
-
2009 - 2011
Ferramentas Conceituais e Computacionais para Teoria e Prática Bem-Fundamentadas da Engenharia de Ontologias, Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (10) . , Integrantes: João Paulo Andrade Almeida - Integrante / Giancarlo Guizzardi - Coordenador / RENATA SILVA SOUZA GUIZZARDI - Integrante / Ricardo de Almeida Falbo - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
-
2008 - 2009
MODELA: Modelagem de Arquiteturas de Sistemas de Informação e Processos de Negócio, Descrição: Este projeto consiste em pesquisa para o desenvolvimento de técnicas para modelagem conceitual de sistemas de informação, assim como para o projeto e especificação de sistemas através dos processos de negócios (Business Process Management) e serviços (Service-Oriented Architectures). Um aspecto importante do projeto é sua inserção nos esforços de Desenvolvimento Orientado a Modelos (Model-Driven Development, e Model-Driven Architecture), com o desenvolvimento de ferramental de software livre para as técnicas de modelagem propostas. As técnicas e o ferramental a serem desenvolvidos têm caráter inovador e empregam tecnologias de desenvolvimento atuais e de alto conteúdo tecnológico. As técnicas e o ferramental a serem desenvolvidos propiciarão um aumento significativo na produtividade e qualidade do projeto de sistemas de informação, tendo aplicação imediata em instituições sediadas no município de Vitória.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (2) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante., Financiador(es): Fundo de Apoio à Ciência e Tecnologia do Município de Vitória - Auxílio financeiro., Número de produções C, T & A: 9
-
2007 - 2009
INFRA-MODELA, Descrição: Este projeto visa a aquisição de infra-estrutura para pesquisas na área de modelagem para sistemas abertos e para realização de ferramental de sofware livre para tal modelagem. As técnicas de modelagem a serem desenvolvidas neste contexto incluem linguagens para análise de sistemas e ontologias (modelagem conceitual) e projeto e especifição de sistemas abertos organizados através de arquitectura orientada a serviços (Service-Oriented Architecture, SOA). Aspectos importantes do projeto são sua inserção nos esforços de Desenvolvimento Orientado a Modelos (Model-Driven Development, MDD, e Model-Driven Architecture, MDA) e a criação de um núcleo de pesquisa e formação de competências nesta área no Espírito Santo.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (4) / Mestrado acadêmico: (8) . , Integrantes: João Paulo Andrade Almeida - Coordenador / Giancarlo Guizzardi - Integrante., Financiador(es): Fundação de Amparo à Pesquisa do Espírito Santo - Auxílio financeiro., Número de produções C, T & A: 17
-
2006 - 2008
EU IST SPICE - Service Platform for Innovative Communication Environment, Descrição: SPICE (Service Platform for Innovative Communication Environment) is addressing the still unsolved problem of designing, developing and putting into operation efficient and innovative mobile Service creation/execution platforms for networks beyond 3G. This project will research, prototype and evaluate an extendable overlay architecture and framework to support, easy and quick service creation, test and deployment of intelligent mobile communication and information services. Building on significant advances in IT technologies, the SPICE platform will support multiple heterogeneous execution platforms allowing for new, innovative services to be spread across different operator domains and over different countries realizing a variety of business models. The SPICE consortium consists of 23 partners in 11 countries: 13 large industrials (Telecom operators, equipment manufacturers, platform developers), 7 research centers and universities, 2 SMEs, 1 consultancy company.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Integrante / Christophe Cordier - Coordenador.
-
2004 - 2008
Freeband A-MUSE - Architectural Modeling for Service Enabling in Freeband, Descrição: The main results planned in the project are: a conceptual framework with associated formal and best practice techniques that can be used for the design of services; techniques for representing semantic descriptions of run-time resources and information, such as user context, service capabilities, user profiles and provider profiles; a service design and service architecture definition methodology; an integrated software tool to support design operations and analysis of design results (both behaviour models and semantic descriptions); case studies in which the above mentioned results are applied and evaluated, in cooperation with other projects within the Freeband Communication programme.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (5) . , Integrantes: João Paulo Andrade Almeida - Integrante / Marten van Sinderen - Coordenador., Financiador(es): Telematica Instituut - Auxílio financeiro / Ericsson B.V. - Auxílio financeiro / BiZZ Design B.V. - Auxílio financeiro / Compuware B.V. - Auxílio financeiro / Ministério dos Assuntos Econômicos, Holanda - Auxílio financeiro / University of Twente - Auxílio financeiro.
-
2004 - 2008
Freeband A-MUSE - Architectural Modeling for Service Enabling in Freeband, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Integrante / Marten van Sinderen - Coordenador.
-
2002 - 2004
Freeband WASP - Web Architectures for Services Platforms, Descrição: The WASP application environment has the following characteristics: Applications are independent of the underlying platform or the network used, and can operate in multi-operator and multi-vendor environments Seamless integration between networks and services is possible based on web services with clear, standardised interfaces for information exchange Services, and multimedia services in particular, can be adapted to the capacities of the network and the end user's mobile device Services can be personalised Intelligent searching for relevant services in a broad and dynamic range of services Combination of voice and data services In the past, standards organisations such as OSA and Parlay have called for such benefits. However, in practice, integration with interfaces according to these standards remains a complex issue. In addition, the relevant knowledge is hard to transfer. This hampers rapid application development. Because of their transparent approach, web services can potentially access a much larger market. And because of the worldwide standardisation of the publication, description and invocation of services, knowledge regarding these services is transferred more easily. The WASP project investigates the possibilities of this new approach in the context of mobile, context-aware services.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Doutorado: (4) . , Integrantes: João Paulo Andrade Almeida - Integrante / Johan Koolwaaij - Coordenador., Financiador(es): University of Twente - Auxílio financeiro / Ericsson B.V. - Auxílio financeiro / Ministério dos Assuntos Econômicos, Holanda - Auxílio financeiro / Telematica Instituut - Auxílio financeiro.
-
2002 - 2004
EU IST MODA-TEL, Descrição: The main objective of this project is to provide the industry with the methodology and tools to apply model driven architectures and related technologies and to contribute to industrial standardisation bodies in order to obtain standards suitable for telecommunications applications. Furthermore to advance the current state-of-the-art by doing research in areas that have not been addressed so far, like business modelling, QoS awareness, model transformations and their traceability, and UML improvements. MODA-TEL is a joint effort of European telecommunication network operators, service providers, tool vendors, systems integrators and academia with the objective to advance the software engineering practices, specifically addressing the telecommunications domain in which systems and services are very complex and heterogeneous, requiring always legacy integration. The detailed objectives are: To assess the foundation of MDA by identifying the relevant key technologies and the available tool support To identify the core ingredients and technologies of a deployable MDA and to identify the relationships between these ingredients and technologies To develop and deliver a methodology for the application of MDA technologies To develop and specify a formalism for model transformation techniques To apply the MDA methodology on telecom specific applications, including platform independent models for these applications To specify and prototype tool extensions to support necessary steps in the software development process and information integration To specify the tool chain (extensions) supporting the automation of the software development and operation processes, as well as information integration and management To actually apply the methodology and the tool chain on the telecom specific applications Conduct research on the identified open issues stemming from the assessment of the foundations of MDA Influence the OMG MDA standardisation where appropr. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (3) Doutorado: (1) . , Integrantes: João Paulo Andrade Almeida - Integrante / Anastasius Gavras - Coordenador., Financiador(es): European Commission - Auxílio financeiro., Número de produções C, T & A: 2
-
1998 - 2002
AMIDST - Application of Middleware in Services for Telematics, Situação: Concluído; Natureza: Pesquisa. , Integrantes: João Paulo Andrade Almeida - Integrante / Marten van Sinderen - Coordenador.
Prêmios
2019
ER 2019 - Best Paper Award - Events as Entities in Ontology-Driven Conceptual Modeling, 38th International Conference on Conceptual Modeling (ER 2019).
2018
ER 2018 - Best Student Paper Award - Multi-Level Conceptual Modeling: From a Formal Theory to a Well-Founded Language, with Claudenir Mor, 37th International Conference on Conceptual Modeling (ER 2018).
2017
IEEE EDOC 2017 - Best Paper Award, IEEE Computer Society.
2015
ER 2015 Best Paper Award - Extending the Foundations of Ontology-based Conceptual Modeling with a Multi-Level Theory, 34th International Conference on Conceptual Modeling (ER 2015).
2015
IEEE EDOC 2015 - Best Student Paper Award com orientando Carlos Azevedo, IEEE Computer Society / IEEE Communications Society.
2013
IEEE CogSIMA 2013 Best Paper Award, IEEE Communications Society.
2013
IEEE EDOC 2013 Best Paper Award - Towards a Commitment-Based Reference Ontology for Services, IEEE Computer Society / IEEE Communications Society.
2013
IFIP I3E 2013 - Best Paper Award - Foundational Ontologies for Semantic Integration in EAI: A Systematic Literature Review, IFIP.
2011
IEEE EDOC 2011 Best Paper Award - An Ontology-Based Semantics for the Motivation Extension to ArchiMate, IEEE Computer Society / IEEE Communications Society.
2001
Mestrado em Telemática com Louvor, University of Twente.
2001
Nominado ao prêmio KIVI Regio Oost / UT (Concurso de teses de mestrado), KIVI Regio Oost / University of Twente.
1999
Infopulse Electronic Commerce Essay Contest, Infopulse Electronic Commerce B.V..
1998
Melhor coeficiente de rendimento entre os alunos formandos em Engenharia de Computação, CREA-ES.
1998
Representante da Universidade Federal do Espírito Santo na Maratonas de Programação da ACM, Universidade Federal do Espírito Santo.
1997
Representante da Universidade Federal do Espírito Santo na Maratonas de Programação da ACM, Universidade Federal do Espírito Santo.
1993
Prêmio de Qualidade Yázigi, Bolsa para Intercâmbio no ?Yázigi International Intercultural Programme?, Yázigi.
Histórico profissional
Endereço profissional
-
Universidade Federal do Espírito Santo, Centro Tecnológico, Departamento de Informática. , UFES / CT-VII / Departamento de Informática, Av. Fernando Ferrari, S/N, Goiabeiras, 29060970 - Vitória, ES - Brasil, Telefone: (27) 33352654, URL da Homepage:
Experiência profissional
2006 - Atual
Universidade Federal do Espírito SantoVínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Regime: Dedicação exclusiva.
Atividades
-
02/2007
Ensino, Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Sistemas de Computação, Interfaces e Periféricos, Linguagem de Montagem, Processamento Paralelo
-
01/2007
Pesquisa e desenvolvimento, Centro Tecnológico, Departamento de Informática.,Linhas de pesquisa
-
01/2007
Ensino, Mestrado em Informática, Nível: Pós-Graduação,Disciplinas ministradas, Desenvolvimento Orientado a Modelos
2005 - 2006
Telematica InstituutVínculo: Celetista, Enquadramento Funcional: Scientific Researcher
Atividades
-
10/2005 - 11/2006
Pesquisa e desenvolvimento, Service Architectures.,Linhas de pesquisa
2001 - 2006
Centre for Telematics and Information TechnologyVínculo: Celetista, Enquadramento Funcional: Assistente de Pesquisa, Carga horária: 40
Atividades
-
09/2001 - 07/2006
Pesquisa e desenvolvimento, Architecture and Services of Network Applications.,Linhas de pesquisa
-
01/2001 - 12/2003
Ensino, M.Sc. Telematics, Nível: Pós-Graduação,Disciplinas ministradas, Projeto de Sistemas Telemáticos, Middleware para Objetos Distribuídos, Engenharia de Protocolos
2000 - 2001
Lucent Technologies, Bell LabsVínculo: Estagiário, Enquadramento Funcional: Member of Scientific Staff, Carga horária: 40
Atividades
-
09/2000 - 06/2001
Pesquisa e desenvolvimento, Lucent Technologies, Bell Labs Advanced Technologies, EMEA.,Linhas de pesquisa
1998 - 1999
Automática Tecnologia S/A ,Vínculo: Estagiário, Enquadramento Funcional: Estagiário, Carga horária: 40
Atividades
-
10/1998 - 03/1999
Estágios , Automática Tecnologia S/A.,Estágio realizado, Desenvolvimento de Sistema de Controle Distribuído Microprocessado para Elevador Hidráulico.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de João Paulo Andrade Almeida e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?