Conceptual Models as Ontological Contracts (Distinguished Lecture Series)
Giancarlo Guizzardi ,
Free University of Bolzano-Bozen, Italy –
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 three types of complexity management tools that are derived from these foundational theories, namely: Ontological Design Patterns (ODPs) as methodological mechanisms for encoding these ontological theories; Ontology Pattern Languages (OPLs) as systems of representation that take ODPs as higher-granularity modeling primitives; and 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.
Giancarlo Guizzardi has a PhD (with the highest distinction) from the University of Twente, The Netherlands. He is currently a Professor of Computer Science at the Free University of Bolzano-Bozen, Italy, where he leads the Conceptual and Cognitive Modeling Research Group (CORE). He is also a founder and senior member of the Ontology and Conceptual Modeling Research Group (NEMO), in Brazil. Two well-known results associated with his research program are: the ontologically well-founded version of UML termed OntoUML, which has been adopted by many research, industrial and government institutions worldwide; and the foundational ontology UFO (Unified Foundational Ontology), which has influenced international standardization activities in areas such as Software Engineering and Enterprise Architecture (e.g., the ArchiMate Standard). He has been active for more than two decades in the areas of Ontologies, Conceptual Modeling and Enterprise Semantics. Over the years, he has conducted many technology transfer projects in large organizations in sectors such as Telecommunications, Software Engineering, Digital Advertisement, Product Recommendation, Digital Journalism, Complex Media Management, Energy, among others. Moreover, he has authored more than 220 peer-reviewed publications in the aforementioned areas, which have received more than 12 paper awards. He has also played key roles in international conferences such as general chair (e.g., FOIS), program chair (e.g., ER, FOIS, IEEE EDOC, EEWC) and keynote speaker (e.g., ER, BPM, BIR), as well as in international journals such as associate editor (Applied Ontology) and member of editorial boards (e.g., Requirements Engineering Journal, Semantic Web Journal). Finally, he has been a member of the executive council and is currently a member of the Advisory Board of the International Association for Ontology and its Applications (IAOA).
José Luis Brinquete Borbinha
IST Alameda: room 0.17 – building Informática II (videoconference with IST TagusPark: room 0.19)
40 Years of Science and Knowledge: The ability to create new technology-based companies
The second session to celebrate INESC 40th years will take place on October 8, at 5 p.m., at Calouste Gulbenkian Foundation (Auditorium II).
This session will be transmitted live.
17:00 Opening session
Leonel Sousa (INESC Lisboa/IST)
17:10 Keynote speech
Carlos Moedas (Fundação Calouste Gulbenkian)
17:30 Panel I: The first wave: networks and services
José Alves Marques (LINK/IST)
João Nuno Bento (Novabase)
Pedro Ramalho Carlos (Shilling Founders Fund)
Luís Alveirinho (Altice)
Moderator: Isabel Trancoso (INESC-ID/IST)
18:15 Panel II: The second wave: software and artificial intelligence
Vasco Pedro (Unbabel)
Ana Teresa Freitas (HeartGenetics)
Jaime Jorge (Codacy)
João Paulo Neto (Voice Interaction)
Moderator: Joaquim Sérvulo Rodrigues (Armilar)
19:00 Four decades creating value
Arlindo Oliveira (INESC/IST)
José Tribolet (INESC)
António Costa, Prime Minister (to confirm)
[Registration will be open soon]
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020
IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 will take place between the 24th and 28th of October at Alfândega Porto Congress Centre, in Porto.
ICST 2020 aims to supply a common forum for researchers, scientists, engineers and practitioners all over the world to present their latest research findings, ideas, developments and applications in the area of Software Testing, Verification and Validation.
Energy Virtual Experience – EVEx 2020
The event “Energy Virtual Experience” ( EVEx 2020) will take place online, from 23rd to 27th November 2020.
“Energy Virtual Experience” will provide 4 different interactive experiences: EVEx Talks, EVEx MasterClass, EVEx Academy, and EVEx Expo/Busines. These four experiences will be centered on “Ibero-American post-pandemic energy transition”.
Looking to stimulate interdisciplinary studies and innovative solutions in energy area, call for papers and projects will be launched soon.
INESC-ID researcher and IST Professor, Rui Castro, is member of the scientific committee of EVEx 2020.
|More information will be coming soon|