Abstract
Models@run.time provides semantically rich reflection layers enabling intelligent systems to reason about themselves and their surrounding context. Most reasoning processes require not only to explore the current state, but also the past history to take sustainable decisions e.g. to avoid oscillating between states. Models@run.time and model-driven engineering in general lack native mechanisms to efficiently support the notion of history, and current approaches usually generate redundant data when versioning models, which reasoners need to navigate. Because of this limitation, models fail in providing suitable and sustainable abstractions to deal with domains relying on history-aware reasoning. This paper tackles this issue by considering history as a native concept for modeling foundations. Integrated, in conjunction with lazy load/storage techniques, into the Kevoree Modeling Framework, we demonstrate onto a smart grid case study, that this mechanisms enable a sustainable reasoning about massive historized models.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
CDO eclipsedia, http://wiki.eclipse.org/CDO (accessed: February 01, 2014)
Git, http://git-scm.com/
HyperLevelDB Performance Benchmarks, http://hyperdex.org/performance/leveldb/ (accessed: February 01, 2014)
KMF Samples, MoDELS14, https://github.com/kevoree/kmf-samples/models14 (accessed: March 15, 2014)
leveldb a fast and lightweight key/value database library by google, https://code.google.com/p/leveldb/ (accessed: February 10, 2014)
Altmanninger, K., Kaufmann, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: Why model versioning research is needed!? An experience report. In: Proceedings of the Joint MoDSE-MC-CM 2009 Workshop (2009)
Ariav, G.: A temporally oriented data model. ACM Trans. Database Syst. 11(4), 499–527 (1986)
Blair, G., Bencomo, N., France, R.B.: Models@ run.time. Computer 42(10), 22–27 (2009)
Blanc, X., Mounier, I., Mougenot, A., Mens, T.: Detecting model inconsistency through operation-based model construction. In: Proceedings of the 30th International Conference on Software Engineering, ICSE 2008, pp. 511–520. ACM, New York (2008)
Brosch, P., Kappel, G., Langer, P., Seidl, M., Wieland, K., Wimmer, M.: An introduction to model versioning. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 336–398. Springer, Heidelberg (2012)
Budinsky, F., Steinberg, D., Ellersick, R.: Eclipse Modeling Framework: A Developer’s Guide (2003)
Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: A distributed storage system for structured data. In: Proceedings of the 7th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2006, vol. 7, p. 15. USENIX Association, Berkeley (2006)
Clifford, J., Warren, D.S.: Formal semantics for time in databases. In: XP2 Workshop on Relational Database Theory (1981)
World Wide Web Consortium. Xml path language (xpath) 2.0. Technical report, World Wide Web Consortium, 2nd edn. (2010)
Douglas Crockford. The application/json media type for javascript object notation (json). RFC 4627, IETF, 7 (2006)
ECMA International. Standard ECMA-262 - ECMAScript Language Specification, 5.1th edn. (June 2011)
Fouquet, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., Jézéquel, J.-M.: An eclipse modelling framework alternative to meet the models@runtime requirements. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 87–101. Springer, Heidelberg (2012)
Francois, F., Nain, G., Morin, B., Daubert, E., Barais, O., Plouzeau, N., Jézéquel, J.-M.: Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use. Rapport de recherche TR-SnT-2014-11 (May 2014) ISBN 978-2-87971-131-7
Gosling, J., Joy, B., Steele, G., Bracha, G., Buckley, A.: The Java Language Specification, java se 7th edn., California, USA (February 2012)
Hartmann, T., Fouquet, F., Klein, J., Nain, G., Le Traon, Y.: Reactive security for smart grids using models@run.time-based simulation and reasoning. In: Cuellar, J. (ed.) SmartGridSec 2014. LNCS, vol. 8448, pp. 139–153. Springer, Heidelberg (2014)
Hartmann, T., Fouquet, F., Nain, G., Morin, B., Klein, J., Le Traon, Y.: Reasoning at runtime using time-distorted contexts: A models@run.time based approach. In: Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, SEKE (2014)
Koegel, M., Helming, J.: Emfstore: A model repository for emf models. In: Kramer, J., Bishop, J., Devanbu, P.T., Uchitel, S. (eds.) ICSE, (2), pp. 307–308. ACM (2010)
Kolovos, D.S., Di Ruscio, D., Pierantonio, A., Paige, R.F.: Different models for model matching: An analysis of approaches to support model differencing. In: Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, CVSM 2009, pp. 1–6. IEEE Computer Society (2009)
Lassila, O., Swick, R.R.: Resource Description Framework (RDF) Model and Syntax Specification. W3C Recommendation, W3C (February 1999)
Mahmood, N., Burney, A., Ahsan, K.: A logical temporal relational data model. CoRR (2010)
Morin, B., Barais, O., Jezequel, J., Fleurey, F., Solberg, A.: Models@ run.time to support dynamic adaptation. Computer 42(10), 44–51 (2009)
Motik, B.: Representing and querying validity time in rdf and owl: A logic-based approac. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 550–565. Springer, Heidelberg (2010)
OMG. XML Metadata Interchange (XMI). OMG (2007)
OMG. OMG Meta Object Facility (MOF) Core Specification, Version 2.4.1. Technical report, Object Management Group (August 2011)
Reddy, R., France, R., Ghosh, S., Fleurey, F., Baudry, B.: Model composition - a signature-based approach. In: Aspect Oriented Modeling (AOM) Workshop Held in Conjunction with MODELS/UML 2005 Conference, Montego Bay, Jamaica (2005)
Rose, E., Segev, A.: Toodm - a temporal object-oriented data model with temporal constraints. In: Teorey, T.J. (ed.) ER (1991)
Segev, A., Shoshani, A.: Logical modeling of temporal data. In: Proceedings of the 1987 ACM SIGMOD International Conference on Management of Data, SIGMOD 1987, New York, NY, USA (1987)
Segev, A., Shoshani, A.: The representation of a temporal data model in the relational environment. In: Rafanelli, M., Svensson, P., Klensin, J.C. (eds.) SSDBM 1988. LNCS, vol. 339, pp. 39–61. Springer, Heidelberg (1989)
Taentzer, G., Ermel, C., Langer, P., Wimmer, M.: A fundamental approach to model versioning based on graph modifications: From theory to implementation. Software and System Modeling 13(1), 239–272 (2014)
World Wide Web Consortium W3C. Owl 2 web ontology language. structural specification and functional-style syntax. Technical report (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Hartmann, T. et al. (2014). A Native Versioning Concept to Support Historized Models at Runtime. In: Dingel, J., Schulte, W., Ramos, I., Abrahão, S., Insfran, E. (eds) Model-Driven Engineering Languages and Systems. MODELS 2014. Lecture Notes in Computer Science, vol 8767. Springer, Cham. https://doi.org/10.1007/978-3-319-11653-2_16
Download citation
DOI: https://doi.org/10.1007/978-3-319-11653-2_16
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11652-5
Online ISBN: 978-3-319-11653-2
eBook Packages: Computer ScienceComputer Science (R0)