nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

On the Need for Temporal Model Repositories

verfasst von : Robert Bill, Alexandra Mazak, Manuel Wimmer, Birgit Vogel-Heuser

Erschienen in: Software Technologies: Applications and Foundations

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Vorheriges Kapitel Models, More Models, and Then a Lot More

Nächstes Kapitel On the Need for Artifact Models in Model-Driven Systems Engineering Projects

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

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

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 CrossRef

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)

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

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 CrossRef

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)

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

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

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 CrossRef

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 CrossRef

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)

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 CrossRef

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)CrossRef

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)CrossRef

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)

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)

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 CrossRef

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 CrossRef

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)

19.

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

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

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 CrossRef

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 CrossRef

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 CrossRef

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)CrossRef

25.

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

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)

Titel: On the Need for Temporal Model Repositories
verfasst von: Robert Bill
Alexandra Mazak
Manuel Wimmer
Birgit Vogel-Heuser
Verlag: Springer International Publishing
Buch: Software Technologies: Applications and Foundations
Print ISBN: 978-3-319-74729-3

Electronic ISBN: 978-3-319-74730-9

Copyright-Jahr: 2018
DOI: https://doi.org/10.1007/978-3-319-74730-9_11

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner