Abstract
This paper addresses the problem of ensuring consistency, correctness and other properties in dynamically changing software systems. The approach uses a Megamodel that represents the current state of the system at runtime including some rules. These rules are formulated as Hoare-Triples and allow to check whether modifications to the software system result in a consistent state, otherwise to fix changes that are likely to violate the megamodel integrity.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Shaw, M., DeLine, R., Klein, D.V., Ross, T.L., Young, D.M., Zelesnik, G.: Abstractions for software architecture and tools to support them. IEEE Trans. Softw. Eng. 21(4), 314–335 (1995)
Bislimovska, B.: Textual and content based search in software model repositories (Doctoral dissertation, Italy) (2014)
Bezivin, J., Jouault, F., Valduriez, P.: On the need for megamodels. In: Proceedings of the 19th Annual ACM Conference on Object Oriented Programming, Systems, Languages, and Applications, October 2004
Vogel, T., Giese, H.: A language for feedback loops in self-adaptive systems: executable runtime megamodels. In: The 7th International Symposium on Software Engineering for Adaptive and Self-managing Systems, pp. 129–138, June 2012
Toure, E.B., Fall, I., Bah, A., Camara, M.B. Megamodel-based Management of Dynamic Tool Integration in Complex Software Systems. In Proceedings of the Federated Conference on Computer Science and Information Systems (FedCSIS) (2016)
Song, H., Huang, G., Chauvel, F., Sun, Y.: Applying MDE tools at runtime: experiments upon runtime models. In: Models@run.time 10, vol. 641, pp. 25–36 (2010). CEUR-WS.org
Seidewitz, E.: What models mean. IEEE Software, September/October 2003
Bousso, M., Sall, O., Thiam, M., Lo, M., Toure, E.H.B.: Ontology change estimation based on axiomatic semantic and entropy measure. In: Signal Image Technology and Internet Based Systems (SITIS), pp. 458–465, November 2012
Vignaga, A., Jouault, F., Bastarrica, M.C., Brunelière, H.: Typing in model management. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol. 5563, pp. 197–212. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-02408-5_14
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 576–583 (1969)
Kramer, J., Magee, J.: The evolving philosophers problem: dynamic change management. IEEE Trans. Softw. Eng. 16(11), 1293–1306 (1990)
Aßmann, U., Bencomo, N., Cheng, B.H., France, R.B.: Models@runtime (Dagstuhl seminar 11481). Dagstuhl Rep. 1(11), 91–123 (2012)
Malakuti, S., Bockisch, C., Aksit, M.: Applying the composition filter model for runtime verification of multiple-language software. In: 20th International Symposium on Software Reliability Engineering, pp. 31–40. IEEE, November 2009
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Toure, E.H.B., Fall, I., Bah, A., Camara, M.S. (2018). Megamodel Consistency Management at Runtime. In: M. F. Kebe, C., Gueye, A., Ndiaye, A. (eds) Innovation and Interdisciplinary Solutions for Underserved Areas. CNRIA InterSol 2017 2017. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 204. Springer, Cham. https://doi.org/10.1007/978-3-319-72965-7_24
Download citation
DOI: https://doi.org/10.1007/978-3-319-72965-7_24
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72964-0
Online ISBN: 978-3-319-72965-7
eBook Packages: Computer ScienceComputer Science (R0)