Abstract
In the development of computer-based systems, modelling is often advocated in addition to programming, in that it helps in reflecting the application domain and that it makes the design and experiment activities of development more efficient. However, there is disagreement about what models are and how they can be used in software systems development. In this paper, we present the Scandinavian approach to modelling, which makes a clear distinction between models and model descriptions. This paper explains the connections between models, descriptions, systems, and executions. Combining the Scandinavian approach with the Kiel notion of model, we establish that both descriptions and executions are closely connected instruments with different roles. The paper argues that (program) executions are the models of dynamic systems, not their descriptions in terms of diagrams and text. So in a general sense programming is about writing descriptions for systems. In particular the paper clarifies when programming is also modelling.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The state changes can be continuous or discrete. We call the systems discrete versus continuous systems, or combined systems, if both kinds of state changes appear.
- 2.
There are also descriptions and prescriptions on M2 and M3, but this is out of the scope of this paper.
- 3.
The DELTA language report used the neutral term ‘generator’ that generates a system based upon a system description, i.e. provides the vertical relation. A generator could be a machine or a human being, or a mixture. In MDA, a generator is most often understood as a tool generating a new low-level description out of the original high-level description. This would amount to a horizontal generation and is not what semantics is about here.
- 4.
A debugger is a tool that can show the current state of execution in some notation.
- 5.
It must be shown that for the initial conditions and environmental effects of the original system that are fixed within the scope of the model, the model system produces the (qualitatively) same dynamic behavior.
- 6.
It must be shown that the effect structure of the model (for the model purpose) corresponds to the essential effect structure of the original.
- 7.
It must be shown that in the area of the model purpose, the numerical results of the model system correspond to the empirical results of the Originals under the same conditions, or that they are consistent and plausible if there are no observations.
- 8.
It must be shown that the model and simulation options correspond to the model purpose and the requirements of the user.
References
Bossel, H.: Systems and Models: Complexity, Dynamics, Evolution, Sustainability. Books on Demand GmbH, Norderstedt (2007)
Bossel, H.: Modeling and Simulation. Vieweg+Teubner Verlag (2013). https://doi.org/10.1007/978-3-663-10822-1
Broy, M., Havelund, K., Kumar, R.: Towards a unified view of modeling and programming. In: Proceedings of ISoLA 2017 (2017)
Cleaveland, R.: Programming is modeling. In: Proceedings of ISoLA 2018 (2018)
Dahl, O.-J., Nygaard, K.: Simula–a language for programming and description of discrete event systems. Technical report. Norwegian Computing Center, Oslo (1965)
Dahl, O.-J., Nygaard, K.: Simula: an algol-based simulation language. Commun. ACM 9(9), 671–678 (1966)
Exner, K., Lindowa, K., Buchholz, C., Stark, R.: Validation of product-service systems - a prototyping approach. In: Proceedings of 6th CIRP Conference on Industrial Product-Service Systems (2014)
Fischer, J., Møller-Pedersen, B., Prinz, A.: Modelling of systems for real. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 427–434 (2016)
Fischer, J., Møller-Pedersen, B., Prinz, A.: Real models are really on M0 - or how to make programmers use modeling. In: Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, pp. 307–318. INSTICC, SciTePress (2020)
Gjøsæter, T., Prinz, A., Nytun, J.P.: MOF-VM: instantiation revisited. In: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development, pp. 137–144 (2016)
Hill, D.R.C.: Theory of modelling and simulation: Integrating discrete event and continuous complex dynamic systems: second edition by B. P. Zeigler, H. Praehofer, T. G. Kim, Academic Press, San Diego, CA, 2000. Int. J. Robust Nonlinear Control 12(1), 91–92 (2002)
Holbæk-Hanssen, E., Håndlykken, P., Nygaard, K.: System description and the delta language. Technical report, Norwegian Computing Center, Oslo (1973)
ITU-T. Basic Reference Model of Open Distributed Processing. ITU-T X.900 series and ISO/IEC 10746 series. International Organization for Standardization (1995)
Kleppe, A., Warmer, J.: MDA Explained. Addison-Wesley, Boston (2003)
Madsen, O.L., Møller-Pedersen, B.: A unified approach to modeling and programming. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010. LNCS, vol. 6394, pp. 1–15. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16145-2_1
Madsen, O.L., Møller-Pedersen, B.: This is not a model: on development of a common terminology for modeling and programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 206–244. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03418-4
Madsen, O.L., Møller-Pedersen, B., Nygaard, K.: Object-oriented Programming in the BETA Programming Language. ACM Press/Addison-Wesley Publishing Co., New York (1993)
Nygaard, K., Dahl, O.-J.: The Development of the SIMULA Languages, pp. 439–480. Association for Computing Machinery, New York (1978)
OMG. Unified Modeling Language 2.5.1 (OMG Document formal/2017-12-05). OMG Document. Published by Object Management Group (2017). http://www.omg.org
Podnieks, K.: Towards a general definition of modeling (2010). https://philpapers.org/rec/PODTAG
Prinz, A., Møller-Pedersen, B., Fischer, J.: Object-oriented operational semantics. In: Grabowski, J., Herbold, S. (eds.) SAM 2016. LNCS, vol. 9959, pp. 132–147. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-46613-2_9
Pritsker, A.A.B.: Compilation of definitions of simulation. Simulation 33(2), 61–63 (1979)
Scheidgen, M., Fischer, J.: Human comprehensible and machine processable specifications of operational semantics. In: Akehurst, D.H., Vogel, R., Paige, R.F. (eds.) ECMDA-FA 2007. LNCS, vol. 4530, pp. 157–171. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72901-3_12
Schmidt, B.: What does simulation do? Simulation’s place in the scientific method of investigation. Syst. Anal. Model. Simul. 4(3), 193–211 (1987)
Seidewitz, E.: What models mean. IEEE Softw. 20, 26–32 (2003)
Seidewitz, E.: On a unified view of modeling and programming, position paper. In: Proceedings of ISoLA 2016 (2016)
Thalheim, B.: General and specific model notions. In: Kirikova, M., Nørvåg, K., Papadopoulos, G.A. (eds.) ADBIS 2017. LNCS, vol. 10509, pp. 13–27. Springer, Cham (2017). https://doi.org/10.1007/978-3-319-66917-5_2
Thalheim, B.: Conceptual modeling foundations: the notion of a model in conceptual modeling. In: Liu, L., Özsu, M.T. (eds.) Encyclopedia of Database Systems, pp. 9–71. Springer, New York (2018). https://doi.org/10.1007/978-1-4614-8265-9
Thalheim, B., Nissen, I. (eds.): Wissenschaft und Kunst der Modellierung: Modelle, Modellieren, Modellierung. De Gruyter, Boston (2015)
Thalheim, B., et al.: Wissenschaft und Kunst der Modellierung (Science and Art of Modelling) - Kieler Zugang zur Definition, Nutzung und Zukunft. De Gruyter, Berlin, Boston (2015)
Union, I.T.: Z.100 series, specification and description language sdl. Technical report, International Telecommunication Union (2011)
Voelter, M.: Fusing modeling and programming into language-oriented programming. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 309–339. Springer, Cham (2018). https://doi.org/10.1007/978-3-030-03418-4_19
Völter, M.: From programming to modeling - and back again. IEEE Softw. 28, 20–25 (2011)
Wenzel, S.: Referenzmodell für die Simulation in Produktion und Logistik. ASIM Nachrichten 4(3), 13–17 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Fischer, J., Møller-Pedersen, B., Prinz, A., Thalheim, B. (2021). Models Versus Model Descriptions. In: Dahanayake, A., Pastor, O., Thalheim, B. (eds) Modelling to Program. M2P 2020. Communications in Computer and Information Science, vol 1401. Springer, Cham. https://doi.org/10.1007/978-3-030-72696-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-030-72696-6_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-72695-9
Online ISBN: 978-3-030-72696-6
eBook Packages: Computer ScienceComputer Science (R0)