Models and Modelling in Computer Science

2021
OriginalPaper
Chapter

Published in:

Author: Bernhard Thalheim
Published in: Logic, Computation and Rigorous Methods
Publisher: Springer International Publishing

Read first chapter Log in

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

Abstract

The chapter delves into the fundamental role of models and modelling in computer science, tracing their origins back to ancient times and emphasizing their importance in both theoretical and applied contexts. It discusses the various functions of models, such as reducing complexity, supporting reasoning, and facilitating communication and collaboration. The text also explores the different types of models used in computer science and applied computer science, highlighting the need for a systematic and well-founded approach to modelling. Additionally, it addresses the myths and misconceptions surrounding modelling and calls for a deeper understanding and integration of modelling principles into the field. The chapter concludes by outlining the future challenges and research directions in modelling, emphasizing the need for a unified theory and a dedicated subdiscipline of modelling in computer science.

AI Generated

This summary of the content was generated with the help of AI.

Notes

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.

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Business + Economics & Engineering + Technology"

Online-Abonnement

Springer Professional "Business + Economics & Engineering + Technology" gives you access to:

more than 102.000 books
more than 537 journals

from the following subject areas:

Automotive
Construction + Real Estate
Business IT + Informatics
Electrical Engineering + Electronics
Energy + Sustainability
Finance + Banking
Management + Leadership
Marketing + Sales
Mechanical Engineering + Materials
Insurance + Risk

Secure your knowledge advantage now!

inform now

Springer Professional "Engineering + Technology"

Online-Abonnement

Springer Professional "Engineering + Technology" gives you access to:

more than 67.000 books
more than 390 journals

from the following specialised fileds:

Automotive
Business IT + Informatics
Construction + Real Estate
Electrical Engineering + Electronics
Energy + Sustainability
Mechanical Engineering + Materials

Secure your knowledge advantage now!

inform now

Springer Professional "Business + Economics"

Online-Abonnement

Springer Professional "Business + Economics" gives you access to:

more than 67.000 books
more than 340 journals

from the following specialised fileds:

Construction + Real Estate
Business IT + Informatics
Finance + Banking
Management + Leadership
Marketing + Sales
Insurance + Risk

Secure your knowledge advantage now!

inform now

previous chapter The Combined Use of the Web Ontology Language (OWL) and Abstract State Machines (ASM) for the Definition of a Specification Language for Business Processes

next chapter A Framework for Modeling the Semantics of Synchronous and Asynchronous Procedures with Abstract State Machines

Metadata
Footnotes
Literature

Title: Models and Modelling in Computer Science
Author: Bernhard Thalheim
Publisher: Springer International Publishing
Book: Logic, Computation and Rigorous Methods
Print ISBN: 978-3-030-76019-9

Electronic ISBN: 978-3-030-76020-5

Copyright Year: 2021
DOI: https://doi.org/10.1007/978-3-030-76020-5_17

This content is only visible if you are logged in and have the appropriate permissions.