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 "Atkinson, Colin"

Agora exibindo 1 - 1 de 1
  • Nenhuma Miniatura disponível
    Item
    Foundations for multi-level ontology-based conceptual modeling
    (Universidade Federal do Espírito Santo, 2016-12-16) Carvalho, Victorio Albani de; Guizzardi, Giancarlo; Almeida, João Paulo Andrade; Falbo, Ricardo de Almeida; Souza, Vitor Estêvão Silva; Atkinson, Colin; Parreiras, Fernando Silva
    Considering that conceptual models are produced with the aim of representing certain aspects of the physical and social world according to a specific conceptualization and that ontologies aim at describing conceptualizations, there has been growing interest in the use of ontologies to provide a sound theoretical basis for the discipline of conceptual modeling. This has given rise to a research area called ontology-based conceptual modeling, with significant advances to conceptual modeling in the last decades. Despite these advances, ontology-based conceptual modeling still lacks proper support to address subject domains that require not only the representation of categories of individuals but also the representation of categories of categories (or types of types). The representation of entities of multiple (related) classification “levels” has been the focus of a separate research area under the banner of multi-level modeling, aiming to address the limitations of the conventional two-level modeling paradigm. Despite the relevant contributions of multi-level modeling and ontology-based conceptual modeling, their combination has not yet received due attention. This work explores this gap by proposing the use of formal theories for multi-level modeling in combination with foundational ontologies to support what we call multi-level ontology-based conceptual modeling. To provide a well-founded approach to multi-level conceptual modeling, we develop a theory called MLT that formally characterizes the nature of classification levels and precisely defines the relations that may occur between elements of different classification levels. In order to leverage the benefits of the use of a foundational ontology to domains dealing with multiple classification levels, we combine the proposed multilevel modeling theory with a foundational ontology. This combination results in a hierarchical modeling approach that supports the construction of multi-level conceptual models in a spectrum of levels of specificity, from foundational ontologies to domain models. To demonstrate the applicability of our multi-level ontology-based conceptual modeling approach, we employ it to develop a core ontology for organizational structure, a domain that spans multiple classification levels. Further, we show how MLT can be used as a reference theory to clarify the semantics and enhance the expressiveness of UML with respect to the representation of multi-level models. The resulting UML profile enables the practical application of MLT.