Doutorado em Ciência da Computação

URI Permanente para esta coleção

http://repositorio.ufes.br/handle/10/17626

Nível: Doutorado
Ano de início:
Conceito atual na CAPES:
Ato normativo:
Periodicidade de seleção:
Área(s) de concentração:
Url do curso:

Navegar

Navegando Doutorado em Ciência da Computação por Autor "Almeida, Joao Paulo Andrade"

Agora exibindo 1 - 4 de 4
  • Nenhuma Miniatura disponível
    Item
    An Ontology Network to support Knowledge Representation and Semantic Interoperability in the HCI Domain
    (Universidade Federal do Espírito Santo, 2022-07-08) Costa, Simone Dornelas; Barcellos, Monalessa Perini; https://orcid.org/; http://lattes.cnpq.br/8826584877205264; https://orcid.org/; http://lattes.cnpq.br/; Almeida, Joao Paulo Andrade; https://orcid.org/; http://lattes.cnpq.br/4332944687727598; Zaina, Luciana Aparecida Martinez; https://orcid.org/; http://lattes.cnpq.br/; Pereira, Roberto; https://orcid.org/; http://lattes.cnpq.br/; Souza, Vitor Estevao Silva; https://orcid.org/0000000318695704; http://lattes.cnpq.br/2762374760685577
    abstract
  • Nenhuma Miniatura disponível
    Item
    An Ontology-based Reference Model for the Software Systems Domain with a focus on Requirements Traceability
    (Universidade Federal do Espírito Santo, 2022-04-29) Duarte, Bruno Borlini; Souza, Vitor Estevao Silva; https://orcid.org/0000000318695704; http://lattes.cnpq.br/2762374760685577; https://orcid.org/; http://lattes.cnpq.br/; Leite, Julio Cesar Sampaio do Prado; https://orcid.org/0000-0002-0355-0265; http://lattes.cnpq.br/6871006250321522; Almeida, Joao Paulo Andrade; https://orcid.org/0000-0002-9819-3781; http://lattes.cnpq.br/4332944687727598; Guerra, Eduardo Martins; https://orcid.org/; http://lattes.cnpq.br/3413978291577451; Barcellos, Monalessa Perini; http://lattes.cnpq.br/8826584877205264
    Software plays an essential role in modern society, as it has become indispensable in many aspects of our lives, such as social, business and even personal. Because of this importance, many researchers are dedicated to study the nature of software, how it is related to us and how it is able to change aspects in our society. It is accepted by the scientific community that software is a complex social artifact. This notion comes from the fact that a modern software system can be understood as the combination of interacting elements that exist inside a computer, such as programs and data, and in our world, such as sensors, other systems or even people, all of which are specifically organized to provide a set of functionalities or services and so, fulfill its purposes. A major concern in the development of modern complex software-based systems, is ensuring that the design of the system is capable of satisfying the current set of requirements. In this context, it is widely accepted in the scientific literature and in international standards that the requirements have an important role in the software process. Because of that, requirements need to be developed, refined, managed and traced to their origins, in a controlled engineering process, to control their changing nature and mitigate risks. In order to support these activities, we argue, based on the conceptual modeling scientific literature, that we can use ontologies to provide a better understanding of the software systems domain, reducing the inherent complexity and improving the requirements engineering process. In this work, we propose an ontology-based requirements traceability theory centered in different types of software systems requirements. Based on that, we developed the Reference Ontology of Software Systems (ROSS) and the Ontology of Software Defects Errors and Failures (OSDEF). ROSS and OSDEF are domain ontologies about the software systems that are intended to be used together and combined with other existing ontologies, as reference models for requirements traceability. Besides, we developed machine- readable operational ontologies, based on the reference versions of ROSS and OSDEF. The operational ontologies are created to support an ontology-based requirements traceability process that is based on the relationships that exist between the concepts in the ontologies.
  • Nenhuma Miniatura disponível
    Item
    EArly-OE: Atividades Iniciais de Engenharia de Ontologias Apoiadas em Modelos de Arquitetura Organizacional
    (Universidade Federal do Espírito Santo, 2019-10-25) Detoni, Archimedes Alves; Almeida, Joao Paulo Andrade; https://orcid.org/; http://lattes.cnpq.br/4332944687727598; https://orcid.org/; http://lattes.cnpq.br/; Carvalho, Victorio Albani de; https://orcid.org/; http://lattes.cnpq.br/; Souza, Vitor Estevao Silva; https://orcid.org/0000000318695704; http://lattes.cnpq.br/2762374760685577; Amorim, Fernanda Araujo Baiao; https://orcid.org/; http://lattes.cnpq.br/; Barcellos, Monalessa Perini; http://lattes.cnpq.br/8826584877205264
    Nowadays, public and private organizations are being encouraged to improve the computerized support to their activities. They intend to integrate their Information Systems (ISs) and to use heterogeneous data from different sources in order to produce rele
  • Nenhuma Miniatura disponível
    Item
    Transforming ontology-based conceptual models into relational schemas
    (Universidade Federal do Espírito Santo, 2023-03-29) Guidoni, Gustavo Ludovico; Almeida, Joao Paulo Andrade; https://orcid.org/0000-0002-9819-3781; http://lattes.cnpq.br/4332944687727598; https://orcid.org/0009-0009-0932-4769; http://lattes.cnpq.br/6446725385317269; Souza, Vitor Estevao Silva; https://orcid.org/0000000318695704; http://lattes.cnpq.br/2762374760685577; Campos, Maria Luiza Machado; Amorim, Fernanda Araujo Baião; https://orcid.org/0000-0001-7932-7134; http://lattes.cnpq.br/5068302552861597; Barcellos, Monalessa Perini; http://lattes.cnpq.br/8826584877205264
    Despite the relevant contributions of ontology-based conceptual modeling and the widespread use of relational schemas, the combination of these two technologies has not yet received due attention. Among the conceptual modeling technologies, OntoUML stands out as a language to describe a domain of interest, having as its main niche the formulation and propagation of knowledge. Conceptual models produced with OntoUML can be seen as a “starting point” for other artifacts, such as relational schemas in a database realization. To produce a relational schema from the conceptual model in an automated way, it is necessary to bridge the gap between a series of constructs. The current literature provides some object-relational transformation approaches that could, in principle, be applied to ontology-driven conceptual models, such as those produced in OntoUML. However, there are important constructs that are not covered by such approaches that must be addressed. Most of the existing object-relational transformation approaches fail to support conceptual models that: (i) include overlapping or incomplete generalizations; (ii) support dynamic classication; (iii) have multiple inheritance; and (iv) have orthogonal hierarchies. This is because many of the approaches discussed in the literature assume primitives underlying object-oriented programming languages (instead of conceptual modeling languages). To solve this gap, this work aims to understand the forces that govern classical strategies for transforming class hierarchies into relational schemas, while raising some ontological meta-properties that characterize the classes in these models (like sortality and rigidity). The information obtained is used to guide the transformation of the conceptual model into a relational schema in order to avoid some problems in existing approaches, leading to the novel one table per kind strategy. In addition to automating relational schema generation, we also propose an automated ontology-based data access mapping for the resulting relational schema, in order to provide access data in terms of the original conceptual model, and hence queries can be written at a high level of abstraction (in SPARQL), independently of the transformation strategy selected. Further, we forward engineer additional constraints along with the transformed schema (ultimately implemented as triggers) to guarantee that the semantics of the source model is respected. The proposed approach is contrasted with dominant transformation approaches in the literature from the perspectives of: (i) the supported conceptual modeling primitives; (ii) size of the resulting schema; (iii) query answering performance; and (iv) usability of the resulting schema, for which an empirical study is reported.