Home      Log In      Contacts      FAQs      INSTICC Portal
 

Keynote Lectures

Conceptual Models as Ontological Contracts
Giancarlo Guizzardi, Free University of Bolzano-Bozen, Italy

To be announced soon.
Gail Murphy, University of British Columbia, Canada

To be announced soon.
Sébastien Gérard, CEA, France

 

Conceptual Models as Ontological Contracts

Giancarlo Guizzardi
Free University of Bolzano-Bozen
Italy
 

Brief Bio
Giancarlo Guizzardi 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 – https://www.inf.unibz.it/krdb/core/). He is also a founder and senior member of the Ontology and Conceptual Modeling Research Group (NEMO – https://nemo.inf.ufes.br/), 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, Tourism, among others. Moreover, he has authored more than 250 peer-reviewed publications in the aforementioned areas, which have received more than a dozen 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 (including ER and BPM), as well as in international journals such as associate editor (Applied Ontology) and member of editorial boards (e.g., Requirements Engineering Journal, Enterprise Modeling and Information Systems Architecture, 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).


Abstract
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.



 

 

To be announced soon.

Gail Murphy
University of British Columbia
Canada
 

Brief Bio
Gail C. Murphy is a Professor of Computer Science and Vice-President Research and Innovation at the University of British Columbia. She is a Fellow of the Royal Society of Canada and a Fellow of the Association for Computing Machinery (ACM), as well as co-founder, board member and former Chief Scientist at Tasktop Technologies Incorporated.

After completing her B.Sc. at the University of Alberta in 1987, she worked for five years as a software engineer in the Lower Mainland. She later pursued graduate studies in computer science at the University of Washington, earning first a M.Sc. (1994) and then a Ph.D. (1996) before joining UBC.

Dr. Murphy’s research focuses on improving the productivity of software developers and knowledge workers by providing the necessary tools to identify, manage and coordinate the information that matters most for their work. She also maintains an active research group with post-doctoral and graduate students.


Abstract
Available soon.



 

 

To be announced soon.

Sébastien Gérard
CEA
France
 

Brief Bio
Sébastien Gérard is a CEA LIST senior researcher in software engineering and computer science. He graduated in 1995 from ENSMA (the Superior School of Mechanics and Aeronautics in Poitiers, France) as a mechanical and aeronautics engineer, after which he obtained a doctorate in computer science in 2000. He is currently leading a research team of about 20 engineers at CEA LIST (an arm of the French Atomic Energy Agency, http://www-list.cea.fr/gb/index_gb.htm) within the LISE (Laboratory for Model-based Engineering of real-time and embedded (RT/E) systems). The principal objective of this research of this team is to achieve “correct-by-construction” design of RT/E systems from requirements to implementation”. Through his involvement in a numerous national and international research projects, Dr. Sébastien Gérard has worked with many industrial partners such as Peugeot Citroen, Airbus, ST Microelectronics, EADS, gaining extensive experience and insight into industrial problems and requirements. Dr. Sébastien Gérard is also deeply involved in various standardization activities, and is currently co-chairing both the UML 2 and MARTE (the UML extension for RT/E) standardization task forces. He is also core member of the European network of excellence, ArtistDesign (http://www.artist-embedded.org), where he is a prime on issues related to modeling and standardization. In addition, Dr. Sébastien Gérard is a member of the editorial board of the SoSyM journal, co-founder of the International School on Model-Driven Development for DRES (http://www.mdd4dres.info) and a frequent member of program committees of major technical and scientific conferences.


Abstract
Available soon.



footer