Palestra

Conceptual Models as Ontological Contracts

Idioma: Português

In the years to come, we will experience an increasing demand for building Reference Conceptual Models in critical domains in reality, as well as employing them to address classes of problems, for which sophisticated conceptual distinctions are demanded. One of these key problems is Semantic Interoperability. Effective semantic interoperability requires an alignment between worldviews or, to put it more accurately, it requires the precise understanding of the relation between the (inevitable) ontological commitments assumed by different representations and the systems based on them (including sociotechnical systems). In this talk, I argue that, in this scenario, Reference Conceptual Models should be seen as Ontological Contracts, i.e., as precise descriptions that explicitly represent the Ontological Commitments of a collective of stakeholders sharing a certain worldview. I then elaborate on a number of theoretical, methodological and computational tools required for building these meaning contracts. Firstly, I discuss the importance of Formal Ontology in the philosophical sense and, in particular, I elaborate on the role of foundational axiomatic theories and principles in the design of conceptual modeling languages and methodologies. Secondly, I discuss the role played by four types of complexity management tools that are derived from these foundational theories, namely: (a) Ontological Design Patterns (ODPs), as methodological mechanisms for encoding these ontological theories; (b) Ontology Pattern Languages (OPLs), as systems of representation that take ODPs as higher-granularity modeling primitives; (c) Pattern-Based Graph Operations that can suitably support Modularization, Model Abstraction, and Model Recoding in Large-Scale Conceptual Models; (d) Ontological Anti-Patterns (OAPs), as structures that can be used to systematically identify possible deviations between the set of valid state of affairs admitted by a model (the actual ontological commitment) and the set of state of affairs actually intended by the stakeholders (the intended ontological commitment);  Finally, I illustrate the role played by a particular type of computer-based visual simulation approach in the validation of these reference models as well as for anti-pattern elicitation and rectification.

Sobre o palestrante

Giancarlo Guizzardi obteve seu titulo de Doutor Ph.D (com a mais alta distinção) na University of Twente, Holanda. Ele é membro da Faculdade de Ciências da Computação da Universidade Livre de Bolzano-Bozen, na Itália, onde lidera o Grupo de Pesquisa de Modelagem Conceitual e Cognitiva (CORE). Ele atua há mais de duas décadas nas áreas de Ontologias, Modelagem Conceitual e Semântica Empresarial. Dois resultados reconhecidos de sua pesquisa são: a versão ontologicamente bem fundamentada da UML denominada OntoUML, que foi adotada por muitas instituições de pesquisa, governamentais e industria em todo o mundo; e a ontologia de fundamentação UFO (Unified Foundational Ontology), que influenciou atividades de padronização internacional em áreas como Engenharia de Software e Arquitetura Empresarial (por exemplo, o Archimate Standard). É autor de mais de 230 publicações revisadas por pares, que receberam mais de uma dúzia de prêmios internacionais. Ele foi o orador principal de mais de duas dezenas de eventos internacionais, atualmente é editor associado da revista Applied Ontology, membro de conselhos editoriais de revistas internacionais e do Conselho Consultivo da International Association for Ontology and its Applications (IAOA).