Program

Accepted papers

Geert Poels, Ben Roelens, Henk de Man and Theodoor van Donge. Revisiting Continuous Business Model Planning with the Value Management Platform
Wim Laurier and Satoshi Horiuchi. Building An Executable Axiomatisation of the REA2 Ontology
Jaap Gordijn, Roel Wieringa, Dan Ionita and Fadime Kaya. Towards a Sustainable Blockchain Use Case
Michaël Verdonck, Maria Hedblom, Giancarlo Guizzardi, Guylerme Figueiredo, Frederik Gailly and Geert Poels. An Empirical Study Concerning Ontology-Driven Modularization and Ontology-Neutral Modularization Techniques
Walter Schwaiger, Christian Fischer-Pauzenberger and Mathias Cammerlander. Domain Model and Modeling Workbench for Modeling PDCA-Management Systems
Robert Nehmer and Mike Bennett. Modeling Operational Ontologies from Conceptual Ontologies Using Kinds of Conceptual Contexts
Anders W. Tell. Productification of Business Modeling by adding Situational Knowledge
Hans Weigand. Value Expression in Design Research
Joost de Kruijff and Hans Weigand. Introducing CommitRuleML for Smart Contracts
Pooyan Ramezani Besheli. On The Ontology of Service Based on [WiMa]REA
Faiza Allah Bukhsh and Eva Nurlatifah. Information Audit for Knowledge Discovery: A Systematic Literature Review
Glenda Amaral, Giancarlo Guizzardi, Nicola Guarino, Daniele Porello and Tiago Prince Sales. Capability Agreements and Risk
Pavel Hruby and Christian Scheller. Device as a Service – an Economic Model
Michaël Verdonck. Demonstrating The Importance of Well-Defined Design Patterns in Smart Contract Development
Ilia Bider and Erik Perjons. Value delivered – is it the same or different?
Tomas Jonsson and Håkan Enquist. Phenomenological Ontology Guided Conceptual Modeling for Model Driven Information Systems
Henderik Proper, Michael P. T. Alkema and Pierre-Jean Barlatier. Value Co-creation in Parkinson Networks
Graham Gal. The Metaphysics of Internal Controls
Satoshi Nishimura and Ken Fukuda. Towards Developing Measurement Indicator for Value
Birger Andersson and Paul Johannesson. Ascribing Exchange Value
Ivars Blums and Hans Weigand. Economic Resources (Claims) vs Assets (Liabilities)

Invited speaker

We are very happy to announce that Giancarlo Guizzardi will be the invited speaker at the workshop.

The talk

Conceptual Models as Ontological Contracts

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.

Short Bio

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 – 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, among others. Moreover, he has authored more than 240 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 (e.g., ER, BPM, BIR, EEWC), 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).