Program
Monday, 4th of March
8.55 – 9.00. Welcome!
9.00 – 10.30. Risk, Controls, and Liabilities
Session Chair: Pavel Hruby
Glenda Amaral, Giancarlo Guizzardi, Nicola Guarino, Daniele Porello and Tiago Prince Sales. Capability Agreements and Risk (AmaralEtAl)
Graham Gal. The Metaphysics of Internal Controls (Gal)
Ivars Blums and Hans Weigand. Economic Resources (Claims) vs Assets (Liabilities) (BlumsEtAl)
10.30 – 11.00. Coffee
11.00 – 12.30. Blockchain and Smart Contracts
Session Chair: Bill McCarthy
Jaap Gordijn, Roel Wieringa, Dan Ionita and Fadime Kaya. Towards a Sustainable Blockchain Use Case (GordijnEtAl)
Michaël Verdonck. Demonstrating The Importance of Well-Defined Design Patterns in Smart Contract Development (Verdonck)
Joost de Kruijff and Hans Weigand. Introducing CommitRuleML for Smart Contracts (deKruijffEtAl)
12.30 – 13.40. Lunch
13.40 – 15.00. Applying and Axiomatizing REA
Session Chair: Jaap Gordijn
Pavel Hruby and Christian Scheller. Device as a Service – an Economic Model (HrubyEtAl)
Wim Laurier and Satoshi Horiuchi. Building An Executable Axiomatisation of the REA2 Ontology (Laurier_EtAl)
[short paper] Pooyan Ramezani Besheli. On The Ontology of Service Based on [WiMa]REA (Besheli)
15.00 – 15.30. Coffee
15.30 – 17.00. Foundations and Applications of Ontology
Session Chair: Nicola Guarino
Tomas Jonsson and Håkan Enquist. Phenomenological Ontology Guided Conceptual Modeling for Model Driven Information Systems (JonssonEtAl)
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 (VerdonckEtAl)
[short paper] Ilia Bider and Erik Perjons. Value delivered – is it the same or different? (BiderEtAl)
[very short presentation] Joris Hulstijn. Compositionality of Control Objectives (Hulstijn) slides: (hulstijn_ VMBO2019)
19.00. Dinner at Scandic Victoria Tower
Tuesday, 5th of March
9.30 – 10.30. Invited Speech
Giancarlo Guizzardi. Conceptual Models as Ontological Contracts (giancarlo-VMBO2019-slides)
10.30 – 11.00. Coffee
11.00 – 12.30. Business Modelling in Context
Session Chair: Graham Gal
Anders W. Tell. Productification of Business Modeling by adding Situational Knowledge (Tell)
Robert Nehmer and Mike Bennett. Modeling Operational Ontologies from Conceptual Ontologies Using Kinds of Conceptual Contexts (NehmerEtAl)
Walter Schwaiger, Christian Fischer-Pauzenberger and Mathias Cammerlander. Domain Model and Modeling Workbench for Modeling PDCA-Management Systems (SchwaigerEtAl)
12.30 – 13.40. Lunch
13.40 – 15.00. Value Modelling
Session Chair: Geert Poels
Satoshi Nishimura and Ken Fukuda. Towards Developing Measurement Indicator for Value (NishimuraEtAl)
Henderik Proper, Michael P. T. Alkema and Pierre-Jean Barlatier. Value Co-creation in Parkinson Networks (ProperEtAl)
[short paper] Birger Andersson and Paul Johannesson. Ascribing Exchange Value (AnderssonEtAl)
15.00 – 15.30. Coffee
15.30 – 16.50. Value in Design
Session Chair: Birger Andersson
[short paper] Faiza Allah Bukhsh and Eva Nurlatifah. Information Audit for Knowledge Discovery: A Systematic Literature Review (BukhshEtAl)
Geert Poels, Ben Roelens, Henk de Man and Theodoor van Donge. Revisiting Continuous Business Model Planning with the Value Management Platform (PoelsEtAl)
Hans Weigand. Value Expression in Design Research (Weigand)
16.50. Closing Discussion
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).
