Skip to main content

Usage Models Mapped to Programs

  • Conference paper
  • First Online:
New Trends in Databases and Information Systems (ADBIS 2019)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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

    Chapter  Google Scholar 

  2. Bienemann, A.: A generative approach to functionality of interactive information systems. Ph.D. thesis, CAU Kiel, Department of Computer Science (2008)

    Google Scholar 

  3. Camunda: The Camunda BPM manual. https://docs.camunda.org/manual/7.10/. Accessed 17 May 2019

  4. 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

    Chapter  Google Scholar 

  5. Knuth, D.E.: The METAFONTbook. Addison-Wesley, Boston (1986)

    MATH  Google Scholar 

  6. Lamport, L.: LaTeX: a document preparation system. Addison-Wesley, Boston (1994)

    MATH  Google Scholar 

  7. OMG: Business process model and notation (BPMN) version 2.0 (2010)

    Google Scholar 

  8. Pittman, T., Peters, J.: The Art of Compiler Design: Theory and Practice. Prentice Hall, Upper Saddle River (1992)

    MATH  Google Scholar 

  9. Schewe, K., Thalheim, B.: Design and Development of Web Information Systems. Springer, Heidelberg (2019). https://doi.org/10.1007/978-3-662-58824-6

    Book  Google Scholar 

  10. Stiehl, V.: Process-Driven Applications with BPMN. Springer, Switzerland (2014). https://doi.org/10.1007/978-3-319-07218-0

    Book  Google Scholar 

  11. 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)

    Google Scholar 

  12. Thalheim, B.: Normal models and their modelling matrix. In: Models: Concepts, Theory, Logic, Reasoning, and Semantics, Tributes, pp. 44–72. College Publications (2018)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Google Scholar 

  15. 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to András J. Molnár .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2019 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics