Skip to main content
SpringerLink
Log in

On the Need for Temporal Model Repositories

  • Conference paper
  • First Online:
Software Technologies: Applications and Foundations (STAF 2017)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 10748))

Abstract

Current model repositories often rely on existing versioning systems or standard database technologies. These approaches are sufficient for hosting different versions of models. However, the time dimension is often not explicitly represented and accessible. A more explicit presentation of time is needed in several use cases going beyond the classical system design phase support of models such as in simulation and runtime environments.

In this paper, we discuss the need for introducing temporal model repositories and their prospective benefits. In particular, we outline several challenges which immediately arise when moving towards temporal model repositories, which are: storage, consistency, access, manipulation, and visualization of temporal models.

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

Access this chapter

Log in via an institution
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

Notes

  1. 1.

    https://martinfowler.com/eaaDev/timeNarrative.html.

  2. 2.

    https://martinfowler.com/eaaDev/TemporalProperty.html.

References

  1. Aigner, W., Miksch, S., Schumann, H., Tominski, C.: Visualization of Time-Oriented Data: Human-Computer Interaction Series. Springer, Heidelberg (2011). https://doi.org/10.1007/978-0-85729-079-3

    Book  Google Scholar 

  2. Altmanninger, K., Brosch, P., Langer, P., Seidl, M., Wiel, K., Wimmer, M.: Why model versioning research is needed!? an experience report. In: Proceedings of MoDSE-MCCM Workshop, pp. 1–12 (2009)

    Google Scholar 

  3. Altmanninger, K., Seidl, M., Wimmer, M.: A survey on model versioning approaches. IJWIS 5(3), 271–304 (2009)

    Google Scholar 

  4. Atkinson, C., Kühne, T.: The essence of multilevel metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45441-1_3

    Chapter  Google Scholar 

  5. Barmpis, K., Kolovos, D.S.: Comparative analysis of data persistence technologies for large-scale models. In: Proceedings of Extreme Modeling Workshop, pp. 33–38 (2012)

    Google Scholar 

  6. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: Model checking of CTL-extended OCL specifications. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 221–240. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11245-9_13

    Google Scholar 

  7. Blair, G., Bencomo, N., France, R.B.: Models@run.time. Computer 42(10), 22–27 (2009)

    Article  Google Scholar 

  8. Bousse, E., Mayerhofer, T., Combemale, B., Baudry, B.: A generative approach to define rich domain-specific trace metamodels. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 45–61. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-21151-0_4

    Chapter  Google Scholar 

  9. Bradfield, J., Filipe, J.K., Stevens, P.: Enriching OCL using observational Mu-Calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203–217. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45923-5_14

    Chapter  Google Scholar 

  10. Brambilla, M., Cabot, J., Wimmer, M.: Model-Driven Software Engineering in Practice: Synthesis Lectures on Software Engineering, 2nd edn. Morgan & Claypool Publishers, San Rafael (2017)

    Google Scholar 

  11. Cabot, J., Olivé, A., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44–59. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-540-45221-8_5

    Chapter  Google Scholar 

  12. Cellary, W., Vossen, G., Jomier, G.: Multiversion object constellations: a new approach to support a designer’s database work. Eng. Comput. 10(4), 230–244 (1994)

    Article  Google Scholar 

  13. Furia, C.A., Mandrioli, D., Morzenti, A., Rossi, M.: Modeling time in computing: a taxonomy and a comparative survey. ACM Comput. Surv. 42(2), 1–59 (2010)

    Article  Google Scholar 

  14. Gogolla, M., Hilken, F., Doan, K., Desai, N.: Checking UML and OCL model behavior with filmstripping and classifying terms. In: Proceedings of TAP, pp. 119–128 (2017)

    Google Scholar 

  15. Golfarelli, M., Rizzi, S.: Temporal data warehousing: approaches and techniques. In: Integrations of Data Warehousing, Data Mining and Database Technologies, pp. 1–18 (2011)

    Google Scholar 

  16. Kanso, B., Taha, S.: Temporal constraint support for OCL. In: Czarnecki, K., Hedin, G. (eds.) SLE 2012. LNCS, vol. 7745, pp. 83–103. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36089-3_6

    Chapter  Google Scholar 

  17. Kastenberg, H., Rensink, A.: Model checking dynamic states in GROOVE. In: Valmari, A. (ed.) SPIN 2006. LNCS, vol. 3925, pp. 299–305. Springer, Heidelberg (2006). https://doi.org/10.1007/11691617_19

    Chapter  Google Scholar 

  18. Kolovos, D.S., Rose, L.M., Matragkas, N., Paige, R.F., Guerra, E., Cuadrado, J.S., De Lara, J., Ráth, I., Varró, D., Tisi, M., Cabot, J.: A research roadmap towards achieving scalability in model driven engineering. In: Proceedings of BigMDE, pp. 2:1–2:10 (2013)

    Google Scholar 

  19. Mazak, A., Wimmer, M.: Towards liquid models: an evolutionary modeling approach. In: Proceedings of CBI, pp. 104–112 (2016)

    Google Scholar 

  20. Meyers, B., Deshayes, R., Lucio, L., Syriani, E., Vangheluwe, H., Wimmer, M.: ProMoBox: a framework for generating domain-specific property languages. In: Combemale, B., Pearce, D.J., Barais, O., Vinju, J.J. (eds.) SLE 2014. LNCS, vol. 8706, pp. 1–20. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11245-9_1

    Google Scholar 

  21. Mullins, J., Oarga, R.: Model checking of extended OCL constraints on UML models in SOCLe. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 59–75. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72952-5_4

    Chapter  Google Scholar 

  22. Rivera, J.E., Romero, J.R., Vallecillo, A.: Behavior, time and viewpoint consistency: three challenges for MDE. In: Chaudron, M.R.V. (ed.) MODELS 2008. LNCS, vol. 5421, pp. 60–65. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-01648-6_7

    Chapter  Google Scholar 

  23. Rykowski, J., Cellary, W.: Using multiversion object-oriented databases in CAD/CIM systems. In: Wagner, R.R., Thoma, H. (eds.) DEXA 1996. LNCS, vol. 1134, pp. 1–10. Springer, Heidelberg (1996). https://doi.org/10.1007/BFb0034665

    Chapter  Google Scholar 

  24. Schäfer, T., Knapp, A., Merz, S.: Model checking UML state machines and collaborations. Electr. Notes Theor. Comput. Sci. 55(3), 357–369 (2001)

    Article  Google Scholar 

  25. Tansel, A.U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal Databases: Theory, Design, and Implementation (1993)

    Google Scholar 

  26. Vogel-Heuser, B., Fay, A., Schaefer, I., Tichy, M.: Evolution of software in automated production systems: challenges and research directions. JSS 110, 54–84 (2015)

    Google Scholar 

Download references

Acknowledgments

This work has been funded by the Austrian Federal Ministry of Science, Research and Economy (BMWFW) and the National Foundation for Research, Technology and Development (CDG).

Author information

Authors and Affiliations

  1. CDL-MINT, TU Wien, Vienna, Austria

    Robert Bill, Alexandra Mazak & Manuel Wimmer

  2. Technical University of Munich, Munich, Germany

    Birgit Vogel-Heuser

Authors
  1. Robert Bill
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexandra Mazak
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Manuel Wimmer
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Birgit Vogel-Heuser
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Manuel Wimmer .

Editor information

Editors and Affiliations

  1. Johannes Kepler University of Linz, Linz, Austria

    Martina Seidl

  2. Department of Informatics, King’s College London, London, United Kingdom

    Steffen Zschaler

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Bill, R., Mazak, A., Wimmer, M., Vogel-Heuser, B. (2018). On the Need for Temporal Model Repositories. In: Seidl, M., Zschaler, S. (eds) Software Technologies: Applications and Foundations. STAF 2017. Lecture Notes in Computer Science(), vol 10748. Springer, Cham. https://doi.org/10.1007/978-3-319-74730-9_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-74730-9_11

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74729-3

  • Online ISBN: 978-3-319-74730-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation