Advertisement

Translation of UML Models for Self-adaptive Systems into Event-B Specifications

  • Marwa HachichaEmail author
  • Riadh Ben Halima
  • Ahmed Hadj Kacem
Conference paper
Part of the Advances in Intelligent Systems and Computing book series (AISC, volume 941)

Abstract

Engineering self-adaptive systems using a standard or a guide is a challenging task. In this context, we propose using a set of MAPE (Monitor-Analyze-Plan-Execute) patterns for modeling self-adaptive systems. Ensuring that there is no ambiguity, incompleteness and misunderstanding of self-adaptive systems that instantiate MAPE patterns is very crucial. For this purpose, we propose to specify self-adaptive systems instantiating MAPE patterns using the Event-B formal method to provide a precise reference for designer to carry out an effective verification. To this end, we propose to generate Event-B specifications from conceptual modeling of the self-adaptive systems. In this paper, we propose a set of structural transformation rules to transform each element in the model to its corresponding concept in the Event-B method.

References

  1. 1.
    Hachicha, M., Ben Halima, R., Hadj Kacem, A.: Designing compound MAPE patterns for self-adaptive systems. In: Abraham, A., Muhuri, P.K., Muda, A.K., Gandhi, N. (eds.) Intelligent Systems Design and Applications, pp. 92–101. Springer, Cham (2018)CrossRefGoogle Scholar
  2. 2.
    Weyns, D., Schmerl, B., Grassi, V., Malek, S., Mirandola, R., Prehofer, C., Wuttke, J., Andersson, J., Giese, H., Goschka, K.M.: On patterns for decentralized control in self-adaptive systems. In: de Lemos, R., Giese, H., Müller, H.A., Shaw, M. (eds.) Software Engineering for Self-Adaptive Systems II: International Seminar, Dagstuhl Castle, Germany, 24–29 October 2010, Revised Selected and Invited Papers, pp. 76–107. Springer, Heidelberg (2013)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Marwa Hachicha
    • 1
    Email author
  • Riadh Ben Halima
    • 1
  • Ahmed Hadj Kacem
    • 1
  1. 1.ReDCADUniversity of SfaxSfaxTunisia

Personalised recommendations