Abstract
Model-based programming can replace classical programming based on compilation and systematic development of models as well on explicit consideration of all model components without hiding intrinsic details and assumptions. A key element of model-based programming is the proper definition and management of model suites, by which multiple, interrelated models can be transformed from one another and their consistency is ensured after modifications. A usage model is based on the specification of user roles and types, together with an interaction space described in a form of a storyboard, showing which activities are supported, in which order, by which actors. A workflow model is an extended, well-formed declaration of how specific processes should be carried out. It can directly be translated to program code, using a proper workflow or process engine. A novel way of programming is being opened up by usage modeling, which is being investigated in this paper: given a storyboard with supported usage scenarios, it is possible to derive a workflow model from it. We present our two translation methods using a working example, identifying guidelines as requirements for model refinement and normalization, rules for model translation, and propose considerations towards improved methods and model specifications.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Alderson, A.: Meta-case technology. In: Endres, A., Weber, H. (eds.) SDE 1991. LNCS, vol. 509, pp. 81–91. Springer, Heidelberg (1991). https://doi.org/10.1007/3-540-54194-2_27
Bienemann, A.: A generative approach to functionality of interactive information systems. Ph.D. thesis, CAU Kiel, Department of Computer Science (2008)
Camunda: The Camunda BPM manual. https://docs.camunda.org/manual/7.10/. Accessed 17 May 2019
Chen, P.: Entity-relationship modeling: historical events, future trends, and lessons learned. In: Broy, M., Denert, E. (eds.) Software Pioneers, pp. 296–310. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-59412-0_17
Knuth, D.E.: The METAFONTbook. Addison-Wesley, Boston (1986)
Lamport, L.: LaTeX: a document preparation system. Addison-Wesley, Boston (1994)
OMG: Business process model and notation (BPMN) version 2.0 (2010)
Pittman, T., Peters, J.: The Art of Compiler Design: Theory and Practice. Prentice Hall, Upper Saddle River (1992)
Schewe, K., Thalheim, B.: Design and Development of Web Information Systems. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-58824-6
Stiehl, V.: Process-Driven Applications with BPMN. Springer, Switzerland (2014). https://doi.org/10.1007/978-3-319-07218-0
Thalheim, B.: Model suites for multi-layered database modelling. In: Information Modelling and Knowledge Bases XXI, volume 206 of Frontiers in Artificial Intelligence and Applications, pp. 116–134. IOS Press (2010)
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., Jaakkola, H.: Models as programs: the envisioned and principal key to true fifth generation programming. In: 29th International Conference on Information Modelling and Knowledge Bases. IOS Press (2019)
Tropmann, M., Thalheim, B.: Mini story composition for generic workflows in support of disaster management. In: DEXA 2013, pp. 36–40. IEEE Computer Society (2013)
Türker, C., Gertz, M.: Semantic integrity support in SQL:1999 and commercial (object-)relational database management systems. The VLDB J. 10(4), 241–269 (2001)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Molnár, A.J., Thalheim, B. (2019). Usage Models Mapped to Programs. In: Welzer, T., et al. New Trends in Databases and Information Systems. ADBIS 2019. Communications in Computer and Information Science, vol 1064. Springer, Cham. https://doi.org/10.1007/978-3-030-30278-8_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-30278-8_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-30277-1
Online ISBN: 978-3-030-30278-8
eBook Packages: Computer ScienceComputer Science (R0)