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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
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)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Hachicha, M., Ben Halima, R., Hadj Kacem, A. (2020). Translation of UML Models for Self-adaptive Systems into Event-B Specifications. In: Abraham, A., Cherukuri, A., Melin, P., Gandhi, N. (eds) Intelligent Systems Design and Applications. ISDA 2018 2018. Advances in Intelligent Systems and Computing, vol 941. Springer, Cham. https://doi.org/10.1007/978-3-030-16660-1_42
Download citation
DOI: https://doi.org/10.1007/978-3-030-16660-1_42
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-16659-5
Online ISBN: 978-3-030-16660-1
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)