Abstract
Models are a universal instrument of mankind. They surround us our whole lifespan and support all activities even in case we are not aware of the omnipresence. They are so omnipresent that we don’t realise their importance. Computer Science is also heavily using models as companion in most activities. Meanwhile, models became one of the main instruments. The nature and anatomy of models is not yet properly understood.
Computer Science research has not yet been properly investigating its principles, postulates, and paradigms. The well-accepted three dimensions are states, transformation, and collaboration. An element of the fourth dimension is abstraction. The fourth dimension is modelling. We review here the fourth dimension.
Keywords
Dedicated to Egon Börger
Remark: See too the presentations in https://vk.com/id349869409 or in the youtube channel “Bernhard Thalheim” for the theory and practice of modelling.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
The oldest mention we acknowledge is the usage in Ancient Egypt with the use of models as moulds, models as representations, and models of the right order (’maat’). The first explicit notion of model is ‘metron’ in Ancient Greece and ‘modulus’ in Roman time, i.e. at least 40BC. The wide use of this word came with engineering in the 16th century and with sciences in the 19th century.
- 2.
A description of Computer Science has been given in [12]:
“Computer Science and engineering is the systematic study of algorithmic processes – their theory, analysis, design, efficiency, implementation and application – that describe and transform information. The fundamental question underlying all of computing is, What can be (efficiently) automated.”.
- 3.
Computer Science can be divided into kernel CS and applied CS. The first subdiscipline spans theoretical, practical and technical CS.
- 4.
We do not know a commonly accepted description of this subdiscipline.
Essentially, applied CS has two branches: specific application-oriented CS and engineering of solutions in applications. The first branch has led to a good number of so-called ‘hyphen’ CS such as business informatics, biomedical informatics, and geoinformatics. The second branch is engineering of work systems [2], i.e. systems “in which humans or machines perform processes and activities using resources to produce specific products or services for customers”. It spans topics such as information systems, information science, information theory, information engineering, information technology, information processing, or other application fields, e.g. studying the representation, processing, and communication of information in natural and engineered systems. It also has computational, cognitive and social aspects.
- 5.
A dimension that has not found its proper entry into our discipline is approximation. Approximation is the fifth dimension orthogonal to states, transformation, and collaboration.
- 6.
We expect that modern applications such as internet technology have to use humanisation as the sixth dimension in order to cope with modern interdisciplinary tasks.
- 7.
See below: adequate and justified, sufficient internal and external quality.
- 8.
Donald Knuth followed this meaning by calling his four volumes: ‘The art of programming’ [24].
- 9.
A mould is a distinctive form in which a model is made, constructed, shaped, and designed for a specific function a model has in a scenario.
It is similar to mechanical engineering where a mould is a container into which liquid is poured to create a given shape when it hardens. In Mathematics, it is the general and well-defined, experienced framework how a problem is going to be solved and faithfully mapped back to the problem area.
- 10.
A model and modelling science consists of a system of knowledge that is concerned with models, modelling and their phenomena. It entails unbiased observations and systematic experimentation. It involves a pursuit of model and modelling knowledge covering general truths or the operations of fundamental laws.
- 11.
Culture combines approaches, attitudes, behaviour, conventional conducts, codes, traditions, beliefs, values, customs, thought styles, habits, the system comprising of the accepted norms and values, goals, practices, and manners that are favored by the community of practice. It is a characteristic of this community and includes all the knowledge and values shared by the community of practice.
Culture of modelling is a highly developed state of perfection that has a flawless or impeccable quality.
- 12.
Objects can be developed for usage. At a later stage, they were exhibited and become models used for explanation, e.g. about culture. See for instance, Ancient Egyptian objects in modern museums. We also may observe the opposite for the model-being of object, e.g. see [8].
- 13.
The earliest source of systematic model consideration we know is Heraclitus (see [26] for a systematic and commented re-representation of Heraclitus fragments) with his concept of \(\lambda \) ó\(\gamma o \varsigma \) (logos).
- 14.
Mathematician often claim that they are the only ones who know what is a model and what is modelling. We notice, however, that modelling is typically performed outside Mathematics.
- 15.
The notion
“A model is a simplified reproduction of a planned or real existing system with its processes on the basis of a notational and concrete concept space. According to the represented purpose-governed relevant properties, it deviates from its origin only due to the tolerance frame for the purpose.” [44]
is a typical example of this parametrisation. The origin is the system and the inherited concept space. Analogy is essentially a mapping. Focus is simplification. Purpose is reproduction or documentation. The justification is inherited from the system and its processes. Sufficiency is based on tight mapping with some tolerated deviation.
In a similar form we use parameters for the definition in [1]:
“A model is a mathematical description of a business problem.”.
- 16.
- 17.
Engineering is the art of building with completely different success criteria (see [33]: “Scientists look at things that are and ask ‘why’; engineers dream of things that never were and ask ‘why not’.” (Theodore von Karman)).
“Engineers use materials, whose properties they do not properly understand, to form them into shapes, whose geometries they cannot properly analyse, to resist forces they cannot properly assess, in such a way that the public at large has no reason to suspect the extent of their ignorance.” (John Ure 1998, cited in [33]).
- 18.
Well-formedness is often considered as a specific modelling language requirement.
- 19.
The criteria for adequacy are analogy (as a generalisation of the mapping property that forms a rather tight kind of analogy), being focused (as a generalisation of truncation or abstraction), and satisfying the purpose (as a generalisation of classical pragmatics properties).
- 20.
The model has another constituents that are often taken for granted. The model is based on a background, represents origins, is accepted by a community of practice, and follows the accepted context. The model thus becomes dependable, i.e. it is justified or viable and has a sufficient quality.
Most notions assume dependability either as a-priori given or neglect it completely.
- 21.
The word fields in German and English languages are different.
- 22.
The software crisis has been a crisis 1.0. Nowadays we have a data crisis, a (large and embedded) system crisis, an infrastructure crisis, and an energy crisis. For instance, it is estimated that one third of the world-wide produced electro energy is consumed by computers by 2025.
- 23.
Culture is a “a collective phenomenon, which is shared with people who live or lived within the same social environment, which is where it was learned; culture consists of the unwritten rules of the social game; it is the collective programming of the mind that separates the member of one group or category of people from others.” [19].
References
Abts, D., Mülder, W.: Grundkurs Wirtschaftsinformatik: Eine kompakte und praxisorientierte Einführung. Vieweg (2004)
Alter, S.: Work system theory and work system method: a bridge between business and IT views of IT-reliant systems in organizations. In: Proceedings of the ISEC 2017, p. 211. ACM (2017)
Börger, E., Stärk, R.: Abstract State Machines - A Method for High-level System Design and Analysis. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7
Börger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 59–115. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-89762-0_3
Börger, E., Thalheim, B.: Modeling workflows, interaction patterns, web services and business processes: the ASM-based approach. In: Börger, E., Butler, M., Bowen, J.P., Boca, P. (eds.) ABZ 2008. LNCS, vol. 5238, pp. 24–38. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-87603-8_3
Bourbaki, N.: Foundations of mathematics for the working mathematician. J. Symb. Log. 14(1), 1–8 (1949)
Brentano, F.: Psychologie vom empirischen Standpunkte. Dunker & Humblot, Leipzig (1874)
Chadarevian, S., Hopwood, N. (eds.): Models - The Third Dimension of Science. Stanford University Press, Stanford (2004)
Cohen, R.S., Schnelle, T. (eds.): Cognition and fact: Materials on Ludwik Fleck. Boston Studies in the Philosophy of Science, vol. 87. Springer, Dortrecht (1986). https://doi.org/10.1007/978-94-009-4498-5
Dahanayake, A., Thalheim, B.: Co-evolution of (Information) system models. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS/EMMSAD -2010. LNBIP, vol. 50, pp. 314–326. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-13051-9_26
Dahanayake, A., Thalheim, B.: Development of conceptual models and the knowledge background provided by the rigor cycle in design science. In Models: Concepts, Theory, Logic, Reasoning, and Semantics, Tributes, pp. 3–28. College Publications (2018)
Denning, P., et al.: Computing as a discipline. Computer 22(2), 63–70 (1989)
Engelschall, R.S.: Schönheit und Unzulänglichkeit von Software-Architektur. In Software Engineering 2021, LNI, vol. P-310, p. 19. Video accessible via https://www.youtube.com/watch?v=AMOmvtsCRoU (2021). Gesellschaft für Informatik e.V
Engelschall, R.S.: Manifesto for true software engineering (2021). http://true-manifesto.org/. Accessed 8 Mar 2021
Frank, U.: Domain-specific modeling languages: requirements analysis and design guidelines. In: Reinhartz-Berger, I., Sturm, A., Clark, T., Cohen, S., Bettin, J. (eds.) Domain Engineering, Product Lines, Languages, and Conceptual Models, pp. 133–157. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36654-3_6
Hesse, W.: Modelle - Janusköpfe der Software-Entwicklung - oder: Mit Janus von der A- zur S-Klasse. In: Modellierung 2006, LNI, vol. 82, pp. 99–113. GI (2006)
Hesse, W., Mayr, H.C.: Modellierung in der Softwaretechnik: eine Bestandsaufnahme. Informatik Spektrum 31(5), 377–393 (2008)
Hevner, A., Chatterjee, S.: Design Research in Formation Systems. Springer, Boston (2010). https://doi.org/10.1007/978-1-4419-5653-8
Hofstede, G., Hofstede, G.J., Minkow, M.: Cultures and Organizations: Software of the Mind: Intercultural Cooperation and Its Importance for Survival. McGraw-Hill, New York (2010)
Jaakkola, H., Thalheim, B.: Cultures in information systems development. In: Information Modelling and Knowledge Bases XXX, Frontiers in Artificial Intelligence and Applications, vol. 312, pp. 61–80. IOS Press (2019)
Jaakkola, H., Thalheim, B.: Models as programs: the envisioned and principal key to true fifth generation programming. In: Proceedings of 29’th EJC, Lappeenranta, Finland, pp. 170–189 (2019). LUT, Finland
Kangassalo, M., Tuominen, E.: Inquiry based learning environment for children. In: Information Modelling and Knowledge Bases XIX, Frontiers in Artificial Intelligence and Applications, vol. 166, pp. 237–256. IOS Press (2007)
Kaschek, R.: Konzeptionelle Modellierung. PhD thesis, University Klagenfurt (2003). Habilitationsschrift
Knuth, D.E.: The Art of Programming I-III. Addison-Wesley, Reading, 1968–1973
Kuhn, T.: The Structure of Scientific Revolutions. University of Chicago Press, Chicago (1962)
Lebedev, A.V.: The Logos Heraclitus - A Reconstruction of Thoughts and Words; Full Commented Texts of Fragments (In Russian). Nauka, Moskva (2014)
Mahr, B.: Information science and the logic of models. Softw. Syst. Modeling 8(3), 365–383 (2009)
Mahr, B.: Intentionality and modeling of conception. In: Judgements and Propositions - Logical, Linguistic and Cognitive Issues, pp. 61–87. Berlin (2010)
Mahr, B.: Modelle und ihre Befragbarkeit - Grundlagen einer allgemeinen Modelltheorie. Erwägen-Wissen-Ethik (EWE) 26(3), 329–342 (2015)
Mayr, H.C., Thalheim, B.: The triptych of conceptual modeling. Softw. Syst. Modeling 20(1), 7–24 (2020). https://doi.org/10.1007/s10270-020-00836-z
Norman, D.A.: The Design of Everyday Things. Doubleday, New York (1990)
Safra, J.E., Aquilar-Cauz, J., et al. (eds.): Encyclopædia Britannica Ultimate Reference Suite, chapter Computer Science. Encyclopædia Britannica, Chicago (2015)
Samuel, A., Weir, J.: Introduction to Engineering: Modelling. Synthesis and Problem Solving Strategies. Elsevier, Amsterdam (2000)
Schewe, K.-D., Thalheim, B.: Design and development of web information systems. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-58824-6
Schmid, J.: Compiling abstract state machines to C++. J. Univ. Comput. Sci. 11, 1069–1088 (2001)
Simon, H.: The Sciences of the Artificial. MIT Press, Cambridge (1981)
Stachowiak, H.: Allgemeine Modelltheorie. Springer, Cham (1973)
Thalheim, B.: Entity-Relationship Modeling - Foundations of Database Technology. Springer, Heidelberg (2000). https://doi.org/10.1007/978-3-662-04058-4
Thalheim, B.: Normal models and their modelling matrix. In: Models: Concepts, Theory, Logic, Reasoning, and Semantics, Tributes, pp. 44–72. College Publications (2018)
Thalheim, B.: Conceptual models and their foundations. In: Schewe, K.-D., Singh, N.K. (eds.) MEDI 2019. LNCS, vol. 11815, pp. 123–139. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-32065-2_9
Thalheim, B., Nissen, I. (eds.): Wissenschaft und Kunst der Modellierung: Modelle, Modellieren. Modellierung. De Gruyter, Boston (2015)
Thomas, O., et al.: Global crises and the role of BISE. Bus. Inf. Syst. Eng. 62(4), 385–396 (2020)
Twardowski, K.: Zur Lehre vom Inhalt und Gegenstand der Vorstellungen: Eine psychologische Untersuchung. Hölder, Wien (1894)
Wenzel, S.: Referenzmodell für die Simulation in Produktion und Logistik. ASIM Nachrichten 4(3), 13–17 (2000)
Whorf, B.L.: Lost generation theories of mind, language, and religion. Popular Culture Association, University Microfilms International, Ann Arbor, Mich (1980)
Wittgenstein, L.: Philosophical Investigations. Basil Blackwell, Oxford (1958)
Zimmermann, W., Thalheim, B.: Preface. In: ASM 2004, LNCS, vol. 3052, pp. V–VII. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Thalheim, B. (2021). Models and Modelling in Computer Science. In: Raschke, A., Riccobene, E., Schewe, KD. (eds) Logic, Computation and Rigorous Methods. Lecture Notes in Computer Science(), vol 12750. Springer, Cham. https://doi.org/10.1007/978-3-030-76020-5_17
Download citation
DOI: https://doi.org/10.1007/978-3-030-76020-5_17
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-76019-9
Online ISBN: 978-3-030-76020-5
eBook Packages: Computer ScienceComputer Science (R0)