Multi-valued logic in graph transformation theory and self-adaptive systems
- 6 Downloads
Graph transformation theory uses rules to perform a graph transformation. However, there is no a way to choose between such different transformations in the case where several of them are applicable. A way to get the choice is suggested here based on the comparing of the values of implications which correspond to different transformation variants. The relationship between the topos of bundles, and the set of graphs with the same vertices, is introduced to include logic into graph transformation theory. Thus, one can use the special type of implication and the truth-values set of such a topos to estimate different variants of graph transformations. In this approach, the maximal part of the initial graph towards the terminal one is conserved in the chosen variant. Analysis of self-adaptive systems uses some graph grammars. Self-adaptive systems autonomously perform an adaptation to changes both in user needs and in their operational environments, while still maintaining some desired properties. The suggested way to choose such graph transformation variants may be used to make a choice between different graph grammars in such systems modeling. This approach is illustrated in a model of some business processes, that result in the automated choice of the business process adaptation under the assumption that the process changes are minimal towards the terminal state.
KeywordsMulti-valued logic Decision making Graph transformation Self-adaptive systems
Mathematics Subject Classification (2010)03B70 68T27 68R10 68T05 68U35
Unable to display preview. Download preview PDF.
The project was partly supported by RFBR grant 16-08-00832a.
- 1.Aizerman, M., Aleskerov, F.: Choice of variants (foundations of the theory). Nauka, Moscow (1990)Google Scholar
- 3.Bencomo, N., Gëotz, S., et al.: Models@Run.Time: a guided tour of the state of the art and research challenges. In: Software & Systems Modeling (2019)Google Scholar
- 7.Bucchiarone, A., Ehrig, H., Ermel, C., et al.: Modelling and analysis of self-adapting systems based on graph transformation. Technical Report 2013/03, TU Berlin, http://www.eecs.tu-berlin.de/menue/forschung/forschungsberichte/2013 (2013)
- 9.D’Angelo, M., Gerasimou, S., Ghahremani, S., et al.: On learning in collective self-adaptive systems: state of practice and a 3D framework. Preprint, https://doi.org/10.13140/RG.2.2.20987.77600 (2019)
- 13.Jiménez, M., Rivera, L.F., Villegas, N., et al.: An architectural framework for quality-driven adaptive continuous experimentation. In: 2019 IEEE/ACM Joint 4th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution. https://doi.org/10.1109/RCoSE/DDrEE.2019.00012 (2019)
- 14.Lawvere, F.W.: Qualitative distinctions between some toposes of generalized graphs. In: Categories in Computer Science and Logic. Contemporary Mathematics, vol. 92. Amer. Math. Soc. (1989)Google Scholar
- 15.Mahfoudh, H.B., Serugendo, G.D.M., Boulmier, A., Abdennadher, N.: Coordination model with reinforcement learning for ensuring reliable on-demand services in collective adaptive systems. In: Proceedings of the 8th International Symposium, ISoLA 2018, Part III. https://doi.org/10.1007/978-3-030-03424-5_17 (2018)CrossRefGoogle Scholar
- 19.Maximov, D.: A tool for linear logic structure calculating and decision making in a robot group in preparing (2019)Google Scholar
- 21.Sabatucci, L., Seidita, V., Cossentino, M.: The four types of self-adaptive systems: a metamodel. In: Smart Innovation. https://doi.org/10.1007/978-3-319-59480-4_44(2018)
- 22.Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. ACM Trans. Auton. 4(2), 14:1–14:42 (2009)Google Scholar
- 23.Solano, G.F., Caldas, R.D., Rodrigues, G.N., et al.: A learning approach to enhance assurances for real-time self-adaptive systems. In: Proceedings of the 13-th International Conference on Software Engineering for Adaptive and Self-Managing Systems, Ser. SEAMS. https://doi.org/10.1145/3194133.3194147, pp 206–216. ACM (2018)
- 24.Solano, G.F., Caldas, R.D., Rodrigues, G.N., et al.: Taming uncertainty in the assurance process of self-adaptive systems: a goal- oriented approach. Preprint, https://www.researchgate.net/publication/332878049 (2019)
- 25.Villegas, N., Tamura, G., Müller, H.A.: Architecting software systems for runtime self-adaptation. In: Managing Trade-Offs in Adaptable Software Architectures. Amer. Math. Soc. https://doi.org/10.1016/B978-0-12-802855-1.00002-2 (2017)CrossRefGoogle Scholar
- 26.Weyns, D.: Software engineering of self-adaptive systems: an organised tour and future challenges. In: Kang, K.K.C., Cha, S. (eds.) Handbook of Software Engineering. Springer (2017)Google Scholar