The Conception of The Model: June 2013
The Conception of The Model: June 2013
net/publication/284670222
CITATIONS READS
8 1,270
1 author:
Bernhard Thalheim
Christian-Albrechts-Universität zu Kiel
489 PUBLICATIONS 4,170 CITATIONS
SEE PROFILE
Some of the authors of this publication are also working on these related projects:
All content following this page was uploaded by Bernhard Thalheim on 25 March 2016.
Bernhard Thalheim⋆
Keywords: model, models in science, model theory, conceptual model, conception of model.
1 Introduction
It is common misbelief (e.g. [2, 13] or more generally almost all Computer Science
textbooks) that there is no definition of the conception of the model. We consider this
claim as the big misunderstanding of the science and art of modelling.
(1) Mapping property: Each model has an origin and is based on a mapping from the
origin to the artifact.
(2) Truncation property: The model lacks some of the ascriptions made to the original
and thus functions as an Aristolean model by abstraction of irrelevant.
(3) Pragmatic property: The model use is only justified for particular model users, tools
of investigation, and period of time.
(4) Amplification property: Models use specific extensions which are not observed for
the original.
(5) Distortion property: Models are developed for improving the physical world or
for inclusion of visions of better reality, e.g. for construction via transformation or in
Galilean models.
(6) Idealisation property: Modelling abstracts from reality by scoping the model to the
ideal state of affairs.
(7) Carrier property: Models use languages and are thus restricted by the expressive
power of these languages.
(8) Added value property: Models provide a value or benefit based on their utility, ca-
pability and quality characteristics.
(9) Purpose property: Models and conceptual models are governed by the purpose. The
model preserves the purpose.
The first three properties have been introduced by Stachowiak [17]. The fourth and fifth
property have been introduced by Steinmüller [18]. The seventh property is discussed
by Mahr [10]. The sixth, eight and ninth properties [23] are however equally if not the
most important ones.
The purpose dimension is ruling and governing the model, the development process
and the application process because of the main reason for using a model is to provide
a solution to a problem. Therefore the purpose is characterised by the solution to the
problem provided by the model. We may distinguish a number of concerns such as
the impact of the model (“whereto”) for a solution to a problem,
the insight into the origin’s properties (“how”) by giving details how the world is struc-
tured or should be structured and how the functionality can be described,
restrictions on applicability and validity (“when”) of a model for some specific solu-
tions, for the validity interval, and the lifespan of a model,
providing reasons for model value (“why”) such as correctness, generality, usefulness,
comprehensibility, and novelty, and
the description of functioning of a model (“for which reason”) based on the model ca-
pacity.
Purpose is often defined via intention and mixed with function. Goal (or intention or
target or aim) is a ternary relation between a current state, envisioned states, and people
(community of practice). Typical - sometimes rather abstract - intentions are percep-
tion support, explanation and demonstration, preparation to an activity, optimisation,
hypothesis verification, construction, control, and substitution.
4 Bernhard Thalheim
[7] introduces model viability. We extend this approach and consider fitness of a model.
Fitness (or superior quality) of a model is given by
(a) usability of the model for its purpose, i.e. for resolving the questions, e.g. validity
of the model;
(b) potential of the model for the purpose, i.e. for the goals that are satisfied by the
model, e.g. reliability and degree of precision of the the model;
(c) efficiency of the model for the function of the model within the application, i.e. the
practice [29] of deployment of the model;
(d) generality of the model beside its direct intention of construction of the model, i.e.
for applying the model to other goals or purposes, within another function or with
some modification or extension, e.g. the extend of coverage in the real world.
These four criteria form main quality characterisations of a model. Viability is defined
through validity, reliability for the model purpose and function, extent of coverage in
dependence on context such as space and time, and efficiency of the model. Viability
thus can be used to evaluate how well the model represents the reality for a given scope
and how suitable or instrumental is the model for its purpose and function.
6 Bernhard Thalheim
Conceptual artifacts contain concepts which are used as the basis of semantics for
elements of the artifact.
Contextual artifacts explicitly describe their context, e.g. application domain, time,
space, discipline, and understanding within a school.
Manufacturable artifacts can be (re-)produced by application of creation methods.
Characterising artifacts describe certain properties of origins M∗ , M1 , ..., Mk .
Viable artifacts are corroborated, justified and established.
Evaluated artifacts are given with their quality properties.
Supported artifacts are explicitly supported by some community of practice.
Solve/use/play/
‘Gebrauchsspiel’ (application story and scenarios)/functioning/
e.g. description ∨ explanation ∨ prescription ∨ prognosis ∨ ... /
define/construct/explore/communicate/understand/replace/
document/negotiate/replace/report/account
arrange/ estimate/
organise/model forecast/appreciate/
Development methods
treasure
Utilisation methods
Evolve/migrate/
redevelop
Develop, Usage Reason/
⇒ ⇒
construct, business cases understand/apprehend/
explore/conceive/
Corroboration/viability/
justify/support/
configure,
Model installation,
conclude/know
found/establish/ Explain/
orchestrate, consolidate
prove/argue/
choreography check/appraise/
substantiate/motivate/
constitute/show why experience
Integrate/
Evaluate/qualify/ harmonise/
argument/assess/ Goal/ faithful utilisation
internal quality/ Artifacts purpose/
external quality/ represented Explore/interprete/
function,
quality of use by model clarify/rationalise/
modality/confidence profile comprehend/clear up
The model house in Figure 1 displays these different facets of the model. It dis-
plays the matured or fully fledged model with grounding and basis as the fundament,
The Conception of the Model 9
with four governing directives, with technical and technological pillars for develop-
ment and utilisation, and with the application roof The house consists of a cellar and
a fundament, two pillars, four driving or governing forces, and finally the deployment
roof. The grounding is typically implicitly assumed. It contains paradigms, the culture
in the given application area, the background, foundations and theories in the disci-
pline, postulates, (juristical and other) restrictions, conventions, and the commonsense.
The basis is the main part of the background. It is typically given for modelling. The
development uses a variety of methods for description, construction, evolution, corrob-
oration, and evaluation. The utilisation is based on methods for applying, prognosis,
reasoning, explanation, and exploration. We have used different verbs for classification
of the activities. The model can be used for completion of certain tasks. These tasks
may be combined into a model portfolio. The model is used for certain functions or
‘Gebrauchsspiel’ (application story or ‘game’). Finally, the model is governed by four
directives: artifacts, profile, community of practice, and context.
The nine properties of models can now naturally be represented:
The mapping property is one kind of model association.
The truncation property concentrates on abstraction as some kind of association.
The pragmatic property is given by the goal, community, and the context (time).
The extension property uses a specific partiality of mapping into instead of being
surjective.
The distortion property is a specific kind of mapping related to the goal.
The idealisation property is another specific kind of mapping.
The carrier property relates the model to its grounding and basis.
The added value property is one kind of combined quality.
The purpose property is a more explicit part of the pragmatic property.
3.7 Pre-Models
Pre-models are artifacts that do not contain an elementary model. In literature they
are often called “models”. They leave however out many essential parts and can thus
be misinterpreted, misunderstood, and misleading. The conclusions drawn with such
models are often doubtful or spurious.
Metaphors, similes and allegories are often considered to be models. They are how-
ever presented without a clear grounding, context or profile. The artifacts are often
incomplete. There development methods are left out. The community of practice is
only partially given. Furthermore, the basis is partially given. This situation can also be
observed in other disciplines.
Models might have a profile that consists only of goals. Methods for development
and utilisation are thus not necessary. The deployment is then vague. Illustrations are
typical models of the restricted applicability.
Con- Con-
CoP CoP
text text
Development
Development
Utilisation
Utilisation
methods
methods
methods
methods
Model Model
M∗ M∗
M
...,1 , Pro- M
...,1 , Pro-
Mk file Mk file
Basis Basis
Grounding Grounding
4 Conclusion
In this paper we introduced the conception of a model. This paper completes [22–24] by
an explicit definition of the conception of the model, by separation of concern within the
2
The classification of mathematical models seems to be very rigid. Development methods are
typically not a matter for mathematicians. The basis and the grounding are of very partial
interest. The classical scenario in mathematical modelling is: receive a model and application
problems; transform the model and one of the problems to a system of mathematical notions;
analyse, simulate and solve the selected problem; interpret the solutions within the received
model and problems.
3
We use the gray colour for explicit presentation of rudimentary elements of these models.
Missing parts are not shown at all.
The Conception of the Model 11
‘model house’, and by explicit exclusion criteria for artifacts that can not be considered
to be models. This conception has been applied and tested in Computer Science, Phi-
losophy, Physics, and other sciences. So far we discovered that the notion is sufficient
and necessary and thus serves requirements for becoming a definition. It has been not
our aim to define a complete formal theory. Each term used in the paper needs however
such formal underpinning. The formal theory is however a straightforward application
of Discrete Mathematics and thus not a goal for a conference paper. The description
and the theory of methods used either for development of models or for utilisation of
models is a challenging research issue and cannot be handled yet.
We have been aiming at development of a formal notion of a model. Such formal
notion is necessary whenever we need a theory of modelling. It allows to exclude arti-
facts to become a model outside the judgement frame. It allows also to state when an
artifact is a model and what is necessary for an artifact to become a model.
References
1. D. Abts and W. Mülder. Grundkurs Wirtschaftsinformatik : Eine kompakte und praxisorien-
tierte Einführung. Vieweg, 2004.
2. J. Agassi. Why there is no theory of models. In I. Niiniluoto W.E. Herfel, W. Krajewsky and
R. Wojcicki, editors, Theories and Models in Scientific Processes, pages 17–26, Amsterdam-
Atlanta, 1995.
3. P. Alpar. Computergestützte interaktive Methodenauswahl. PhD thesis, Frankfurt Main
Univ., 1980.
4. J. Becker and R. Schütte. Handelsinformationssysteme : Domänenorientierte Einführung in
die Wirtschaftsinformatik. Moderne Industrie, 2004.
5. E. Börger and R. Stärk. Abstract state machines - A method for high-level system design and
analysis. Springer, Berlin, 2003.
6. A. Dahanayake and B. Thalheim. Co-evolution of (information) system models. In EMM-
SAD 2010, volume 50 of LNBIP, pages 314–326. Springer, 2010.
7. I.A. Halloun. Modeling Theory in Science Education. Springer, Berlin, 2006.
8. R. Kaschek. Konzeptionelle Modellierung. PhD thesis, University Klagenfurt, 2003.
Habilitationsschrift.
9. P. Loos, P. Fettke, B. E. Weißenberger, S. Zelewski, A. Heinzl, U. Frank, and J. Iivari. Welche
Rolle spielen eigentlich stilisierte Fakten in der Grundlagenforschung der Wirtschaftsinfor-
matik? Wirtschaftsinformatik, 53(2):109–121, 2011.
10. B. Mahr. Information science and the logic of models. Software and System Modeling,
8(3):365–383, 2009.
11. B. Mahr. Intentionality and modeling of conception. In Judgements and Propositions. Logi-
cal, Linguistic, and Cognitive Issues. Logos, 2010.
12. E. Ortner. Melchios - Methodenneutrale Konstruktionssprache für Informationssysteme.
Technical Report Bericht 60-94, Universität Konstanz, Informationswissenschaft, 1994.
13. T. Ritchey. Outline for a morphology of modelling methods -Contribution to a general theory
of modelling. Acta Morphologica Generalis, 1(1):1–20, 2012.
14. K.-D. Schewe and B. Thalheim. Usage-based storyboarding for web information systems.
Technical Report 2006-13, Christian Albrechts University Kiel, Institute of Computer Sci-
ence and Applied Mathematics, Kiel, 2006.
15. B. Scholz-Reiter. Konzeption eines rechnergestützten Werkzeugs zur Analyse und Model-
lierung integrierter Informations- und Kommunikationssysteme in Produktionsunternehmen.
PhD thesis, TU Berlin, Informatik, 1990.
12 Bernhard Thalheim
16. B.Ja. Sovetov and S.A. Jakovlev. Systems Modelling. Vysschaja Schkola, 2005. In Russian.
17. H. Stachowiak. Modell. In Helmut Seiffert and Gerard Radnitzky, editors, Handlexikon
zur Wissenschaftstheorie, pages 219–222. Deutscher Taschenbuch Verlag GmbH & Co. KG,
München, 1992.
18. W. Steinmüller. Informationstechnologie und Gesellschaft: Einführung in die Angewandte
Informatik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1993.
19. B. Thalheim. Entity-relationship modeling – Foundations of database technology. Springer,
Berlin, 2000.
20. B. Thalheim. The conceptual framework to user-oriented content management. Series Fron-
tiers in Arificial Intelligence, 154, Information Modelling and Knowledge Bases, XVII:30–
49, 2007.
21. B. Thalheim. Model suites for multi-layered database modelling. In Information Modelling
and Knowledge Bases XXI, volume 206 of Frontiers in Artificial Intelligence and Applica-
tions, pages 116–134. IOS Press, 2010.
22. B. Thalheim. Towards a theory of conceptual modelling. Jour-
nal of Universal Computer Science, 16(20):3102–3137, 2010.
http://www.jucs.org/jucs 16 20/towards a theory of.
23. B. Thalheim. The theory of conceptual models, the theory of conceptual modelling and
foundations of conceptual modelling. In The Handbook of Conceptual Modeling: Its Usage
and Its Challenges, chapter 17, pages 547–580. Springer, Berlin, 2011.
24. B. Thalheim. The science and art of conceptual modelling. In A. Hameurlain et al., editor,
TLDKS VI, number 7600 in LNCS, pages 76–105. Springer, Heidelberg, 2012.
25. M. Thomas. Modelle in der Fachsprache der Informatik. Untersuchung von Vor-
lesungsskripten aus der Kerninformatik. In DDI, volume 22 of LNI, pages 99–108. GI,
2002.
26. O. Thomas. Das Modellverständnis in der Wirtschaftsinformatik: Historie, Literaturanal-
yse und Begriffsexplikation. Technical Report Heft 184, Institut für Wirtschaftsinformatik,
DFKI, Saarbrücken, Mai 2005.
27. C. von Dresky, I. Gasser, C. P. Ortlieb, and S Günzel. Mathematische Modellierung: Eine
Einführung in zwölf Fallstudien. Vieweg, 2009.
28. R.T. White. Commentary: Conceptual and conceptional change. Learning and instruction,
4:117–121, 1994.
29. L. Wittgenstein. Philosophical Investigations. Basil Blackwell, Oxford, 1958.
30. S. Zelewski. Kann Wissenschaftstheorie behilflich für die Publikationspraxis sein?
In F. Lehner and S. Zelewski, editors, Wissenschaftstheoretische Fundierung und wis-
senschaftliche Orientierung der Wirtschaftsinformatik, pages 71–120. GTO, 2007.
Acknowledgment. We would like to thank the colleagues from the Christian-Albrechts University at Kiel for the
fruitful discussions on many facets of models in archeology, arts, biology, chemistry, computer science, economics, elec-
trotechnics, environmental sciences, farming, geosciences, historical sciences, languages, mathematics, medicine, ocean sci-
ences, pedagogical science, philosophy, physics, political sciences, sociology, and sports. We are thankful to the International
Institute of Theoretical Cardiology (IIfTC) for the evaluation of our approach. These discussions lasted in weekly ‘Tuesday’
open-end-evening seminars over the last three years from 2009 until now and in monthly seminars at the IIfTC. They resulted
in a general understanding of the notion of a model in most sciences, engineering and technology.